Goosetalk
Welke Nederlandse wiskundige introduceerde in 1937 het begrip 'aftelbaar oneindig alternatief' en legde daarmee de basis voor het intuïtionisme in de informatica? – Goosetalk