Discussion
Ask a question about 'Arend Heyting' Start a new discussion about 'Arend Heyting' Answer questions from other users |
Arend Heyting (May 9, 1898 – July 9, 1980) was a
DutchThe Netherlands is a country in Northwestern Europe, constituting the major portion of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands borders the North Sea to the north and west, Belgium to the south, and Germany to the east...
mathematicianA mathematician is a person whose primary area of study and/or research is the field of mathematics. Mathematicians are concerned with particular problems related to logic, space, transformations, numbers and more general ideas which encompass these concepts...
and logician. He was a student of L.E.J. Brouwer at the
Universiteit van AmsterdamThe University of Amsterdam is a comprehensive research university located in the heart of the city of Amsterdam, the Netherlands. With a budget of €487 million, over 28,000 students and around 5,000 staff, the UvA is one of the major universities in Europe. There are seven faculties:...
, and did much to put
intuitionistic logicIntuitionistic logic, or constructivist logic, is the symbolic logic system originally developed by Arend Heyting to provide a formal basis for Brouwer's programme of intuitionism. The system preserves justification, rather than truth, across transformations yielding derived propositions...
on a footing where it could become part of
mathematical logicMathematical logic is a subfield of mathematics with close connections to computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
. This project ran counter to some of the initial intentions of Brouwer, who termed Heyting's work a "sterile exercise".
He was born in
AmsterdamAmsterdam is the capital and largest city of the Netherlands, located in the province of North Holland in the west of the country...
,
NetherlandsThe Netherlands is a country in Northwestern Europe, constituting the major portion of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands borders the North Sea to the north and west, Belgium to the south, and Germany to the east...
, and died in
LuganoLugano is a town in the south of Switzerland, in the Italian-speaking canton of Ticino, which borders Italy...
,
SwitzerlandSwitzerland , officially the Swiss Confederation , is a federal republic consisting of 26 states named cantons, with Bern as the seat of the federal authorities...
.