Alonzo Church

Estatu Batuetako logikari eta matematikaria (Washington, 1903 - Hudson, 1995). Matematikako irakaslea izan zen Princentongo Unibertsitatean (1947-1961). Sistema baten formulazio mugak (sintaktikoak) ikertu zituen, bereziki, eta, predikatuen kalkulu logikoari dagokionez, sistemako proposizio orok ez duela deribazio logikorako biderik frogatu zuen. Lan nagusiak: Zenbaki oinarrizkoen teoriaren arazo konponezin bat (1936), Zentzuaren eta denotazioaren logikaz (1954), Logika matematikoa (1956).

Erreferentziak

• Artikulu honen edukiaren zati bat Lur hiztegi entziklopedikotik edo Lur entziklopedia tematikotik txertatu zen 2011/12/27 egunean. Izan ere, egile-eskubideen jabeak, Eusko Jaurlaritzak, hiztegi horiek lizentzia librearekin laga zituen, euskal Wikipedia osatzeko proiektu baterako.