Johannes Heijting (1918-08-13)13 August 1918 Beilen, Drenthe, Netherlands
Died
9 June 1992(1992-06-09) (aged 73) Assen, Drenthe, Netherlands
Occupation
poet, writer, radio presenter, painter
Nationality
Dutch
Spouse
Wilhelmina Carolina Hilverink
Hans Heyting (13 August 1918 – 9 June 1992), born Johannes Heijting[1] was a Dutch poet, playwright, radio personality, children's book writer and painter. Writing in Drèents (except for his Dutch-language children's books and some poems in Dutch), he was one of the earliest Drèents writers to express personal themes and is considered to have been "the first true, modern Drèents poet who innovated old forms and showed new ways".[2]
^It is unclear why he took to spelling his surname 'Heyting': perhaps to distance himself from his mother and sisters, or to express an affinity with visual artist J.W. Heyting (1915-1995) and writer A.Th. Heyting (1879-1949). Source: Hendrik Nijkeuter (2005), De dichter en de wichter: Verzamelde gedichten van Hans Heyting. Verzorgd en ingeleid door dr. H. Nijkeuter, Zuidwolde: Het Drentse Boek (pp. 18 & 42)
^Heufdstuk 13. Taolmuziek veur 't wichie: Hans Heyting, in: Stieneke Boerma and Rouke Broersma (1993), Drèentse schrieverij, Zuidwolde: Het Drentse Boek (p. 130)
a CD in 2006, Drentse dichters lezen: HansHeyting, on which Drèents writers read poems by Heyting. Heyting's early dramatic work was received positively:...
(1911–1995) Annie M. G. Schmidt (1912–1993) Max Croiset (1918–1992) HansHeyting (1927–2010) Harry Mulisch (born 1934) Judith Herzberg (born 1938) Thea...
to Borger, Netherlands where he met and moved in with HansHeyting in 1946. According to Heyting's biographer, Heyboer had come to Borger after being inspired...
mathematics involving Hans Hahn, Carnap, Heyting, von Neumann, Gödel, Scholz and Reidemeister There were two key presentations. Session 4: Hans Reichenbach (Berlin)...
Hans Wiegel (Dutch pronunciation: [ˈɦɑns ˈʋiɣəl]; born 16 July 1941) is a retired Dutch politician of the People's Party for Freedom and Democracy (VVD)...
1101/gad.9.8.925. PMID 7774810 Anderson LK, Offenberg HH, Verkuijlen WM, Heyting C. RecA-like proteins are components of early meiotic nodules in lily....
1960), social scientist Richard D. Gill (born 1951), mathematician Arend Heyting (1898–1980), mathematician Gerardus 't Hooft (born 1946), physicist Heike...
(2004). "Feminist Bioethics" in The Stanford Encyclopedia of Philosophy. Heyting, Frieda; Lenzen, Dieter; White, John (2002). Methods in Philosophy of Education...
Constructive strict implication can be used to investigate interpretability of Heyting arithmetic and to model arrows and guarded recursion in computer science...
necessary euthanasia. Paul Hartmann as Professor Thomas Heyt Heidemarie Hatheyer as Hanna Heyt Mathias Wieman as Bernhard Lang Margarete Haagen as Berta...
into these systems. Mathematicians such as L. E. J. Brouwer and Arend Heyting have also contested the usefulness of the law of excluded middle in the...
(later Abraham), Arend Heyting, David Hilbert, John von Neumann, Hermann Weyl, and Ernst Zermelo among mathematicians, as well as Hans Reichenbach and Felix...
Dödhin han er ekke söther thz rönte herra jwan en höwelik riddare ok wäl dan han war ther skutin i häll thz edde hertoganom ekke wäl En riddare heyt gudzsär...
Group field theory – Quantum field theory with a Lie group base manifold Heyting algebra – bounded lattice that models intuitionistic propositional logicPages...
real numbers, by mathematicians including David Hilbert, Otto Hölder and Hans Hahn. This grew eventually into the Artin–Schreier theory of ordered fields...
in the pavement in front of a state shop run by Hans. The initial discussion became a quarrel and a Han ended up shooting and killing one of the Uighurs...
notion of groupoid. 1928 Arend Heyting Brouwer's intuitionistic logic made into formal mathematics, as logic in which the Heyting algebra replaces the Boolean...
Jules Haag Jacques Hadamard Hans Ludwig Hamburger Georg Hamel G. H. Hardy Helmut Hasse Nikolaos J. Hatzidakis Arend Heyting Einar Hille Nikolaus Hofreiter...
all three requirements of a group. The following construction is due to Hans Zassenhaus. On the underlying set of the four-dimensional vector space F4...
astronomy at the University of Amsterdam. Inspired by the work of Brouwer and Heyting, he received his Ph.D. in 1963 from the University of Amsterdam for the...
Hess diagram – R. Hess Heusler alloy – Fritz Heusler Heyting algebra, arithmetic – Arend Heyting Hick's law, a.k.a. Hick–Hyman law – William Edmund Hick...
lattices with unique minimal and maximal element (which then are the units). Heyting algebras are such semirings and the Boolean algebras are a special case...