Kostel Alonzo | |
---|---|
Angličtina Kostel Alonzo | |
Datum narození | 14. června 1903 [1] [2] [3] |
Místo narození | |
Datum úmrtí | 11. srpna 1995 [1] [2] [3] […] (ve věku 92 let) |
Místo smrti | |
Země | |
Vědecká sféra | matematická logika , teoretická informatika , matematika a logika |
Místo výkonu práce | |
Alma mater | |
Akademický titul | PhD ( 1927 ) |
vědecký poradce | Oswald Veblen [6] |
Pracuje ve společnosti Wikisource |
Alonzo Church ( Eng. Alonzo Church ; 14. června 1903 , Washington - 11. srpna 1995 , Hudson , Ohio , USA ) byl americký matematik a logik , který významně přispěl k základům počítačové vědy .
Získal bakalářský titul na Princetonské univerzitě v roce 1924 a doktorát v roce 1927 pod vedením Oswalda Veblena za alternativy k Zermelově Nanebevzetí. Dva roky byl National Research Fellow, rok strávil na Harvardu, poté v Göttingenu a Amsterdamu. Od roku 1929 odborný asistent matematiky na Alma Mater, od roku 1939 docent , od roku 1947 profesor matematiky, od roku 1961 profesor matematiky a filozofie.
Church se proslavil rozvojem teorie lambda kalkulu , který navázal na jeho slavný článek z roku 1936, ve kterém ukázal existenci tzv. „neřešitelné problémy“ ( Churchův-Turingův teorém ) [7] . Tento článek předcházel slavné studii Alana Turinga o problému zastavení , která také demonstrovala existenci mechanicky neřešitelných problémů. Následně Church a Turing ukázali, že lambda kalkul a Turingův stroj mají stejné vlastnosti, čímž dokázali, že různé „mechanické výpočetní procesy“ mohou mít stejné schopnosti. Tato práce byla koncipována jako Church-Turingova teze .
Jeho systém lambda kalkulu mimo jiné tvořil základ funkcionálních programovacích jazyků , zejména rodiny Lisp (například Scheme ).
Church zůstal profesorem na Princetonu až do roku 1967, poté se přestěhoval do Kalifornie, kde se stal profesorem na univerzitě v Los Angeles až do roku 1990. V roce 1992 se přestěhoval do Hudsonu v Ohiu, kde dožil svůj život.
Člen Národní akademie věd USA (1978) a Americké akademie umění a věd, člen korespondenta britské akad. (1966). Byl oceněn čestnými tituly z Alma Mater (1985) a dalších.
Ženatý v roce 1926 v Princetonu, tři děti.
Church prozkoumal problémy v logické sémantice a matematické logice . V roce 1935 sestrojil první příklad neřešitelného hromadného problému, který spočívá v požadavku najít algoritmus pro řešení nějaké řady ... "jediných" problémů. Hromadný problém není řešitelný, pokud jeho řešení, tedy požadovaný algoritmus, neexistuje."
Podal také důkaz neřešitelnosti problému pro úzký predikátový kalkul , tedy důkaz, že neexistuje žádný algoritmus , který by formou formule tohoto kalkulu určil, zda tato formule vyjadřuje obecnou logickou pravdu, resp. ne. Ve svém Úvodu do matematické logiky Church objasnil své chápání metody matematické logiky tím, že definoval její primární pojmy. Popsal výrokový počet nebo výrokový počet , funkční počet prvního řádu, čistý funkční počet prvního řádu a funkční počet druhého řádu. Church definoval takové kategorie jako jméno, konstanty a proměnné, funkce, symboly, spojky, operátory, kvantifikátory , problém řešení , nekonzistence a úplnost systému axiomů atd.
Matematickou logiku představil jako formální logiku, jejíž předmět je studován metodou konstrukce formalizovaných jazyků. „ Logika se obvykle zabývá analýzou tvrzení a důkazů; píše: „Důraz je kladen na formu, nikoli na obsah“. Protože se přirozené jazyky v průběhu historie vyvíjely pod vlivem historických potřeb snadné komunikace, nevyznačují se přesností, což vede k chybám v uvažování. Aby se vyhnul možným chybám, Church navrhl používat pro logické účely jím speciálně vytvořený formalizovaný jazyk, do kterého by byla vlastní jména přenesena z běžných jazyků. Navíc každé jméno muselo mít právě jeden význam, pokud bylo úkolem zajistit jednoznačnost ve formalizovaných jazycích. Church definoval výrok takto: „Každý koncept pravdivostní hodnoty se nazývá výrok, ať už je to význam jakékoli věty nebo ne.“
Tematické stránky | ||||
---|---|---|---|---|
Slovníky a encyklopedie | ||||
Genealogie a nekropole | ||||
|