29 vztahy: Alan Turing, Alfred North Whitehead, Augustov, Židé v Polsku, Bertrand Russell, City College of New York, Formální jazyk, Gödelovy věty o neúplnosti, Kolumbijská univerzita, Kurt Gödel, Logika, Matematická logika, Matematický důkaz, Matematik, New York, Polsko, Postův korespondenční problém, Postova věta, Princetonská univerzita, Principia Mathematica, Rozhodnutelnost, Ruské impérium, Spojené státy americké, Teorie vyčíslitelnosti, Turingův stroj, 11. únor, 1897, 1954, 21. duben.
Alan Turing
Alan Mathison Turing, OBE (23. června 1912 Londýn — 7. června 1954 Wilmslow) byl britský matematik, logik, kryptoanalytik a zakladatel moderní informatiky.
Nový!!: Emil Leon Post a Alan Turing · Vidět víc »
Alfred North Whitehead
Alfred North Whitehead (15. února 1861 Ramsgate, Kent, Spojené království – 30. prosince 1947 Cambridge, Massachusetts, USA) byl filozof, fyzik a matematik, který se zabýval logikou, matematikou, filozofií vědy a metafyzikou.
Nový!!: Emil Leon Post a Alfred North Whitehead · Vidět víc »
Augustov
Augustov (polsky Augustów, litevsky Augustavas) je město a sídlo okresu Augustov v Podleském vojvodství na severovýchodě Polska.
Nový!!: Emil Leon Post a Augustov · Vidět víc »
Židé v Polsku
Židovská komunita v Polsku dnes čítá asi 3500 členů, především seniorů.
Nový!!: Emil Leon Post a Židé v Polsku · Vidět víc »
Bertrand Russell
Bertrand Arthur William Russell (18. května 1872, Trelleck, Monmouthshire, Wales – 2. února 1970, Penrhyndeudraeth, Gwynedd (Merionethshire), Wales), třetí hrabě Russell, byl britský matematik, filosof, logik, sociální kritik a spisovatel, nositel Nobelovy ceny za literaturu za rok 1950.
Nový!!: Emil Leon Post a Bertrand Russell · Vidět víc »
City College of New York
City College of New York je veřejná vysoká škola ve městě New York City ve Spojených státech amerických, kterou spravuje City University of New York.
Nový!!: Emil Leon Post a City College of New York · Vidět víc »
Formální jazyk
Formální jazyk je v matematice, logice a informatice libovolná množina konečných řetězců (tj. řetězců konečné délky) nad určitou abecedou.
Nový!!: Emil Leon Post a Formální jazyk · Vidět víc »
Gödelovy věty o neúplnosti
Gödelovy věty o neúplnosti jsou dvě důležité matematické věty, které mají zcela výsadní postavení v celé moderní matematické logice.
Nový!!: Emil Leon Post a Gödelovy věty o neúplnosti · Vidět víc »
Kolumbijská univerzita
Kolumbijská univerzita (anglicky Columbia University) je soukromá vysoká škola v USA, patřící do „břečťanové ligy“ elitních amerických univerzit.
Nový!!: Emil Leon Post a Kolumbijská univerzita · Vidět víc »
Kurt Gödel
Kurt Friedrich Gödel (28. dubna 1906 Brno – 14. ledna 1978 Princeton, New Jersey) byl rakousko-americký matematik, který se stal jedním z nejvýznamnějších logiků všech dob.
Nový!!: Emil Leon Post a Kurt Gödel · Vidět víc »
Logika
Logika má více významů – v češtině se běžně používá ve smyslu myšlenková cesta, která vedla k daným závěrům.
Nový!!: Emil Leon Post a Logika · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Emil Leon Post a Matematická logika · Vidět víc »
Matematický důkaz
Základů''. Jeden z nejstarších dochovaných matematických důkazů V matematice je důkaz demonstrace nutné pravdivosti nějakého tvrzení za určitých předpokladů (axiomů).
Nový!!: Emil Leon Post a Matematický důkaz · Vidět víc »
Matematik
Matematik je osoba, jehož primární oblastí, kterou studuje a zkoumá, je matematika.
Nový!!: Emil Leon Post a Matematik · Vidět víc »
New York
New York, oficiálně City of New York, v běžném užívání i New York City, je nejlidnatější město Spojených států amerických.
Nový!!: Emil Leon Post a New York · Vidět víc »
Polsko
Polsko, plným názvem Polská republika je stát v severní části střední Evropy.
Nový!!: Emil Leon Post a Polsko · Vidět víc »
Postův korespondenční problém
Postův korespondenční problém (PCP) je nerozhodnutelný problém představený matematikem Emilem Postem v roce 1946.
Nový!!: Emil Leon Post a Postův korespondenční problém · Vidět víc »
Postova věta
Postova věta popisuje v teoretické informatice vztah mezi rekurzivitou a rekurzivní spočetností.
Nový!!: Emil Leon Post a Postova věta · Vidět víc »
Princetonská univerzita
Princetonská univerzita (Princeton University) je jedna z nejprestižnějších univerzit v USA.
Nový!!: Emil Leon Post a Princetonská univerzita · Vidět víc »
Principia Mathematica
Titulní strana zkráceného vydání ''Principií'' Principia Mathematica (PM) jsou třísvazkové dílo pojednávající o základech matematiky, napsané Alfredem Northem Whiteheadem a Bertrandem Russellem a vydané v letech 1910, 1912 a 1913.
Nový!!: Emil Leon Post a Principia Mathematica · Vidět víc »
Rozhodnutelnost
Rozhodnutelnost je matematický pojem z oblasti matematické logiky.
Nový!!: Emil Leon Post a Rozhodnutelnost · Vidět víc »
Ruské impérium
Ruské impérium neboli Ruská říše, běžně také carské Rusko, byl státní útvar pokrývající území Eurasie a část Severní Ameriky, který vznikl roku 1721 po skončení Severní války a existoval do roku 1917, kdy byla po Únorové revoluci vyhlášena Ruská republika pod vedením prozatímní vlády.
Nový!!: Emil Leon Post a Ruské impérium · Vidět víc »
Spojené státy americké
Spojené státy americké, zkráceným názvem Spojené státy, zkratkou USA (nebo také US), jsou demokratická federativní prezidentská republika v Severní Americe, rozkládající se mezi Atlantským oceánem na východě a Tichým oceánem na západě.
Nový!!: Emil Leon Post a Spojené státy americké · Vidět víc »
Teorie vyčíslitelnosti
Teorie vyčíslitelnosti je obor na pomezí matematiky a informatiky, který zkoumá otázky algoritmické řešitelnosti problémů.
Nový!!: Emil Leon Post a Teorie vyčíslitelnosti · Vidět víc »
Turingův stroj
Umělecké znázornění Turingova stroje Turingův stroj (TS) je teoretický model počítače popsaný matematikem Alanem Turingem, který se používá pro modelování algoritmů v teorii vyčíslitelnosti.
Nový!!: Emil Leon Post a Turingův stroj · Vidět víc »
11. únor
11.
Nový!!: Emil Leon Post a 11. únor · Vidět víc »
1897
1897 (MDCCCXCVII) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Emil Leon Post a 1897 · Vidět víc »
1954
1954 (MCMLIV) byl rok, který dle gregoriánského kalendáře započal pátkem.
Nový!!: Emil Leon Post a 1954 · Vidět víc »
21. duben
21.
Nový!!: Emil Leon Post a 21. duben · Vidět víc »