Alonzo Church

Wikipedia, Entziklopedia askea
Alonzo Church
Bizitza
JaiotzaWashington1903ko ekainaren 14a
Herrialdea Ameriketako Estatu Batuak
Lehen hizkuntzaingelesa
HeriotzaHudson (Ohio)1995eko abuztuaren 11 (92 urte)
Hobiratze lekuaPrinceton Cemetery (en) Itzuli
Hezkuntza
HeziketaPrincetongo Unibertsitatea
(1920 - 1927)
Harvard Unibertsitatea
(1927 - 1928)
Göttingengo Unibertsitatea
(1928 - 1928)
Amsterdamgo Unibertsitatea
(1929 - 1929)
Hezkuntza-mailaPh.D.a
TesiaAlternatives to Zermelo's Assumption (en) Itzuli
Tesi zuzendariaOswald Veblen (en) Itzuli
Doktorego ikaslea(k)C. Anthony Anderson
Peter B. Andrews (en) Itzuli
George Alfred Barnard (en) Itzuli
Martin Davis (en) Itzuli
Leon Henkin (en) Itzuli
David Kaplan (en) Itzuli
John George Kemeny (en) Itzuli
Stephen Cole Kleene (en) Itzuli
Michael O. Rabin (en) Itzuli
Hartley Rogers, Jr. (en) Itzuli
J. Barkley Rosser (en) Itzuli
Nathan Salmon (en) Itzuli
Dana Scott (en) Itzuli
Raymond Smullyan (en) Itzuli
Alan Turing
Alfred Foster (en) Itzuli
Nicholas Rescher (en) Itzuli
Norman Shapiro (en) Itzuli
William Boone
Gerald J. Massey (en) Itzuli
Simon B. Kochen (en) Itzuli
Maurice L'Abbé (en) Itzuli
Robert Wells Ritchie (en) Itzuli
Isaac Malitz (en) Itzuli
Wayne Harvey Richter (en) Itzuli
Joel Robbin (en) Itzuli
William Bigelow Easton (en) Itzuli
Enrique Bustamente-Llaca (en) Itzuli
Aubert Daigneault (en) Itzuli
James Russell Guard (en) Itzuli
James Hallam Bennett (en) Itzuli
Robert Owen Winder (en) Itzuli
Gustav Bernard Hensel (en) Itzuli
Donald James Collins (en) Itzuli
Edward William, Jr. Chapin (en) Itzuli
Bijan Arbab (en) Itzuli
Gary R. Mar (en) Itzuli
Hizkuntzakingelesa
Jarduerak
Jarduerakmatematikaria, filosofoa, unibertsitateko irakaslea eta informatikaria
Enplegatzailea(k)Princetongo Unibertsitatea  (1929 -  1967)
Kaliforniako Unibertsitatea Los Angelesen  (1967 -  1990)
Lan nabarmenakChurch-Turing thesis (en) Itzuli
Church–Turing–Deutsch principle (en) Itzuli
Frege–Church ontology (en) Itzuli
Church–Rosser theorem (en) Itzuli
Church–Turing theorem (en) Itzuli
lambda calculus (en) Itzuli
KidetzaArteen eta Zientzien Ameriketako Estatu Batuetako Akademia
Zientziak Aurrera Egiteko Elkarte Amerikarra
Ameriketako Estatu Batuetako Zientzien Akademia Nazionala
Sinesmenak eta ideologia
ErlijioaPresbiterianismoa

Find a Grave: 7076221 Edit the value on Wikidata

Alonzo Church (Washington Hiria, 1903ko ekainaren 14a - Hudson, 1995eko abuztuaren 11) Estatu Batuetako logikari eta matematikaria izan zen. Matematikako irakaslea izan zen Princetongo 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[aldatu | aldatu iturburu kodea]