https://wiki-de.moshellshocker.dns64.de/index.php?action=history&feed=atom&title=Arend_HeytingArend Heyting - Versionsgeschichte2026-06-08T12:23:12ZVersionsgeschichte dieser Seite in Wikipedia (Deutsch) – Lokale KopieMediaWiki 1.43.8https://wiki-de.moshellshocker.dns64.de/index.php?title=Arend_Heyting&diff=1011791&oldid=previmported>John Red: Ergänzung2025-04-19T10:45:02Z<p>Ergänzung</p>
<p><b>Neue Seite</b></p><div>[[Datei:Arend Heyting (1967).jpg|mini|]]<br />
'''Arend Heyting''', eigentlich Heijting, (* [[9. Mai]] [[1898]] in [[Amsterdam]]; † [[9. Juli]] [[1980]] in [[Lugano]]) war ein niederländischer [[Mathematiker]] und [[Logik]]er. Er war Schüler von [[Luitzen Egbertus Jan Brouwer|L. E. J. Brouwer]] und befasste sich mit der [[Intuitionismus (Logik und Mathematik)|intuitionistischen Logik]], für die er 1930 das erste formalisierte Axiomensystem angab.<br />
<br />
== Leben ==<br />
Heyting studierte ab 1916 Mathematik an der [[Universität Amsterdam]], wo er von Brouwer und [[Gerrit Mannoury]] beeinflusst war. 1925 machte er sein Doctoralexamen bei Brouwer mit der Schrift ''Intuitionistische axiomatiek der projectieve meetkunde''.<ref>{{MathGenealogyProject|id=45623}}</ref> Danach war er Lehrer in [[Enschede]], befasste sich aber weiter mit Brouwers Intuitionismus und wurde 1925 promoviert über intuitionistische Axiomatik in der projektiven Geometrie (Intuïtionistische axiomatiek der projectieve meetkunde). 1927 lobte die [[Wiskundig Genootschap]] einen Preis über die Formalisierung des Intuitionismus aus, den Heyting gewann. Die Arbeit wurde 1930 publiziert und verschafft ihm internationale Bekanntheit. 1936 wurde er Privatdozent an der [[Universiteit van Amsterdam|Universität Amsterdam]], 1937 Lektor und 1948 als Nachfolger von Mannoury Professor. 1968 wurde er emeritiert, blieb aber wissenschaftlich aktiv.<br />
<br />
Er gab den ersten Band von Brouwers Gesammelten Werken heraus.<br />
<br />
Seit 1942 war er Mitglied der [[Königlich Niederländische Akademie der Wissenschaften|Königlich Niederländischen Akademie der Wissenschaften]] (KNAW).<ref>{{Internetquelle| url=https://dwc.knaw.nl/en/biografie/pmknaw/?pagetype=authorDetail&aId=PE00000845| titel=Past Members: Arend Heyting| hrsg=Königlich Niederländische Akademie der Wissenschaften| zugriff=2023-05-08| kommentar=mit Link zur Biografie, niederländisch}}</ref><br />
<br />
== Siehe auch ==<br />
* [[Heyting-Algebra]]<br />
* [[Heyting-Arithmetik]]<br />
* [[Brouwer-Heyting-Kolmogorow-Interpretation]]<br />
<br />
== Schriften ==<br />
* ''Die formalen Regeln der intuitionistischen Logik.'', 3 Teile, In: ''Sitzungsberichte der preußischen Akademie der Wissenschaften.'' phys.-math. Klasse, 1930, 42–56, 57–71, 158–169. Gekürzter Nachdruck in Berka, Karel; Kreiser, Lothar: ''Logik-Texte. Kommentierte Auswahl zur Geschichte der modernen Logik'', Akademie-Verlag Berlin&nbsp;1986, Seite&nbsp;188–192<br />
* ''Die intuitionistische Grundlegung der Mathematik'', Erkenntnis, Band 2, 1931, S. 106–115.<br />
* '' Mathematische Grundlagenforschung, Intuitionismus, Beweistheorie'', Ergebnisse der Mathematik und ihrer Grenzgebiete, Springer Verlag 1934<br />
* ''Intuitionism, an introduction'', North Holland 1956, 1966, 1971<br />
* ''Axiomatic method en intuitionism'', In: Y. Bar-Hillel, J. Poznanski, M.O. Rabin, A. Robinson (Hrsg.), ''Essays on the Foundations of Mathematics'', Magnes Press, Hebrew University, Jerusalem, und North-Holland Publ. Co., Amsterdam 1962, S. 237–247.<br />
* ''Untersuchungen über intuitionistische Algebra'', Verhandelingen der Nederlandse Akademie van Wetenschappen, afdeling Natuurkunde, 1ste sectie, 18, 1941, Nr. 2<br />
* ''Note on the Riesz-Fischer Theorem'', Proceedings Koninklijke Nederlandse Akademie van Wetenschappen, Series A, 54 = Indagationes Mathematicae 13, 1951, S. 35–40.<br />
* ''Espace de Hilbert et intuitionnisme'', in: Les méthodes formelles en axiomatique. Colloques internationaux du C.N.R.S. no. 36 (Paris 1950), Paris 1953, S. 59–63.<br />
<br />
== Weblinks ==<br />
{{Commonscat}}<br />
* {{MacTutor|id=Heyting}}<br />
* {{Webarchiv | url=http://bwnw.cwi-incubator.nl/cgi-bin/uncgi/toon?nr=29&ftnr=1 | wayback=20140222024527 | text=Arend Heyting (1898–1980) - Biografisch Woordenboek (niederländisch)}}<br />
<br />
== Einzelnachweise ==<br />
<references /><br />
<br />
{{Normdaten|TYP=p|GND=1027693091|LCCN=n/80/6204|VIAF=17289656}}<br />
<br />
{{DEFAULTSORT:Heyting, Arend}}<br />
[[Kategorie:Logiker]]<br />
[[Kategorie:Mathematischer Logiker (20. Jahrhundert)]]<br />
[[Kategorie:Hochschullehrer (Universität von Amsterdam)]]<br />
[[Kategorie:Mitglied der Königlich Niederländischen Akademie der Wissenschaften]]<br />
[[Kategorie:Niederländer]]<br />
[[Kategorie:Geboren 1898]]<br />
[[Kategorie:Gestorben 1980]]<br />
[[Kategorie:Mann]]<br />
<br />
{{Personendaten<br />
|NAME=Heyting, Arend<br />
|ALTERNATIVNAMEN=Heijting, Arend<br />
|KURZBESCHREIBUNG=niederländischer Mathematiker<br />
|GEBURTSDATUM=9. Mai 1898<br />
|GEBURTSORT=[[Amsterdam]]<br />
|STERBEDATUM=9. Juli 1980<br />
|STERBEORT=[[Lugano]]<br />
}}</div>imported>John Red