Arend Heyting


Arend Heyting

Arend Heyting (May 9, 1898 – 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. This project ran counter to some of the initial intentions of its founder, who termed Heyting's work a 'sterile exercise'. [Walter P. van Stigt (1990). "Brouwer's Intuitionism". Amsterdam: North Holland.]

He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

ee also

* Heyting algebra
* Heyting arithmetic

References

External links

*MacTutor Biography|id=Heyting
*MathGenealogy|id=45623


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Arend Heyting — Saltar a navegación, búsqueda Arend Heyting (9 de mayo de 1898 en Ámsterdam † 9 de julio en 1980 en Lugano, Suiza) se trata de un matemático especializado en lógica. Fue un estudiante de L.E.J. Brouwer, se trata de un fundador de un álgebra… …   Wikipedia Español

  • 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

  • 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


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.