kids encyclopedia robot

Arend Heyting facts for kids

Kids Encyclopedia Facts
Quick facts for kids
Arend Heyting
Arend Heyting (1967).jpg
Arend Heyting (1967)
Born (1898-05-09)9 May 1898
Died 9 July 1980(1980-07-09) (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

Kids robot.svg In Spanish: Arend Heyting para niños

kids search engine
Arend Heyting Facts for Kids. Kiddle Encyclopedia.