All Topics  
Arend Heyting

 

 
   Email Print
   Bookmark   Link
 

 

Arend Heyting
 
 
  Topics Arend Heyting Topic Home

Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch
Netherlands

The Netherlands is a country that is part of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands is located in North-West Europe, and bordered by the North Sea to the north and west, Belgium to the south, and Germany to the east....
 mathematician
Mathematician

A mathematician is a person whose primary area of study and/or research is the field of mathematics....
 and logician. He was a student of L.E.J. Brouwer at the Universiteit van Amsterdam
Universiteit van Amsterdam

The University of Amsterdam is a comprehensive research university located in the heart of the city of Amsterdam, the Netherlands. With a budget of euro487 million, over 28,000 students and around 5,000 staff, the UvA is one of the major universities in Europe....
, and did much to put intuitionistic logic
Intuitionistic logic

Intuitionistic logic, or constructivist logic, is the symbolic logic system originally developed by Arend Heyting to provide a formal basis for Luitzen Egbertus Jan Brouwer's programme of intuitionism....
 on a footing where it could become part of mathematical logic
Mathematical logic

Mathematical logic is a subfield of mathematics and logic with close connections to computer science and philosophical logic. The field includes 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 Amsterdam
Amsterdam

Amsterdam is the Capital of the Netherlands and List of cities in the Netherlands with over 100,000 people of the Netherlands, located in the Provinces of the Netherlands of North Holland in the west of the country....
, Netherlands
Netherlands

The Netherlands is a country that is part of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands is located in North-West Europe, and bordered by the North Sea to the north and west, Belgium to the south, and Germany to the east....
, and died in Lugano
Lugano

Lugano is a town in the south of Switzerland, in the Linguistic geography of Switzerland cantons of Switzerland of Ticino, which borders Italy....
, Switzerland
Switzerland

Switzerland is a landlocked Swiss Alps country of roughly 7.7 million people in Western Europe with an area of 41,285 km?. Switzerland is a federal republic consisting of 26 states called Cantons of Switzerland....
.








Discussion
Ask a question about 'Arend Heyting'
Start a new discussion about 'Arend Heyting'
Answer questions from other users
Full Discussion Forum



Encyclopedia


Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch
Netherlands

The Netherlands is a country that is part of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands is located in North-West Europe, and bordered by the North Sea to the north and west, Belgium to the south, and Germany to the east....
 mathematician
Mathematician

A mathematician is a person whose primary area of study and/or research is the field of mathematics....
 and logician. He was a student of L.E.J. Brouwer at the Universiteit van Amsterdam
Universiteit van Amsterdam

The University of Amsterdam is a comprehensive research university located in the heart of the city of Amsterdam, the Netherlands. With a budget of euro487 million, over 28,000 students and around 5,000 staff, the UvA is one of the major universities in Europe....
, and did much to put intuitionistic logic
Intuitionistic logic

Intuitionistic logic, or constructivist logic, is the symbolic logic system originally developed by Arend Heyting to provide a formal basis for Luitzen Egbertus Jan Brouwer's programme of intuitionism....
 on a footing where it could become part of mathematical logic
Mathematical logic

Mathematical logic is a subfield of mathematics and logic with close connections to computer science and philosophical logic. The field includes 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 Amsterdam
Amsterdam

Amsterdam is the Capital of the Netherlands and List of cities in the Netherlands with over 100,000 people of the Netherlands, located in the Provinces of the Netherlands of North Holland in the west of the country....
, Netherlands
Netherlands

The Netherlands is a country that is part of the Kingdom of the Netherlands. It is a parliamentary democratic constitutional monarchy. The Netherlands is located in North-West Europe, and bordered by the North Sea to the north and west, Belgium to the south, and Germany to the east....
, and died in Lugano
Lugano

Lugano is a town in the south of Switzerland, in the Linguistic geography of Switzerland cantons of Switzerland of Ticino, which borders Italy....
, Switzerland
Switzerland

Switzerland is a landlocked Swiss Alps country of roughly 7.7 million people in Western Europe with an area of 41,285 km?. Switzerland is a federal republic consisting of 26 states called Cantons of Switzerland....
.

See also

  • Heyting algebra
    Heyting algebra

    In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebra s, named after Arend Heyting....
  • Heyting arithmetic
    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....


External links