Alonzo Church

	Alonzo Church
Született	1903. június 14.; Washington
Elhunyt	1995. augusztus 11. (92 évesen); Hudson
Állampolgársága	amerikai
Foglalkozása	matematikus; filozófus; egyetemi oktató; informatikus;
Iskolái	Princetoni Egyetem (1920–1927); Harvard Egyetem (1927–1928); Göttingeni Egyetem (1928–1928); Amszterdami Egyetem (1929–1929);
Sírhelye	Princetoni Temető (Sec. 3, Block 11, Lot 058, Grave 1)
	Sablon; Wikidata; Segítség;

Alonzo Church (Washington, 1903. június 14. – Hudson, Ohio, 1995. augusztus 11.) amerikai matematikus és logikus, akit a számítástechnika elméletének egyik megalapozójának tartanak. Legismertebb munkái a lambda-kalkulus, a Church–Turing-tézis, az Entscheidungsproblem („döntési probléma”) megoldhatatlanságának bizonyítása, a Frege–Church ontológia és a Church–Rosser-tétel.

Washingtonban, az Amerikai Egyesült Államok fővárosában született. A Princetoni Egyetemen szerzett B.Sc (Bachelor of Science) fokozatot és itt is doktorált (Ph.D) 1927-ben, Oscar Veblen tanítványaként. A disszertációjának címe: Alternatives to Zermelo's Assumption (Zermelo feltételezésének alternatívái). Göttingenben folytatta posztdoktorális tanulmányait, majd a Princetonon (1929–1967) és a Kaliforniai Egyetemen tanított és kutatott (1967–1990).

Legfontosabb eredményei

Ez az amerikai személy életrajzát bemutató lap egyelőre csonk (erősen hiányos). Segíts te is, hogy igazi szócikk lehessen belőle!

Alonzo Church
Született	1903. június 14.^[1]^[2]^[3]^[4]^[5] Washington
Elhunyt	1995. augusztus 11. (92 évesen)^[1]^[2]^[3]^[4]^[5] Hudson^[6]
Állampolgársága	amerikai
Foglalkozása	matematikus filozófus egyetemi oktató informatikus
Iskolái	Princetoni Egyetem (1920–1927) Harvard Egyetem (1927–1928) Göttingeni Egyetem (1928–1928) Amszterdami Egyetem (1929–1929)
Sírhelye	Princetoni Temető (Sec. 3, Block 11, Lot 058, Grave 1)^[7]^[8]
Sablon Wikidata Segítség