Biografia Church, Alonso: Różnice pomiędzy wersjami
m Biografia Church moved to Biografia Church, Alonso |
Nie podano opisu zmian |
||
| Linia 3: | Linia 3: | ||
'''Alonso Church (1903-1995)''' – amerykański logik i matematyk. | '''Alonso Church (1903-1995)''' – amerykański logik i matematyk. | ||
Studiował w Princeton, gdzie zdobył magisterium w 1924, a w 1927 obronił doktorat z wyróżnieniem. 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 w 1929 objął stanowisko profesora matematyki w Princeton, które zajmował do 1967, kiedy to przeniósł się do Kalifornii; tu z kolei został profesorem matematyki i filozofii. | Studiował w Princeton, gdzie zdobył magisterium w 1924, a w 1927 obronił doktorat z wyróżnieniem. Po studiach rok pracował na [[grafika:Church-lambda.jpg|thumb|200px|right|Rachunek lambda to narzędzie do badania algorytmów]]Uniwersytecie Harvarda, potem pół roku w Getyndze i pół roku w Amsterdamie, gdzie współpracował z Brouwerem. Po powrocie do Stanów w 1929 objął stanowisko profesora matematyki w Princeton, które zajmował do 1967, kiedy to 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 jego twierdzenie z 1936 o nierozstrzygalności pełnego rachunku predykatów ( | 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 jego twierdzenie z 1936 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. | ||
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. | 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 prace doktorskie, w tym takich postaci, jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan. | Wypromował 31 prace doktorskie, w tym takich postaci, jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan. | ||
Wersja z 21:12, 20 sie 2006
Alonso Church (1903-1995) – amerykański logik i matematyk.
Studiował w Princeton, gdzie zdobył magisterium w 1924, a w 1927 obronił doktorat z wyróżnieniem. 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 w 1929 objął stanowisko profesora matematyki w Princeton, które zajmował do 1967, kiedy to 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 jego twierdzenie z 1936 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.
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 prace doktorskie, w tym takich postaci, jak Foster, Turing, Kleene, Kemeny, Boone, czy Smullyan.
