Arend Heyting facts for kids
Quick facts for kids
Arend Heyting
|
|
---|---|
![]() Arend Heyting (1967)
|
|
Born | |
Died | 9 July 1980 |
(aged 82)
Nationality | Dutch |
Alma mater | University of Amsterdam |
Known for | Heyting algebra Heyting arithmetic Heyting field Brouwer–Heyting–Kolmogorov interpretation Intuitionistic logic Contributions to intuitionism |
Scientific career | |
Fields | Mathematics |
Institutions | University of Amsterdam |
Doctoral advisor | L. E. J. Brouwer |
Doctoral students | Anne Sjerp Troelstra Dirk van Dalen |
Arend Heyting (born May 9, 1898 – died July 9, 1980) was an important Dutch mathematician and logician. He made big contributions to a special area of mathematics called intuitionistic logic.
About Arend Heyting
Arend Heyting was born in Amsterdam, Netherlands. He later passed away in Lugano, Switzerland.
He studied at the University of Amsterdam. His teacher was a famous mathematician named Luitzen Egbertus Jan Brouwer.
His Work in Mathematics
Heyting helped to make intuitionistic logic a key part of mathematical logic. This type of logic is a way of thinking about math that focuses on what can be actually built or proven.
He created the first formal rules for intuitionistic logic. This helped to explain Brouwer's unique way of doing mathematics in a clear system.
Even though Brouwer was Heyting's teacher, they had different ideas. Brouwer didn't always agree with formalizing (making strict rules for) intuitionistic ideas. He even called Heyting's work a "sterile exercise," but Heyting's work was very important.
In 1942, Arend Heyting became a member of the Royal Netherlands Academy of Arts and Sciences. This is a very respected group for smart people in the Netherlands.
See Also
In Spanish: Arend Heyting para niños