Arend Heyting

Arend Heyting (May 9, 1898 – July 9, 1980) was a Dutch mathematician and logician. He was a student of L. E. J. Brouwer, and did much to put intuitionistic logic on a footing where it could become part of mathematical logic (which in a definite sense ran counter to some of the initial intentions of its founder).

Related Topics:
May 9 - 1898 - July 9 - 1980 - Dutch - Mathematician - Logician - L. E. J. Brouwer - Intuitionistic logic - Mathematical logic

~ ~ ~ ~ ~ ~ ~ ~ ~ ~

He was born in Amsterdam, Netherlands, and died in Lugano, Switzerland.

Related Topics:
Amsterdam - Netherlands - Lugano - Switzerland

~ ~ ~ ~ ~ ~ ~ ~ ~ ~