Arend

Arend Heyting

Arend
#1,409
Most Influential Person Across History

Dutch mathematician and logician

Arend Heyting's Academic­Influence.com Rankings

Arend Heyting
Philosophy
#181
Historical Rank
Logic
#30
Historical Rank
philosophy Degrees
Arend Heyting
Mathematics
#190
Historical Rank
mathematics Degrees
Download Badge
  • Philosophy
  • Mathematics

Arend Heyting's Degrees

Why Is Arend Heyting Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Arend Heyting was a Dutch mathematician and logician. Biography Heyting was a student of Luitzen Egbertus Jan Brouwer at the University of Amsterdam, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic. Heyting gave the first formal development of intuitionistic logic in order to codify Brouwer's way of doing mathematics. The inclusion of Brouwer's name in the Brouwer–Heyting–Kolmogorov interpretation is largely honorific, as Brouwer was opposed in principle to the formalisation of certain intuitionistic principles .

Other Resources About Arend Heyting

What Schools Are Affiliated With Arend Heyting?

Arend Heyting is affiliated with the following schools: