Biografia Church, Alonso: Różnice pomiędzy wersjami
m Biografia Church moved to Biografia Church, Alonso |
Nie podano opisu zmian |
||
| (Nie pokazano 6 wersji utworzonych przez 2 użytkowników) | |||
| Linia 3: | Linia 3: | ||
'''Alonso Church (1903-1995)''' – amerykański logik i matematyk. | '''Alonso Church (1903-1995)''' – amerykański logik i matematyk. | ||
Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. „rachunek lambda”, uznawany za potężne narzędzie badawcze. | |||
Church został absolwentem Uniwersytetu Princeton w 1924 r. , a w 1927 r. obronił doktorat z wyróżnieniem. Po studiach rok pracował na Uniwersytecie Harvarda, a potem przez krótki okres czasu w Getyndze oraz w Amsterdamie, gdzie współpracował z Brouwerem. [[grafika:Church-lambda.jpg|thumb|200px|right|Rachunek lambda to narzędzie do badania algorytmów]]Po powrocie do Stanów, w 1929 r., objął stanowisko profesora matematyki w Princeton, które zajmował do 1967 r., kiedy to przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii. | |||
Słynnym osiągnięciem Churcha jest jego twierdzenie z 1936 r. o nierozstrzygalności pełnego rachunku predykatów ("an unsolvable problem in elementary number theory"), które opublikowano w ''American Journal of Mathematics''. Twierdzenie to uogólnia prace Goedla. | |||
Wśród osiągnięć Churcha należy także wymienić założenie w 1936 r. ''Journal of Symbolic Logic'', nad którym sprawował redakcję aż do 1979 roku. W 1956 r. Church napisał ważną książkę ''Introduction to Mathematical Logic''. | |||
Church wypromował 31 prac doktorskich, w tym tak znamienitych postaci jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan. | |||
---- | |||
''Opracowanie: zespół wsparcia multimedialnego'' | |||
Aktualna wersja na dzień 16:26, 16 gru 2006
Alonso Church (1903-1995) – amerykański logik i matematyk.
Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930 stworzył tzw. „rachunek lambda”, uznawany za potężne narzędzie badawcze.
Church został absolwentem Uniwersytetu Princeton w 1924 r. , a w 1927 r. obronił doktorat z wyróżnieniem. Po studiach rok pracował na Uniwersytecie Harvarda, a potem przez krótki okres czasu w Getyndze oraz w Amsterdamie, gdzie współpracował z Brouwerem.
Po powrocie do Stanów, w 1929 r., objął stanowisko profesora matematyki w Princeton, które zajmował do 1967 r., kiedy to przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii.
Słynnym osiągnięciem Churcha jest jego twierdzenie z 1936 r. o nierozstrzygalności pełnego rachunku predykatów ("an unsolvable problem in elementary number theory"), które opublikowano w American Journal of Mathematics. Twierdzenie to uogólnia prace Goedla. Wśród osiągnięć Churcha należy także wymienić założenie w 1936 r. Journal of Symbolic Logic, nad którym sprawował redakcję aż do 1979 roku. W 1956 r. Church napisał ważną książkę Introduction to Mathematical Logic.
Church wypromował 31 prac doktorskich, w tym tak znamienitych postaci jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan.
Opracowanie: zespół wsparcia multimedialnego
