8 suhteet: Alan Turing, Cantorin diagonaaliargumentti, Epätyhjyysongelma, Laskettavuus, Oraakkelikone, Russellin paradoksi, Tessellaatio, Turingin kone.
Alan Turing
Alan Mathison Turing (23. kesäkuuta 1912 Lontoo – 7. kesäkuuta 1954 Wilmslow) oli brittiläinen matemaatikko ja logiikan tutkija, joka vuonna 1936 julkaisi formalisoimansa algoritmin ja tietojenkäsittelytieteessä käytetyn Turingin kone -käsitteen.
Uusi!!: Pysähtymisongelma ja Alan Turing · Katso lisää »
Cantorin diagonaaliargumentti
Cantorin diagonaaliargumentti on Georg Cantorin vuonna 1891 julkaisema matemaattinen todistus sille, että reaalilukujen joukko ei ole numeroituvasti ääretön vaan ylinumeroituva.
Uusi!!: Pysähtymisongelma ja Cantorin diagonaaliargumentti · Katso lisää »
Epätyhjyysongelma
Epätyhjyysongelmalla tarkoitetaan kysymystä siitä, hyväksyykö jokin mielivaltainen Turingin kone yhtään syötemerkkijonoa.
Uusi!!: Pysähtymisongelma ja Epätyhjyysongelma · Katso lisää »
Laskettavuus
Laskettavuus on teoreettisen tietojenkäsittelytieteen laskettavuusteorian haara, joka tutkii ongelmien ratkeavuutta algoritmisesti.
Uusi!!: Pysähtymisongelma ja Laskettavuus · Katso lisää »
Oraakkelikone
Oraakkelikone on laskennan vaativuusteoriassa abstrakti kone, jota käytetään päätösongelmien ratkaisun tutkimiseen.
Uusi!!: Pysähtymisongelma ja Oraakkelikone · Katso lisää »
Russellin paradoksi
Russellin paradoksi on Bertrand Russellin vuonna 1901 keksimä paradoksi, joka todistaa Gottlob Fregen ja Georg Cantorin naiivin joukko-opin sisäisesti ristiriitaiseksi.
Uusi!!: Pysähtymisongelma ja Russellin paradoksi · Katso lisää »
Tessellaatio
Zellige-tyyppiset terrakottalaatat Marrakechissa muodostavat sivu sivua vasten asetettuja, säännöllisiä ja muita tessellaatioita. M. C. Escherin taiteellisten tessellaatioiden kunniaksi seinälle Leeuwardeniin kiinnitetty rakennettu koristelaatta Tessellaatio merkitsee varsinaisesti tasopinnan peittämistä mosaiikkimaisesti tietyn muotoisilla laatoilla tai laatoiksi kutsutuilla kuvioilla siten, että laatat eivät ole osittainkaan päällekkäin eikä niiden väliin jää aukkoja.
Uusi!!: Pysähtymisongelma ja Tessellaatio · Katso lisää »
Turingin kone
Taiteilijan hahmotelma Turingin koneesta. Lego-palikoista rakennettu Turingin kone. Turingin kone on teoreettinen malli sille, miten tietokone toimii.