Goosetalk
Welke Nederlandse wiskundige ontwikkelde in 1937 een baanbrekende methode om de complexiteit van beslissingsproblemen te analyseren, bekend als het lambda-calculus? – Goosetalk