Alonso Church - (ur. 14 czerwca 1903...
[click for more] r. w Waszyngtonie, zm. 11 sierpnia 1995 r. w Hudson w stanie Ohio w USAStany Zjednoczone Ameryki (The United States of America, w skrócie USA) - państwo położone w środkowej części Ameryki Północnej. Warunki geograficzne Położenie: USA leżą w Ameryce Północnej, granicząc z Kanadą od północy i Meksykiem od południa; od wschodu granicę kraju stanowi Ocean Atlantycki, a od zachodu Ocean Spokojny. Obszar: całkowity: 9,6 mln km2 lądu: 9,2 mln km2 wodny: 470 tys. km2 Uwaga: dane dotyczą jedynie 50 stanów i okręgu stołecznego...
[click for more]. Amerykański logikLogika to dział filozofii i jednocześnie matematyki zajmujący się analizą elementarnych zasad poprawnego rozumowania. Logika (zarówno matematyczna, jak i filozoficzna) nie analizuje zawartości merytorycznej badanych zdań, lecz tylko bada czy są one poprawnie skonstruowane z czysto formalnego punktu widzenia....
[click for more] i matematykMatematyka była niegdyś rozumiana jako nauka o liczbach (arytmetyka) i figurach (bryłach) geometrycznych (geometria). Do dziś w popularnych encyklopediach określana jest jako nauka o wielkościach, czyli o stosunkach ilościowych i formach przestrzennych. Z biegiem czasu dodano również do obszaru zainteresowań matematyki wszystko, co wiąże się z pojęciem granicy....
[click for more].
Studiował w PrincetonPrinceton, niewielkie miasto w USA, w stanie New Jersey, w zespole miejskim Trenton. Założone w 1696 roku przez kwakrów, do 1724 roku nosiło nazwę Stony Brook; potem nazwane Prince-Town dla uczczenia księcia Williama of Orange and Nassau. W czasie wojny o niepodległość USA (1775-1783) odnotowujemy w okolicach Princeton (3 stycznia 1777 roku) zwycięstwo wojsk Waszyngtona nad Anglikami, dowodzonymi przez lorda Ch. Cornwallisa....
[click for more] (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok przebywał w Harvard University, potem pół roku w GetyndzeGetynga (niem. Göttingen) - akademickie miasto (129 tys. mieszkańców) nad rzeką Leine na południowym krańcu Dolnej Saksonii w Niemczech....
[click for more] i pół roku w AmsterdamieAmsterdam to największe miasto Holandii i jej stolica konstytucyjna. 720 tys. mieszk. (zesp. miejski 1,13 mln). Pięknie położony na rz. Amstel i jej odnogami (liczne kanały i wyspy), częściowo poniżej poziomu morza, jest miastem pełnym zabytków i muzeów o wielkiej wartości. Gł. ośr. finans. kraju (giełda, banki itp.), przem. spoż, elektron., chem. Wielki międzynarod. port lotniczy Schiphol, port morski, węzeł kolejowo-drogowy....
[click for more], gdzie współpracował z Brouwerem. Po powrocie do USA objął stanowisko profesora matematyki w Princeton (w roku 1929), które zajmował do roku 1967...
[click for more], gdy przeniósł się do KaliforniiKalifornia - stan na zachodzie USA, nad Oceanem Spokojnym. Na północy graniczy ze stanem Oregon, na wschodzie ze stanem Nevada oraz stanem Arizona, na południu z Meksykiem. Na terytorium stanu występują ułożone południkowo pasma górskie, przedzielone płaską Doliną Kalifornijską. Na południowym-wschodzie wystepują pustynne wyżyny i kotliny. Leżąca na terenie stanu Dolina Śmierci (86 m p.p.m.) jest najniższym punktem w USA. W okresie pierwszych kontaktów z Europejczykami Kalifornię zamie...
[click for more]; tu z kolei został profesorem matematyki i filozofii.
Prace Churcha wywarły zasadniczy wpływ na logikę matematyczną i informatykę. W roku 1930...
[click for more] stworzył tzw. rachunek lambdaRachunek lambda to system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np. definicja liczb naturalnych itd. Rachunek Lambda został wprowadzony przez Alonzo Churcha i Stephen Cole Kleene w 1930 roku....
[click for more], który jest niezwykle potężnym narzędziem badawczym. Słynnem osiągnięciem uczonego jest twierdzenie Churcha (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...
[click for more]. Napisał w 1956 ważną książkę Introduction to Mathematical Logic.
Wypromował 31 studentów; był wśród nich Alan TuringAlan Mathison Turing (ur. 23 czerwca 1912 w Londynie - zm. 7 czerwca 1954 w Wilmslow) - angielski matematyk, twórca maszyny Turinga i jeden z twórców informatyki....
[click for more].