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'.

PropertyValue
p:abstract
  • 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'. He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland. (en)
  • Аренд Гейтинг (9 Мая, 1898 – 9 Июля, 1980) голландский математик и логик, студент и последователь Л. Э. Я. Брауэра член Нидерландской АН. Окончил Амстердамский университет . Работал там же . Исследования посвящены основаниям математики. Один из виднейших представителей интуиционизма после Брауэра, опубликовал работу с изложением формальных правил интуиционистской логики высказываний. Интуиционистская логика стала частью математической логики. Он родился в Амстердаме, Нидерланды, и умер в Лугано, Швейцария. (ru)
  • Arend Heyting (9 de Mayo 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 especial que presenta modelos de la lógica intuicionista es decir una lógica en la cual la ley del tercero excluido no vale, en general. Las álgebras completas de Heyting son un objeto central de estudio en topología sin puntos. (es)
  • 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 Axiomensystem angab. Siehe auch: Heyting-Algebra (de)
p:hasPhotoCollection
rdf:type
rdfs:comment
  • 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'. (en)
  • Аренд Гейтинг (9 Мая, 1898 – 9 Июля, 1980) голландский математик и логик, студент и последователь Л. (ru)
  • Arend Heyting (9 de Mayo 1898 en Ámsterdam - � 9 de julio en 1980 en Lugano, Suiza) se trata de un matemático especializado en lógica. (es)
  • Arend Heyting (* 9. Mai 1898 in Amsterdam; � 9. Juli 1980 in Lugano) war ein niederländischer Mathematiker und Logiker. (de)
rdfs:label
  • Arend Heyting (en)
  • Arend Heyting (fr)
  • アレン・ハイティング (ja)
  • Arend Heyting (nl)
  • Гейтинг, Аренд (ru)
  • Arend Heyting (es)
  • Arend Heyting (de)
owl:sameAs
skos:subject
foaf:page
is p:redirect of
is owl:sameAs of