WikiSysop: bnz

2022-04-29T23:52:53Z

bnz

←Starija inačica		Inačica od 29. travanj 2022. u 23:52
Redak 1:		Redak 1:
	~~<!--'''Alonzo Church'''-->~~{{Znanstvenik		{{Znanstvenik
	\| ime = Alonzo Church		\| ime = Alonzo Church
	\| slika = Alonzo Church.jpg		\| slika = Alonzo Church.jpg

WikiSysop: Bot: Automatski unos stranica

2021-08-23T06:51:08Z

Bot: Automatski unos stranica

Nova stranica

{{Znanstvenik
| ime = Alonzo Church
| slika = Alonzo Church.jpg
| slika_širina =
| naslov = Alonzo Church (1903. – 1995.)
| datum_rođenja = 14.6.1903.
| mjesto_rođenja = [[Washington, DC]], [[Sjedinjene Američke Države|SAD]]
| datum_smrti = 11.8.1995.
| mjesto_smrti =
| prebivalište = [[Sjedinjene Američke Države|SAD]]
| državljanstvo = [[Sjedinjene Američke Države|SAD]]
| narodnost =
| etnicitet =
| polje = [[Matematika]]
| radna_institucija = [[Sveučilište Princeton]]
| alma_mater = [[Sveučilište Princeton]]
| doktorski_mentor = [[Oswald Veblen]]
| doktorski_studenti =
| poznat_po =
| autor_kratica_bot =
| autor_kratica_zoo =
| nagrade =
| religija =
| fusnote =
}}
'''Alonzo Church''' ([[Washington, DC]], [[14. lipnja]] [[1903.]] - [[11. kolovoza]] [[1995.]]), [[Sjedinjene Američke Države|američki]] [[matematičar]] i [[logičar]], zaslužan za neke od teoretskih osnova [[računarstvo|računarstva]]. Rođen u [[Washington, DC]], stekao je status bakalaureata na [[Sveučilište Princeton|Sveučilištu Princeton]] [[1924.]], završujući tamo i doktorat [[1927.]] pod mentorstvom [[Oswald Veblen|Oswalda Veblena]]. Nakon postdoktorskog ''fellowshipa'' na [[Sveučilište Georg August u Göttingenu|Göttingenu]], podučavao je na Princetonu 1929. – 1967., te na [[University of California, Los Angeles]], 1967. – 1990.

== Matematički rad ==

Church je najpoznatiji po sljedećim postignućima:
* Svom dokazu da su [[Peanova aritmetika]] i [[logika prvog reda]] [[neodlučiv]]e. Potonje je poznato kao [[Churchov teorem]].
* Svojoj inačici iskaza onoga što je danas poznato kao [[Churchova teza]]
* Bio je osnivatelj i urednik časopisa ''[[Journal of Symbolic Logic]]'', uređujući ga sve do 1979.
* Stvorio je [[lambda račun]].

[[Lambda račun]] je iznikao u njegovom poznatom radu iz [[1936.]] koji je pokazao postojanje "neodlučivih problema". Ovaj je rezultat prethodio poznati rad [[Alan Turing|Alana Turinga]] na [[problem zaustavljanja|problemu zaustavljanja]], koji je također demonstrirao postojanje problema nerješivih mehaničkim sredstvima. On i Turing su potom pokazali da su lambda račun i [[Turingov stroj]] korišten u Turingovom problemu zaustavljanja ustvari istovjetni u sposobnostima, te naknadno demonstrirali raznolikost alternativnih "mehaničkih procesa za računanje." Ovo je rezultiralo u [[Church-Turingova teza|Church-Turingovoj tezi]].

Lambda račun je utjecao na dizajn programskog jezika [[Lisp (programski jezik)|LISP-a]] i [[funkcijsko programiranje|funkcijskih programskih jezika]] općenito. [[Churchovo enkodiranje]] je imenovano u njegovu čast.

== Studenti ==

Churchovi doktorski studenti su postigli izvanredne uspjehe, a među njima se nalaze i [[C. Anthony Anderson]], [[Peter Andrews]], [[Martin Davis]], [[Leon Henkin]], [[John George Kemeny]], [[Stephen Kleene]], [[Michael O. Rabin]], Joel W. Robbin, [[Hartley Rogers, Jr]], [[J. Barkley Rosser]], [[Dana Scott]], [[Raymond Smullyan]], i [[Alan Turing]]. Vidi [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps].

== Smrt ==

Umro je [[1995.]] i pokopan je na princetonškom groblju.

== Vidjeti također ==

* [[Church-Turingova teza]]
* [[Church-Turing-Deutschov princip]]
* [[Logika višeg reda]]
* [[Univerzalni skup]]

== Knjige==

* Alonzo Church, ''Introduction to Mathematical Logic'' ({{ISBN|0-691-02906-7}})

== Izvori i vanjske poveznice ==

* [http://www.math.ucla.edu/~asl/bsl/0104/0104-005.ps H B Enderton, In memoriam: Alonzo Church]
*[https://web.archive.org/web/20070818112304/http://libweb.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pmcxrota.htm "Fine Hall in its golden age: Remembrances of Princeton in the early fifties", Gian-Carlo Rota.] Sadrži odsječak o Churchu na Princetonu.
*[https://web.archive.org/web/20070701182222/http://libweb.princeton.edu/libraries/firestone/rbsc/finding_aids/mathoral/pmc05.htm Intervju sa Chruchom o njegovom radu pri Princetonu]
*[https://web.archive.org/web/20080407010406/http://libweb.princeton.edu/libraries/firestone/rbsc/aids/church/ Arhivirani radovi]

{{GLAVNIRASPORED:Church, Alonzo}}
[[Kategorija:Američki matematičari]]
[[Kategorija:Američki računalni znanstvenici]]

Alonzo Church - Povijest promjena

WikiSysop: bnz

WikiSysop: Bot: Automatski unos stranica