Arend Heyting — (Amsterdam, 9 mai 1898 Lugano, 9 juillet 1980) était un mathématicien et logicien néerlandais. Il était un élève de Luitzen Egbertus Jan Brouwer à l Université d Amsterdam, et a beaucoup contribué à ce que la logique intuitionniste fasse partie… … Wikipédia en Français
Arend Heyting — (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste formalisierte… … Deutsch Wikipedia
Arend Heyting — (May 9, 1898 ndash; July 9, 1980) was a Dutch mathematician and logician. He was a student of L.E.J. Brouwer at the Universiteit van Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic … Wikipedia
Heyting — Arend Heyting (* 9. Mai 1898 in Amsterdam; † 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. Er war Schüler von L. E. J. Brouwer und befasste sich mit der intuitionistischen Logik, für die er 1930 das erste… … Deutsch Wikipedia
Heyting Algebra — In der Mathematik sind Heyting Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting Algebren entstehen als Modelle intuitionistischer Logik,… … Deutsch Wikipedia
Heyting-Algebra — In der Mathematik sind Heyting Algebren spezielle partielle Ordnungen; gleichzeitig ist der Begriff der Heyting Algebra eine Verallgemeinerung des Begriffs der Booleschen Algebra. Heyting Algebren entstehen als Modelle intuitionistischer Logik,… … Deutsch Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Heyting arithmetic — In mathematical logic, Heyting arithmetic is an axiomatization of arithmetic in accordance with the philosophy of intuitionism. It is named after Arend Heyting, who first proposed it.Heyting arithmetic adopts the axioms of Peano arithmetic, but… … Wikipedia
Heyting — [ hɛi̯tɪȖ], Arend, niederländischer Mathematiker und Logiker, * Amsterdam 9. 5. 1898, ✝ Lugano 9. 7. 1980; seit 1938 Professor an der Universität Amsterdam. Bekannt geworden ist Heyting durch seine Axiomatisierung der intuitionistischen Logik… … Universal-Lexikon
Álgebra de Heyting — En matemáticas, las álgebras de Heyting (Su creador fue Arend Heyting) son conjuntos parcialmente ordenados especiales que constituyen una generalización de las álgebras de Boole. Las álgebras de Heyting se presentan como modelos de la lógica… … Wikipedia Español
