Alonzo Church

Alonzo Church (Washington, 14 giugno 1903Hudson, 11 agosto 1995) è stato un matematico e logico statunitense. Ha dato importanti contributi allo sviluppo della logica matematica e ai fondamenti dell'informatica teorica. Dimostrò per primo il cosiddetto paradosso della conoscibilità di Church-Fitch.


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Tubidy