Nopeamman yhteyden kuin selaimen!
11 suhteet: Aksiomaattinen joukko-oppi, Alan Turing, Alkio (joukko-oppi), Bertrand Russell, Gödelin epätäydellisyyslause, Georg Cantor, Gottlob Frege, Joukko, Kurt Gödel, Paradoksi, Pysähtymisongelma.
Aksiomaattinen joukko-oppi
Aksiomaattinen joukko-oppi on toinen niistä osista, joihin joukko-oppi tavallisesti jaetaan.
Uusi!!: Russellin paradoksi ja Aksiomaattinen joukko-oppi · Katso lisää »
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!!: Russellin paradoksi ja Alan Turing · Katso lisää »
Alkio (joukko-oppi)
Alkio (myös elementti tai jäsen) on joukko-opissa joukon sisältämä objekti.
Uusi!!: Russellin paradoksi ja Alkio (joukko-oppi) · Katso lisää »
Bertrand Russell
Bertrand Arthur William Russell, Russellin 3.
Uusi!!: Russellin paradoksi ja Bertrand Russell · Katso lisää »
Gödelin epätäydellisyyslause
Gödelin epätäydellisyyslauseet ovat Kurt Gödelin vuonna 1931 todistamat kaksi lausetta.
Uusi!!: Russellin paradoksi ja Gödelin epätäydellisyyslause · Katso lisää »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (3. maaliskuuta 1845 – 6. tammikuuta 1918) oli saksalainen matemaatikko, joka tunnetaan parhaiten joukko-opin luojana.
Uusi!!: Russellin paradoksi ja Georg Cantor · Katso lisää »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (8. marraskuuta 1848 Wismar – 26. heinäkuuta 1925 Bad Kleinen) oli saksalainen filosofi, loogikko ja matemaatikko.
Uusi!!: Russellin paradoksi ja Gottlob Frege · Katso lisää »
Joukko
Joukko on matematiikassa joukko-oppiin kuuluva peruskäsite.
Uusi!!: Russellin paradoksi ja Joukko · Katso lisää »
Kurt Gödel
Kurt Friedrich Gödel (28. huhtikuuta 1906 Brünn – 14. tammikuuta 1978 Princeton) oli itävaltalais-yhdysvaltalainen matemaatikko ja filosofi, jota pidetään yhtenä kaikkien aikojen merkittävimmistä loogikoista.
Uusi!!: Russellin paradoksi ja Kurt Gödel · Katso lisää »
Paradoksi
Paradoksi (kreikan sanoista παρά 'vastaan' ja δοξα 'oppi' tai 'näkemys') on näennäisesti loogiselta tuntuva ajatus tai väite, joka kuitenkin johtaa epäloogiseen tai mahdottomaan lopputulokseen.
Uusi!!: Russellin paradoksi ja Paradoksi · Katso lisää »
Pysähtymisongelma
Pysähtymisongelma koskee syötteenä annetun, mielivaltaisen ohjelman pysähtymistestausta.
Uusi!!: Russellin paradoksi ja Pysähtymisongelma · Katso lisää »
