Person: Heyting, Arend

Heyting.jpg

Arend Heyting is important in the development of intuitionistic logic and algebra.

Mathematical Profile (Excerpt):

Born 9 May 1898, Amsterdam, Netherlands. Died 9 July 1980, Lugano, Switzerland.

View full biography at MacTutor

Origin Netherlands


Thank you to the contributors under CC BY-SA 4.0!

Github:
bookofproofs
non-Github:
@J-J-O'Connor
@E-F-Robertson


References

Adapted from other CC BY-SA 4.0 Sources:

  1. O’Connor, John J; Robertson, Edmund F: MacTutor History of Mathematics Archive