Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Pobieranie
Szybszy dostęp niż przeglądarce!
 

Hipoteza Churcha-Turinga

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

24 kontakty: Alan Turing, Algorytm, Algorytm kwantowy, Alonzo Church, David Hilbert, Filozofia umysłu, Hiperkomputer, Język programowania, Kompletność Turinga, Komputer kwantowy, Liczby naturalne, Liczby rzeczywiste, Maszyna Turinga, Mechanika kwantowa, Pracowity bóbr, Prawa fizyki, Problem stopu, Roger Penrose, Routledge Encyclopedia of Philosophy, Stephen Cole Kleene, Teoria obliczeń, Wszechświat, Złożoność obliczeniowa, 1943.

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!!: Hipoteza Churcha-Turinga i Alan Turing · Zobacz więcej »

Algorytm

Algorytm – skończony ciąg jasno zdefiniowanych czynności koniecznych do wykonania pewnego rodzaju zadań, sposób postępowania prowadzący do rozwiązania problemu.

Nowy!!: Hipoteza Churcha-Turinga i Algorytm · Zobacz więcej »

Algorytm kwantowy

Algorytm kwantowy – rodzaj algorytmu przeznaczonego do działania na maszynie kwantowej (komputerze kwantowym).

Nowy!!: Hipoteza Churcha-Turinga i Algorytm kwantowy · Zobacz więcej »

Alonzo Church

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

Nowy!!: Hipoteza Churcha-Turinga i Alonzo Church · 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!!: Hipoteza Churcha-Turinga i David Hilbert · Zobacz więcej »

Filozofia umysłu

pseudonaukę Filozofia umysłu – dziedzina filozofii zajmująca się badaniami umysłu, zjawisk mentalnych, funkcji mentalnych, własności mentalnych, świadomości oraz ich relacji wobec ciała, a zwłaszcza względem mózgu.

Nowy!!: Hipoteza Churcha-Turinga i Filozofia umysłu · Zobacz więcej »

Hiperkomputer

Hiperkomputer – hipotetyczny komputer potrafiący wykonywać algorytmy, których nie jest w stanie wykonać maszyna Turinga.

Nowy!!: Hipoteza Churcha-Turinga i Hiperkomputer · Zobacz więcej »

Język programowania

Język programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje.

Nowy!!: Hipoteza Churcha-Turinga i Język programowania · Zobacz więcej »

Kompletność Turinga

Kompletność Turinga – cecha systemu przetwarzającego dane lub języka programowania, polegająca na tym, że można za jego pomocąrozwiązać identycznąklasę problemów obliczeniowych, jak na uproszczonym modelu programowalnego komputera zwanego maszynąTuringa.

Nowy!!: Hipoteza Churcha-Turinga i Kompletność Turinga · Zobacz więcej »

Komputer kwantowy

300x300px Komputer kwantowy – komputer, do opisu którego wymagana jest mechanika kwantowa, zaprojektowany tak, aby wynik ewolucji tego układu reprezentował rozwiązanie określonego problemu obliczeniowego.

Nowy!!: Hipoteza Churcha-Turinga i Komputer kwantowy · Zobacz więcej »

Liczby naturalne

osi liczbowej duża litera N – standardowy symbol liczb naturalnych. Liczby naturalne – termin dwuznaczny.

Nowy!!: Hipoteza Churcha-Turinga i Liczby naturalne · Zobacz więcej »

Liczby rzeczywiste

geometryczna zbioru liczb rzeczywistych Liczby rzeczywiste – uogólnienie liczb wymiernych na wszystkie liczby odpowiadające punktom na osi liczbowej, zwanej też prostąrzeczywistą.

Nowy!!: Hipoteza Churcha-Turinga i Liczby rzeczywiste · 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!!: Hipoteza Churcha-Turinga i Maszyna Turinga · Zobacz więcej »

Mechanika kwantowa

równania Schrödingera. interferencyjny strumienia elektronów przechodzących przez podwójnąszczelinę Mechanika kwantowa – teoria fizyczna rozszerzająca mechanikę klasyczną, konieczna do poprawnego opisu mikroświata, tj.

Nowy!!: Hipoteza Churcha-Turinga i Mechanika kwantowa · Zobacz więcej »

Pracowity bóbr

Zajęty bóbr (ang. busy beaver) – maszyna Turinga o z góry zadanej liczbie stanów N, która zaczynając od pustej taśmy (same zera), generuje jak najdłuższy ciąg jedynek (lub też w innym sformułowaniu: wykonuje jak najwięcej kroków), po czym zatrzymuje się (maszyna, która nie zatrzymuje się jest dyskwalifikowana).

Nowy!!: Hipoteza Churcha-Turinga i Pracowity bóbr · Zobacz więcej »

Prawa fizyki

Prawa fizyki – pojęcia określające pewien niezmiennik występujący w przyrodzie.

Nowy!!: Hipoteza Churcha-Turinga i Prawa fizyki · Zobacz więcej »

Problem stopu

Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.

Nowy!!: Hipoteza Churcha-Turinga i Problem stopu · Zobacz więcej »

Roger Penrose

Parkietaż Penrose’a Sir Roger Penrose (ur. 8 sierpnia 1931 w Colchesterze) – brytyjski naukowiec: fizyk teoretyk, matematyk, filozof nauki i jej popularyzator, noblista; profesor matematyki na Uniwersytecie Oksfordzkim, członek Towarzystwa Królewskiego w Londynie (ang. Royal Society).

Nowy!!: Hipoteza Churcha-Turinga i Roger Penrose · Zobacz więcej »

Routledge Encyclopedia of Philosophy

Routledge Encyclopedia of Philosophy – encyklopedia filozofii pod redakcjąEdwarda Craiga.

Nowy!!: Hipoteza Churcha-Turinga i Routledge Encyclopedia of Philosophy · Zobacz więcej »

Stephen Cole Kleene

Stephen Cole Kleene (ur. 5 stycznia 1909 w Hartford w stanie Connecticut, zm. 25 stycznia 1994 w Madison w stanie Wisconsin) – amerykański matematyk, jeden z pionierów informatyki teoretycznej.

Nowy!!: Hipoteza Churcha-Turinga i Stephen Cole Kleene · Zobacz więcej »

Teoria obliczeń

Teoria obliczeń – dział informatyki i matematyki, który dzieli się na: teorię automatów i języków formalnych, teorię obliczalności oraz teorię złożoności.

Nowy!!: Hipoteza Churcha-Turinga i Teoria obliczeń · Zobacz więcej »

Wszechświat

mikrofalowego promieniowania tła, pokazująca obraz wczesnego Wszechświata (na podstawie danych zebranych przez sondę WMAP) gwiazdy, 26,8% to ciemna materia,68,3% to ciemna energia Wszechświat – wszystko, co istnieje fizycznie: cała czasoprzestrzeń oraz wszystkie wypełniające jąformy energii jak materia i pola fizyczne; synonim słów „natura” i „przyroda”.

Nowy!!: Hipoteza Churcha-Turinga i Wszechświat · Zobacz więcej »

Złożoność obliczeniowa

Teoria złożoności obliczeniowej – dział teorii obliczeń, którego głównym celem jest określanie ilości zasobów potrzebnych do rozwiązania problemów obliczeniowych.

Nowy!!: Hipoteza Churcha-Turinga i Złożoność obliczeniowa · Zobacz więcej »

1943

Bez opisu.

Nowy!!: Hipoteza Churcha-Turinga i 1943 · Zobacz więcej »

Przekierowuje tutaj:

Hipoteza Churcha–Turinga, Teza Churcha, Teza Churcha i Turinga.

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »