Kostel, Alonzo

Aktuální verze stránky ještě nebyla zkontrolována zkušenými přispěvateli a může se výrazně lišit od verze recenzované 28. května 2020; kontroly vyžadují 19 úprav .
Kostel Alonzo
Angličtina  Kostel Alonzo
Datum narození 14. června 1903( 1903-06-14 ) [1] [2] [3]
Místo narození
Datum úmrtí 11. srpna 1995( 1995-08-11 ) [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]
Logo Wikisource 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 .

Životopis

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.

Logika

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.“

Díla přeložená do ruštiny

Viz také

Poznámky

  1. ↑ 1 2 3 4 5 6 Archiv historie matematiky MacTutor
  2. ↑ 1 2 Alonzo Church // Encyklopedie Brockhaus  (německy) / Hrsg.: Bibliographisches Institut & FA Brockhaus , Wissen Media Verlag
  3. ↑ 1 2 Alonzo Church // Internet Philosophy Ontology  Project
  4. ↑ Úvod Alonzo Church: Život a dílo
  5. ↑ 1 2 3 4 5 6 Komunita anglické Wikipedie Wikipedia  (anglicky) – 2001.
  6. ↑ Matematická genealogie  (anglicky) - 1997.
  7. ↑ Kostel, Alonzo. An Unsolvable Problem of Elementary Number Theory  (anglicky)  // American Journal of Mathematics  : journal. - 1936. - Sv. 58 , č. 58 . - str. 345-363 . - doi : 10.2307/2371045 . — .

Literatura

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie
Genealogie a nekropole