Alonzo Church
Z Wikipedii
Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson w stanie Ohio w USA) – amerykański logik i matematyk.
Studiował w Princeton (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował na Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów objął stanowisko profesora matematyki w Princeton (w roku 1929), które zajmował do roku 1967, gdy przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii.
Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. rachunek lambda, który jest niezwykle potężnym narzędziem badawczym. Słynnym osiągnięciem Churcha jest twierdzenie (1936) o nierozstrzygalności pełnego rachunku predykatów (w: An unsolvable problem in elementary number theory, American Journal of Mathematics 58 (1936), 345-363). Twierdzenie to uogólnia prace Gödla.
Alonso Church założył w 1936 roku Journal of Symbolic Logic i redagował to pismo do roku 1979. Napisał w 1956 ważną książkę Introduction to Mathematical Logic.
Wypromował 31 studentów; był wśród nich Alan Turing.
[edytuj] Linki zewnętrzne
- John J O'Connor; Edmund F. Robertson Alonzo Church w MacTutor History of Mathematics archive (en)
| Wisła może już w piątek dopiąć swego |
|
Wszystko wskazuje na to, że Łukasz Garguła już za klika dni przeniesie się do Krakowa - czytamy w "Przeglądzie Sportowym".
|
| Żurawski: myślę, że to dobry moment |
|
- Prowadzę rozmowy z Wisłą, ale na razie nic przełomowego się nie wydarzyło. Dzisiaj popołudniu mam spotkać się z wiceprezydentem Larisy i porozmawiać o mojej przyszłości. Po tej rozmowie będę o wiele mądrzejszy, ale wydaje mi się, że ciężko będzie zmienić klub już w zimowym oknie transferowym - powiedział "Przeglądowi Sportowemu" napastnik greckiej Larissy Maciej Żurawski.
|
| Sportowiec Roku: Błaszczykowski lepszy od Boruca, Adamek czy Włoszczowska? |
|
W środowym pojedynku 1/8 finału Plebiscytu na Sportowca Roku 2008, starciu piłkarzy, Jakub Błaszczykowski pokonał Artura Boruca. Ostatnie miejsce w ćwierćfinale zajmie Tomasz Adamek albo Maja Włoszczowska. Kto? To zależy od Was! Głosowanie odbywa się przez cały czwartek.
|
| Snowboardowy PŚ: wygrane Kober i Schocha w slalomie |
|
Niemka Amelie Kober i Szwajcar Simon Schoch wygrali rozegrany w środę wieczorem w Kreischberg slalom zaliczany do klasyfikacji generalnej Pucharu Świata w snowboardzie.
|
| Kuszczak pokonany przepięknym strzałem, "Barany" lepsze od MU |
|
Derby County pokonało na Pride Park 1:0 (1:0) Manchester United w pierwszym meczu półfinału Pucharu Ligi Angielskiej. Cały mecz w bramce "Czerwonych Diabłów" rozegrał Tomasz Kuszczak.
|