Alonzo Church - Nauka

Alonzo Church

Z Wikipedii

Skocz do: nawigacji, szukaj

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






Składka na serwer.
Do końca stycznia musimy zebrać pieniądze na opłacenie serwera, na którym stoi CMHQ. Nie chodzi o wpłacanie dużych kwot - ważniejsze, by była jak największa liczba darczyńców. Polecam też wątki forumowe: "Finansowanie serwisu" "Na pohybel malkontentom, czyli CMHQ wciąż żyje :P + noworoczne marzenia (?) " oraz "Testy nowego serwisu CMHQ". Pozdrawiam Gully
CMHQ Hamachi Server
Witam zapraszam do korzystania z servera Hamachi. Chiałbym aby stał się on oficjalnym serwerem CMHQ Login: CMHQ_Server Hasło: cmhq zapraszam
Akcja charytatywna
Poniżej znajduje się list mojego kolegi z pracy rozpowszechniany poprzez portal Nasza Klasa. Ponieważ uznałem, że trzeba jakoś pomóc, postanowiłem spróbować dotrzeć tam, gdzie on nie dociera. Nie wiem, czy pochwalicie moje metody - jeśli Admin zechce usunąć wiadomość - ok. Dwie prośby: 1. Nie traktujcie tego jako wyciąganie kasy czy uprawianie jakiejś prywaty bo nie o to mi chodzi. 2. Nie wpisujcie komentarzy w stylu "kasa poszła" - to wasza sprawa i nikogo więcej. Nikt nie musi się tłumaczyć ani nie ma czym się chwalić.
OPERACJA
Nowa operacja dla GRACZY CMBB Witam Kolegów!! Rusza rekrutacja zawodników do nowej operacji. Szczegóły gry znajdziecie na stronie: http://www.road2moscau.neostrada.pl
Góraszka 2008
Jutro drugi ostatni dzień.

niezarejestrowana strona no host 906 906 brak hosta