Szybszy dostęp niż przeglądarce!
28 kontakty: Alan Turing, Amsterdam, David Hilbert, Dowód Turinga, Hipoteza Churcha-Turinga, Hudson (Ohio), Informatyka, Kalifornia, Kurt Gödel, Logika, Luitzen Egbertus Jan Brouwer, Maszyna Turinga, Matematyk, Matematyka, Profesor, Rachunek lambda, Rachunek predykatów pierwszego rzędu, Routledge Encyclopedia of Philosophy, Rozstrzygalność, Uniwersytet Harvarda, Uniwersytet Kalifornijski w Los Angeles, Uniwersytet Princeton, Uniwersytet w Getyndze, Waszyngton, 11 sierpnia, 14 czerwca, 1903, 1995.
Alan Turing
Alan Mathison Turing (ur. 23 czerwca 1912 w Londynie, zm. 7 czerwca 1954 w Wilmslow k. Manchesteru) – brytyjski matematyk, informatyk i wojskowy.
Nowy!!: Alonzo Church i Alan Turing · Zobacz więcej »
Amsterdam
Amsterdam – miasto i stolica konstytucyjna Holandii, w prowincji Holandia Północna.
Nowy!!: Alonzo Church i Amsterdam · Zobacz więcej »
David Hilbert
problemów Hilberta w tle. David Hilbert (ur. 23 stycznia 1862 w Królewcu (Prusy Wschodnie), zm. 14 lutego 1943 w Getyndze) – niemiecki matematyk.
Nowy!!: Alonzo Church i David Hilbert · Zobacz więcej »
Dowód Turinga
Dowód Turinga – dowód przedstawiony przez Alana Turinga w 1937 w pracy "On Computable Numbers, With an Application to the Entscheidungsproblem" pokazujący, że pewne ogólne klasy problemów sąnierozstrzygalne, to znaczy nie istnieje uniwersalny algorytm rozwiązujący każdąinstancje problemów z tych klas.
Nowy!!: Alonzo Church i Dowód Turinga · Zobacz więcej »
Hipoteza Churcha-Turinga
Hipoteza Churcha-Turinga (zwana również TeząChurcha-Turinga) jest hipoteząokreślającąmożliwości komputerów i innych maszyn obliczeniowych.
Nowy!!: Alonzo Church i Hipoteza Churcha-Turinga · Zobacz więcej »
Hudson (Ohio)
Hudson – miasto w Stanach Zjednoczonych, w północno-wschodniej części stanu Ohio.
Nowy!!: Alonzo Church i Hudson (Ohio) · Zobacz więcej »
Informatyka
Informatyka zajmuje się teoretycznymi podstawami informacji, algorytmami i architekturami układów jąprzetwarzających oraz praktycznymi technikami ich stosowania.
Nowy!!: Alonzo Church i Informatyka · Zobacz więcej »
Kalifornia
Kalifornia (ang. California) – stan na zachodnim wybrzeżu Stanów Zjednoczonych, najludniejszy w kraju (39 536 653 mieszkańców w 2017 roku), a trzeci pod względem powierzchni (423 967 km²; po Alasce i Teksasie).
Nowy!!: Alonzo Church i Kalifornia · Zobacz więcej »
Kurt Gödel
Kurt Gödel (wym. niem., ur. 28 kwietnia 1906 w Brnie, zm. 14 stycznia 1978 w Princeton) – austriacko-amerykański naukowiec: matematyk, fizyk teoretyk i filozof, specjalizujący się w logice matematycznej i teorii mnogości, zajmujący się również teoriąwzględności i filozofiąmatematyki.
Nowy!!: Alonzo Church i Kurt Gödel · Zobacz więcej »
Logika
Logika (gr. λόγος, logos – rozum, słowo, myśl) – nauka formalna o jasnym i ścisłym formułowaniu myśli, o regułach poprawnego rozumowania i uzasadniania twierdzeń.
Nowy!!: Alonzo Church i Logika · Zobacz więcej »
Luitzen Egbertus Jan Brouwer
Luitzen Egbertus Jan Brouwer (ur. 27 lutego 1881 w Overschie, zm. 2 grudnia 1966 w Blaricum) – holenderski matematyk pracujący w dziedzinach topologii, teorii mnogości, teorii miary i analizy zespolonej.
Nowy!!: Alonzo Church i Luitzen Egbertus Jan Brouwer · Zobacz więcej »
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Nowy!!: Alonzo Church i Maszyna Turinga · Zobacz więcej »
Matematyk
lwowskiej szkoły matematycznej (1930) Matematyk (ze, mathēmatikós – matematyczny) – osoba ze znaczącąwiedząo matematyce, zwłaszcza używająca jej do pracy.
Nowy!!: Alonzo Church i Matematyk · Zobacz więcej »
Matematyka
Rafaela Santiego (XVI wiek); cyrkiel trzyma Euklides, grecki matematyk z III wieku p.n.e. Uniwersytetu Oksfordzkiego; na ziemi znajduje się parkietaż Penrose’a opisany po raz pierwszy przez jednego z pracowników tej placówki. Matematyka (z łac. mathematicus, od gr. μαθηματικός mathēmatikós, od μαθηματ-, μαθημα mathēmat-, mathēma, „nauka, lekcja, poznanie”, od μανθάνειν manthánein, „uczyć się, dowiedzieć”; prawd. spokr. z goc. mundon, „baczyć, uważać”) – nauka zaliczana do grupy formalnych, inaczej dedukcyjnych lub apriorycznych, a także do nauk ścisłych i definiująca tę grupę – matematyka stanowi ich fundament.
Nowy!!: Alonzo Church i Matematyka · Zobacz więcej »
Profesor
Profesor (z łac. professor 'nauczyciel, retor'; profiteri 'zeznawać publicznie, wyznawać') – termin mający w Polsce następujące znaczenia.
Nowy!!: Alonzo Church i Profesor · Zobacz więcej »
Rachunek lambda
Rachunek lambda – system formalny używany do badania zagadnień związanych z podstawami matematyki jak rekurencja, definiowalność funkcji, obliczalność, podstawy matematyki np.
Nowy!!: Alonzo Church i Rachunek lambda · Zobacz więcej »
Rachunek predykatów pierwszego rzędu
Rachunek predykatów pierwszego rzędu – 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.
Nowy!!: Alonzo Church i Rachunek predykatów pierwszego rzędu · Zobacz więcej »
Routledge Encyclopedia of Philosophy
Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.
Nowy!!: Alonzo Church i Routledge Encyclopedia of Philosophy · Zobacz więcej »
Rozstrzygalność
Rozstrzygalność (decydowalność) problemu matematycznego to następująca jego właściwość: istnieje algorytm, który oblicza odpowiedź na dowolne pytanie stawiane przez problem.
Nowy!!: Alonzo Church i Rozstrzygalność · Zobacz więcej »
Uniwersytet Harvarda
Uniwersytet Harvarda (ang. Harvard University) – prywatna uczelnia powstała 8 września 1636 jako Harvard College w Newtowne (wówczas w Kolonii Zatoki Massachusetts, obecnie Cambridge) koło Bostonu jako pierwszy uniwersytet na terenie kolonii brytyjskich w Ameryce Północnej.
Nowy!!: Alonzo Church i Uniwersytet Harvarda · Zobacz więcej »
Uniwersytet Kalifornijski w Los Angeles
Uniwersytet Kalifornijski w Los Angeles, skrótowiec UCLA (od ang. University of California, Los Angeles) – publiczny amerykański uniwersytet oferujący studia licencjackie, magisterskie, doktoranckie i dalsze, ulokowany na północy dzielnicy Westwood w Los Angeles.
Nowy!!: Alonzo Church i Uniwersytet Kalifornijski w Los Angeles · Zobacz więcej »
Uniwersytet Princeton
Uniwersytet Princeton – uniwersytet w Princeton, w stanie New Jersey, czwarta najstarsza uczelnia w Stanach Zjednoczonych.
Nowy!!: Alonzo Church i Uniwersytet Princeton · Zobacz więcej »
Uniwersytet w Getyndze
Uniwersytet w Getyndze, również Uniwersytet Georga-Augusta w Getyndze (niem. Georg-August-Universität Göttingen, potocznie Georgia Augusta) – niemiecki uniwersytet w Getyndze.
Nowy!!: Alonzo Church i Uniwersytet w Getyndze · Zobacz więcej »
Waszyngton
Waszyngton (często:, wymowa: //), Dystrykt Kolumbii (potocznie) – stolica Stanów Zjednoczonych, położona na północnym brzegu rzeki Potomak, stanowiąca terytorium federalne (nie znajduje się w granicach żadnego stanu).
Nowy!!: Alonzo Church i Waszyngton · Zobacz więcej »
11 sierpnia
Bez opisu.
Nowy!!: Alonzo Church i 11 sierpnia · Zobacz więcej »
14 czerwca
Bez opisu.
Nowy!!: Alonzo Church i 14 czerwca · Zobacz więcej »
1903
Bez opisu.
Nowy!!: Alonzo Church i 1903 · Zobacz więcej »
1995
Bez opisu.
Nowy!!: Alonzo Church i 1995 · Zobacz więcej »
