• Artykuły
  • Forum
  • Ciekawostki
  • Encyklopedia
  • Alonzo Church

    Przeczytaj także...
    Matematyk – uczony, którego badania naukowe dotyczą różnych dziedzin matematyki. Matematycy zajmują się wielkością, strukturą, przestrzenią i dynamiką.Kurt Gödel (ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacki logik i matematyk, autor twierdzeń z zakresu logiki matematycznej, współautor jednej z aksjomatyk teorii mnogości. Do najbardziej znanych osiągnięć matematycznych Gödla należą twierdzenia o niezupełności i niesprzeczności teorii dedukcyjnych, które obejmują arytmetykę liczb naturalnych.
    Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem.

    Alonzo Church (ur. 14 czerwca 1903 w Waszyngtonie, zm. 11 sierpnia 1995 w Hudson) – amerykański logik i matematyk.

    Studiował w Princeton University (magisterium 1924, doktorat z wyróżnieniem 1927). Po studiach rok pracował na Harvard University, 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.

    Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow) – angielski matematyk, kryptolog, twórca pojęcia maszyny Turinga i jeden z twórców informatyki.Amsterdam – największe miasto Holandii i jej stolica konstytucyjna. Wszystkie instytucje rządowe oraz przedstawicielstwa obcych państw znajdują się w Hadze.

    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.

    Biblioteka Kongresu Stanów Zjednoczonych (ang.: Library of Congress) – największa biblioteka świata. Gromadzi ponad 142 mln różnego rodzaju dokumentów, ponad 29 mln książek, 58 mln rękopisów, 4,8 mln map i atlasów, 12 mln fotografii, 6 mln mikrofilmów, 3,5 mln dokumentów muzycznych, 500.000 filmów; wszystko w ponad 460 językach. 7% zbiorów to dokumenty w językach słowiańskich, w tym największy w USA zbiór polskich książek. Całość zajmuje 856 km półek. Biblioteka dysponuje (w 3 budynkach) 22 czytelniami ogólnymi, 3 wydzielonymi czytelniami dla kongresmenów oraz biblioteką sztuki (John F. Kennedy Center). Zatrudnia 5 tysięcy pracowników. Wyposażona jest w system komputerowy o pojemności 13 mln rekordów oraz w 3000 terminali. Pełni funkcję biblioteki narodowej.Logika (gr. λόγος, logos – rozum, słowo, myśl) – wedle klasycznej definicji – nauka o sposobach jasnego i ścisłego formułowania myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń. Jako taka wraz z retoryką logika stanowiła część filozofii. Współczesna logika wykorzystując metodę formalną znacznie rozszerzyła pole badań włączając w to badania nad matematyką (metamatematyka, logika matematyczna), konstruowanie nowych systemów logicznych (np. logiki wielowartościowe), czysto teoretyczne badania o matematycznym charakterze (np. teoria modeli), zastosowania logiki w informatyce i sztucznej inteligencji (logic for computer science).

    Alonzo 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.

    Linki zewnętrzne[]

  • John J. O'Connor; Edmund F. Robertson: Alonzo Church w MacTutor History of Mathematics archive (ang.)
  • Informatyka – dyscyplina nauki zaliczana do nauk ścisłych oraz techniki zajmująca się przetwarzaniem informacji, w tym również technologiami przetwarzania informacji oraz technologiami wytwarzania systemów przetwarzających informację. Początkowo stanowiła część matematyki, później rozwinęła się do odrębnej dyscypliny – pozostaje jednak nadal w ścisłej relacji z matematyką, która dostarcza informatyce podstaw teoretycznych.Profesor (z łac. professor) – termin, który może oznaczać: tytuł naukowy nadawany samodzielnym pracownikom naukowym, stanowisko nauczycieli akademickich, tytuł honorowy nadawany w Polsce nauczycielom szkolnictwa podstawowego, gimnazjalnego i ponadgimnazjalnego oraz tytuł zwyczajowy używany w polskim szkolnictwie średnim.



    w oparciu o Wikipedię (licencja GFDL, CC-BY-SA 3.0, autorzy, historia, edycja)

    Warto wiedzieć że... beta

    Uniwersytet Harvarda (ang. Harvard University) powstał 8 września 1636 jako Harvard College w Newtown (wówczas w Kolonii Zatoki Massachusetts, obecnie Cambridge) koło Bostonu jako pierwszy uniwersytet na terenie kolonii brytyjskich w Ameryce Północnej.
    Uniwersytet Princeton (ang. Princeton University) – naukowo-badawczy uniwersytet prywatny w Stanach Zjednoczonych, działający w mieście Princeton w stanie New Jersey. Nazwa także odnosi się do college’u, czyli odpowiednika studiów licencjackich (ang. undergraduate studies). To ci studenci głównie tworzą kulturę kampusu i afiszują swoją przynależność do niego, nazywając siebie „Princeton man”, w odróżnieniu od „Yale man” czy „Harvard man”. Studenci z Princeton tradycyjnie rywalizują ze studentami z Yale i Harvardu, także w późniejszym życiu zawodowym.
    Biblioteka Narodowa Francji (fr. Bibliothèque nationale de France, BnF) – francuska biblioteka narodowa, znajdująca się w Paryżu. Przewidziana jest jako repozytorium dla wszystkich materiałów bibliotecznych, wydawanych we Francji. Obecnym dyrektorem Biblioteki jest Bruno Racine.
    Rachunek predykatów pierwszego rzędu – (ang. first order predicate calculus) to system logiczny, w którym zmienna, na której oparty jest kwantyfikator, może być elementem pewnej wybranej dziedziny (zbioru), nie może natomiast być zbiorem takich elementów. Tak więc nie mogą występować kwantyfikatory typu "dla każdej funkcji z X na Y ..." (gdyż funkcja jest podzbiorem X × Y), "istnieje własność p, taka że ..." czy "dla każdego podzbioru X zbioru Z ...". Rachunek ten nazywa się też krótko rachunkiem kwantyfikatorów, ale często używa się też nazwy logika pierwszego rzędu (szczególnie wśród matematyków zajmujących się logiką matematyczną).
    Uniwersytet w Getyndze Georg-August-Universität Göttingen zwany Georgiana od imienia Georga Augusta jest znaną uczelnią w Niemczech. Założona w 1734 roku w Getyndze przez Jerzego II. Uniwersytet w Getyndze jest w czołówce uczelni niemieckich. Uczelnia powiązana jest z 45 laureatami Nagrody Nobla.
    LIBRIS (Library Information System, pol. System Informacyjny Bibliotek) szwedzki katalog rozproszony utrzymywany przez Narodową Bibliotekę Szwecji w Sztokholmie. Umożliwia wyszukiwanie 6,5 milionów tytułów.
    Kontrola autorytatywna – w terminologii bibliotekoznawczej określenie procedur zapewniających utrzymanie w sposób konsekwentny haseł (nazw, ujednoliconych tytułów, tytułów serii i haseł przedmiotowych) w katalogach bibliotecznych przez zastosowanie wykazu autorytatywnego zwanego kartoteką wzorcową.

    Reklama

    Czas generowania strony: 0.022 sek.