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.
New to topics? Read the docs here!