19 kontakty: Alan Turing, Algorytm, Antynomia, Arytmetyzacja języka, Kurt Gödel, Kwantyfikator, Maszyna Turinga, Paradoks Richarda, Półgrupa, Problem Collatza, Problem decyzyjny (teoria obliczeń), Problem stopu, Rachunek lambda, Rachunek zdań, Równanie diofantyczne, Teoria rekursji, Translacja (matematyka), Twierdzenia Gödla, 1936.
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!!: Problem nierozstrzygalny 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!!: Problem nierozstrzygalny i Algorytm · Zobacz więcej »
Antynomia
Antynomia (gr. antinomia – sprzeczność praw) – logiczna sprzeczność, paradoks, zdanie logiczne bądź rozumowanie dedukcyjne, które prowadzi do sprzeczności.
Nowy!!: Problem nierozstrzygalny i Antynomia · Zobacz więcej »
Arytmetyzacja języka
Arytmetyzacja języka lub arytmetyzacja składni – metoda efektywnego numerowania wszystkich wyrażeń języka badanej teorii za pomocąliczb naturalnych.
Nowy!!: Problem nierozstrzygalny i Arytmetyzacja języka · 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!!: Problem nierozstrzygalny i Kurt Gödel · Zobacz więcej »
Kwantyfikator
Kwantyfikator – termin przyjęty w matematyce i logice matematycznej na oznaczenie zwrotów: dla każdego, istnieje takie i im pokrewnych, a także odpowiadającym im symbolom wiążącym zmienne w formułach.
Nowy!!: Problem nierozstrzygalny i Kwantyfikator · 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!!: Problem nierozstrzygalny i Maszyna Turinga · Zobacz więcej »
Paradoks Richarda
Paradoks Richarda jest antynomiąw teorii zbiorów i języku naturalnym po raz pierwszy opisanąw 1905 roku przez Julesa Richarda.
Nowy!!: Problem nierozstrzygalny i Paradoks Richarda · Zobacz więcej »
Półgrupa
Półgrupa – grupoid, w którym działanie jest łączne, czyli zbiór A z określonym na nim działaniem dwuargumentowym \cdot, w którym dla wszelkich elementów a,b,c\in A zachodzi: Gdy działanie jest dodatkowo przemienne, półgrupę nazywa się przemiennąbądź abelową.
Nowy!!: Problem nierozstrzygalny i Półgrupa · Zobacz więcej »
Problem Collatza
Problem Collatza (znany też jako problem 3x+1, problem Ulama, problem Kakutaniego, problem syrakuzański) – nierozstrzygnięty dotychczas problem o wyjątkowo prostym – jak wiele innych problemów teorii liczb – sformułowaniu.
Nowy!!: Problem nierozstrzygalny i Problem Collatza · Zobacz więcej »
Problem decyzyjny (teoria obliczeń)
Problem decyzyjny – pytanie sformułowane w systemie formalnym, na które możliwe sątylko odpowiedzi tak i nie.
Nowy!!: Problem nierozstrzygalny i Problem decyzyjny (teoria obliczeń) · 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!!: Problem nierozstrzygalny i Problem stopu · 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!!: Problem nierozstrzygalny i Rachunek lambda · Zobacz więcej »
Rachunek zdań
Rachunek zdań – dział logiki matematycznej badający związki między zmiennymi zdaniowymi (zdaniami) lub funkcjami zdaniowymi, utworzonymi za pomocąfunktorów zdaniotwórczych (spójników zdaniowych) ze zdań lub prostszych funkcji zdaniowych.
Nowy!!: Problem nierozstrzygalny i Rachunek zdań · Zobacz więcej »
Równanie diofantyczne
Równanie diofantyczne – równanie postaci: gdzie f jest n-argumentowąfunkcją(n \geqslant 2) i którego rozwiązania szuka się w dziedzinie liczb całkowitych lub rzadziej wymiernych.
Nowy!!: Problem nierozstrzygalny i Równanie diofantyczne · Zobacz więcej »
Teoria rekursji
Teoria rekursji – dział logiki matematycznej, którego początki sięgająlat trzydziestych XX wieku.
Nowy!!: Problem nierozstrzygalny i Teoria rekursji · Zobacz więcej »
Translacja (matematyka)
Translacja ''przesuwa'' każdy punkt figury bądź przestrzeni o tę samąodległość w ustalonym kierunku Translacja, przesunięcie równoległe – przekształcenie prostej, płaszczyzny lub dowolnej przestrzeni afinicznej, które można intuicyjnie rozumieć jako równoległe przesunięcie wszystkich punktów dziedziny bez jej deformacji i obracania.
Nowy!!: Problem nierozstrzygalny i Translacja (matematyka) · Zobacz więcej »
Twierdzenia Gödla
Twierdzenia Gödla – wspólna nazwa dwóch rezultatów logiki matematycznej i metamatematyki.
Nowy!!: Problem nierozstrzygalny i Twierdzenia Gödla · Zobacz więcej »
1936
Bez opisu.