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)
| Płonie kamienica przy ulicy Struga 32 |
Ewakuowano ponad czterdzieści osób z dwóch budynków. Przyczyną pożaru był prawdopodobnie wybuch butli z gazem |
| Skoczył do Wisły. Zmarł z wyziębienia |
Policjanci i strażacy wyciągnęli z Wisły mężczyznę, który skoczył z Mostu Łazienkowskiego. Wyziębiony, w ciężkim stanie odwieziony został do szpitala. Zmarł po godzinie 21. |
| Kaczyński: Była ciekawa wymiana opinii z Klausem |
- Rozmowa z Vaclavem Klausem była bardzo ciekawa - powiedział Lech Kaczyński po spotkaniu z prezydentem Czech. Wcześniej stwierdził, że z Moskwą trzeba rozmawiać "tough a nie soft". Klaus przekonywał z kolei, że sprawa kryzysu gazowego będzie "w miarę szybko rozwiązana". - Załatwimy to w ciągu kilku dni - zapewnił. |
| Ochroniarze wyganiają bezdomnych paralizatorami na mróz |
Ochroniarze z wrocławskiego Dworca Głównego przeganiają koczujących tam bezdomnych na dwudziestostopniowy mróz - informuje "Gazeta Wyborcza". Na opornych mają pałki, gaz i paralizatory. |
| Sklep z dopalaczami znowu otwarty |
Sklep w centrum Warszawy, w którym można kupić substancje w działaniu przypominające narkotyki, znów działa. - To dopiero początek kontroli - zapewnia Urząd Kontroli Skarbowej |
| Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej |
Lech Kaczyński rozmawiał z prezydentem Autonomii Palestyńskiej Mahmudem Abbasem. Telefoniczna rozmowa przywódców dotyczyła konfliktu w Strefie Gazy - poinformowała prezydencka kancelaria na swojej stronie internetowej. |
| Tusk: W najbliższych dniach dojdzie do rozwiązania problemu |
- Kwestia bezpieczeństwa energetyczne powinna w Unii Europejskiej przejść z etapu deklaracji do czynów; obecny kryzys gazowy pokazuje, że to konieczność - ocenił premier Donald Tusk dziś w Bratysławie po spotkaniu szefów rządów państw Grupy Wyszehradzkiej. |
| Napad z bronią na bank w Tarchominie |
Uzbrojony mężczyzna obrabował bank spółdzielczy w Tarchominie. Sterroryzował pracowników, zabrał pieniądze i oddalił się z łupem. |
| Klich: Nowy model dowództwa wymaga zmiany w konstytucji |
Proponowany nowy model dowodzenia i kierowania wojskiem, przewidujący m.in. nowe stanowisko szefa obrony, wymaga niewielkiej zmiany w konstytucji - powiedział minister obrony Bogdan Klich. |
| Tuż przed wylotem do Pragi prezydent spotkał się z Pawlakiem |
Prezydent Lech Kaczyński spotkał się, tuż przed wylotem do czeskiej Pragi, z wicepremierem i ministrem gospodarki Waldemarem Pawlakiem w sprawie kryzysu gazowego. |
