BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
339 users online, thereof 0 logged in

Arend Heyting

Arend Heyting (1898 - 1980)

* 9 May 1898, † 9 July 1980

Arend Heyting was born on 9 May 1898 in Amsterdam, Netherlands. Arend Heyting is important in the development of intuitionistic logic and algebra. Arend Heyting died on 9 July 1980 in Lugano, Switzerland.

| | | | created: 2016-08-26 21:54:36 | modified: 2016-08-26 21:54:36 | by: bookofproofs | references: [6909]

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

CC BY-SA 4.0

Freely downloadable

[6909] O’Connor, John J; Robertson, Edmund F: “MacTutor History of Mathematics Archive”, http://www-history.mcs.st-and.ac.uk/, 2014

Bibliography (further reading)

(none)