Arend Heyting (1898–1980) was a Dutch mathematician and philosopher known primarily for his work in the field of intuitionistic logic and mathematics. He was a key figure in the development of intuitionism, a philosophy of mathematics that emphasizes the constructive aspects of mathematical objects and the idea that mathematical truths are not simply discovered but rather constructed by mathematicians.
Articles by others on the same topic
There are currently no matching articles.