Intuisionisme

Arend Heyting lahir pada 9 Mei 1898 di kota Amsterdam, Belanda.
Arend Heyting dalah murid Brouwer yang berpengaruh besar terhadap perkembangan intuisionisme filsafat matematika. Heyting membangunkan sebuah formula logika intuisionisme yang sangat tepat. Sistem ini dinamakan "Predikat Kalkulus Heyting". Heyting menegaskan bahwa metafisika adalah pokok dalam kebenaran realisme logika klasik. Bahasa matematika klasik adalah pengertian faktor-faktor objektif sebagai syarat-syarat kebenaran yang terbaik.