49 vztahy: Albert Einstein, Analytická geometrie, Anselm z Canterbury, Aritmetika, Axiom, Brno, Cestování v čase, Disertační práce, Edmund Husserl, Filosofie matematiky, Fyzika, Gödel (programovací jazyk), Gödelova věta o úplnosti predikátové logiky, Gödelovy věty o neúplnosti, Georg Cantor, Hans Hahn, Hilbertův program, Kleinova láhev, Lisp, Logika, Matematik, Möbiova páska, Monatshefte für Mathematik, Němčina, New Jersey, Ontologický důkaz existence Boha, Paradox, Predikátová logika prvního řádu, Princeton, Rakousko-Uhersko, Rekurzivní funkce, René Descartes, Spojené státy americké, Teorie množin, Teorie relativity, Textilní průmysl, Topologie, Vídeňská univerzita, 14. leden, 1906, 1924, 1930, 1931, 1936, 1938, 1940, 1955, 1978, 28. duben.
Albert Einstein
Albert Einstein (14. března 1879 Ulm, Německo – 18. dubna 1955 Princeton, New Jersey, USA) byl teoretický fyzik, jeden z nejvýznamnějších vědců všech dob.
Nový!!: Kurt Gödel a Albert Einstein · Vidět víc »
Analytická geometrie
Analytická geometrie (také souřadnicová geometrie nebo kartézská geometrie) je část geometrie, která zkoumá geometrické útvary v euklidovské geometrii pomocí algebraických a analytických metod.
Nový!!: Kurt Gödel a Analytická geometrie · Vidět víc »
Anselm z Canterbury
Svatý Anselm z Canterbury, rytina ze 17. stol. Svatý Anselm z Canterbury (1033 nebo 1034 Aosta v severní Itálii – 21. dubna 1109 Canterbury), byl opat, arcibiskup v Canterbury, teolog a filosof, jeden ze zakladatelů scholastiky a člen řádu svatého Benedikta.
Nový!!: Kurt Gödel a Anselm z Canterbury · Vidět víc »
Aritmetika
Aritmetika (starořečtina ἀριθμητική, arithmētikḗ - z ἀριθμός, arithmós „číslo“) je obor matematiky, který studuje čísla, jejich vztahy a vlastnosti.
Nový!!: Kurt Gödel a Aritmetika · Vidět víc »
Axiom
Axiom (z řec. axióma, to co se uznává) je tvrzení, které se předem pokládá za platné, a tudíž se nedokazuje.
Nový!!: Kurt Gödel a Axiom · Vidět víc »
Brno
Brno je statutární město, počtem obyvatel i rozlohou druhé největší město v České republice, největší město na Moravě a bývalé hlavní město Moravy.
Nový!!: Kurt Gödel a Brno · Vidět víc »
Cestování v čase
Cestování v čase je teoretická koncepce, kdy se cestovatel pohybuje do minulosti či do budoucnosti, většinou za pomoci určitého stroje času.
Nový!!: Kurt Gödel a Cestování v čase · Vidět víc »
Disertační práce
Obálka knihy z roku 1721 zachycuje promoce doktorského stupně studia na Univerzitě v Leidenu, Nizozemí. Vlevo a vpravo jsou symboly jednotlivých tehdejších fakult univerzity: teologické,l filozofické, právnické a lékařské a dále symboly samotného města Leiden. Disertační práce (hovorově též disertačka, angl., či disertace, angl.) je typ školní práce, kterou obhajují studenti na univerzitních vysokých školách (univerzitách).
Nový!!: Kurt Gödel a Disertační práce · Vidět víc »
Edmund Husserl
Edmund Husserl (1900) Edmund Husserl (8. dubna 1859, Prostějov – 27. dubna 1938, Freiburg im Breisgau) byl německý filosof moravského původu působící převážně v Německu, zakladatel moderní fenomenologie.
Nový!!: Kurt Gödel a Edmund Husserl · Vidět víc »
Filosofie matematiky
#PŘESMĚRUJ Filozofie matematiky.
Nový!!: Kurt Gödel a Filosofie matematiky · Vidět víc »
Fyzika
Různé příklady fyzikálních jevů Rayleighův a Mieův rozptyl. Fyzika (z řeckého φυσικός (fysikos): přírodní, ze základu φύσις (fysis): příroda, archaicky též silozpyt) je exaktní vědní obor, který zkoumá zákonitosti přírodních jevů.
Nový!!: Kurt Gödel a Fyzika · Vidět víc »
Gödel (programovací jazyk)
Gödel je v informatice deklarativní a všestranně použitelný programovací jazyk, který dodržuje logické programovací paradigma.
Nový!!: Kurt Gödel a Gödel (programovací jazyk) · Vidět víc »
Gödelova věta o úplnosti predikátové logiky
Gödelova věta o úplnosti predikátové logiky (také jen Gödelova věta o úplnosti či věta o úplnosti) je základní větou matematické logiky.
Nový!!: Kurt Gödel a Gödelova věta o úplnosti predikátové logiky · 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ý!!: Kurt Gödel a Gödelovy věty o neúplnosti · Vidět víc »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (3. března 1845 Petrohrad – 6. ledna 1918 Halle) byl významný německý matematik a logik.
Nový!!: Kurt Gödel a Georg Cantor · Vidět víc »
Hans Hahn
Hans Hahn (27. září 1879 Vídeň, Rakousko-Uhersko – 24. července 1934 Vídeň, Rakousko) byl rakouský matematik a filozof, člen Vídeňského kroužku.
Nový!!: Kurt Gödel a Hans Hahn · Vidět víc »
Hilbertův program
Pojmem Hilbertův program se označuje snaha německého matematika Davida Hilberta o formalizaci matematiky až na úroveň jednoduchých axiomů, ze kterých by se daly korektně dokázat všechny matematické věty.
Nový!!: Kurt Gödel a Hilbertův program · Vidět víc »
Kleinova láhev
Kleinova láhev (náznak vzhledu ve 3D) Realizovaná Kleinova láhev, tedy téměř-Kleinova Kleinova láhev je plošný geometrický útvar, který si lze zjednodušeně představovat jako uzavřenou nádobu, která nemá vnitřek ani vnějšek.
Nový!!: Kurt Gödel a Kleinova láhev · Vidět víc »
Lisp
Lisp (historicky LISP) je rodina multiparadigmatických programovacích jazyků s dlouhou historií.
Nový!!: Kurt Gödel a Lisp · 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ý!!: Kurt Gödel a Logika · Vidět víc »
Matematik
Matematik je osoba, jehož primární oblastí, kterou studuje a zkoumá, je matematika.
Nový!!: Kurt Gödel a Matematik · Vidět víc »
Möbiova páska
Princip Möbiovy pásky Möbiova páska (také Möbiův pás, Möbiův pásek nebo Möbiův list) je plocha, která má jen jednu stranu a jednu hranu.
Nový!!: Kurt Gödel a Möbiova páska · Vidět víc »
Monatshefte für Mathematik
Monatshefte für Mathematik je odborný recenzovaný matematický časopis vydávaný nakladatelstvím Springer Science+Business Media.
Nový!!: Kurt Gödel a Monatshefte für Mathematik · Vidět víc »
Němčina
Němčina, německy Deutsch, je západogermánský jazyk, jehož studiem se zaobírá filologický obor zvaný germanistika.
Nový!!: Kurt Gödel a Němčina · Vidět víc »
New Jersey
New Jersey (anglická výslovnost, oficiálně, česky Nové Jersey) je stát nacházející se na východním pobřeží Spojených států amerických, ve Středoatlantské oblasti severovýchodního regionu USA.
Nový!!: Kurt Gödel a New Jersey · Vidět víc »
Ontologický důkaz existence Boha
Ontologický důkaz existence Boha nebo přesněji ontologický argument je myšlenkový postup, který chce filosoficky zdůvodnit víru v Boha tím, že dokáže jeho existenci.
Nový!!: Kurt Gödel a Ontologický důkaz existence Boha · Vidět víc »
Paradox
Paradox (z řeckého paradoxos – nepodobný, náhlý, neočekávaný) je tvrzení, které spojuje pojmy nebo výroky v běžném slova smyslu si odporující v neočekávaný, překvapivý, ale smysluplný celek.
Nový!!: Kurt Gödel a Paradox · Vidět víc »
Predikátová logika prvního řádu
Predikátová logika prvního řádu je formální systém používaný v matematice, filozofii, lingvistice a informatice.
Nový!!: Kurt Gödel a Predikátová logika prvního řádu · Vidět víc »
Princeton
Princeton, Holder Tower (věž Princetonské univerzity) Princeton je menší město v USA v okrese Mercer County (New Jersey), 60 km jihozápadně od New Yorku.
Nový!!: Kurt Gödel a Princeton · Vidět víc »
Rakousko-Uhersko
Rakousko-Uhersko, plným názvem Rakousko-uherská monarchie, byl státní útvar, reálná unie Království a zemí v Říšské radě zastoupených neboli '''Předlitavska''' (nepřesně Rakouska) a Zemí svaté Štěpánské koruny uherské neboli Zalitavska (nepřesně Uherska), existující od 8. června 1867 do 31. října 1918.
Nový!!: Kurt Gödel a Rakousko-Uhersko · Vidět víc »
Rekurzivní funkce
Výraz rekurzivní funkce má více významů.
Nový!!: Kurt Gödel a Rekurzivní funkce · Vidět víc »
René Descartes
René Descartes (lat. Renatus Cartesius) (31. března 1596 La Haye, dnes Descartes, poblíž Tours – 11. února 1650, Stockholm) byl francouzský filosof, matematik a fyzik.
Nový!!: Kurt Gödel a René Descartes · 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ý!!: Kurt Gödel a Spojené státy americké · Vidět víc »
Teorie množin
Teorie množin je matematická teorie, která se zabývá studiem množin.
Nový!!: Kurt Gödel a Teorie množin · Vidět víc »
Teorie relativity
Teorie relativity je sada dvou fyzikálních teorií vytvořených Albertem Einsteinem: speciální teorie relativity (STR) a obecné teorie relativity (OTR).
Nový!!: Kurt Gödel a Teorie relativity · Vidět víc »
Textilní průmysl
Textilní průmysl je odvětví ekonomiky, které zahrnuje všechna zařízení sloužící k výrobě textilií a oděvů průmyslovým způsobem.
Nový!!: Kurt Gödel a Textilní průmysl · Vidět víc »
Topologie
Möbiova páska, objekt, který má jen jednu hranu a jednu stranu. Takovýmito objekty se topologie zabývá. Topologie (z řeckého topos - místo a logos - studie) je obor matematiky, opírající se o velmi obecný výklad pojmu prostor (topologický prostor).
Nový!!: Kurt Gödel a Topologie · Vidět víc »
Vídeňská univerzita
Vídeňská univerzita je s přibližně 90 000 studenty a více než 10 000 zaměstnanci největší veřejnou vzdělávací a výzkumnou institucí v Rakousku i ostatních německy mluvících zemích.
Nový!!: Kurt Gödel a Vídeňská univerzita · Vidět víc »
14. leden
14.
Nový!!: Kurt Gödel a 14. leden · Vidět víc »
1906
1906 (MCMVI) byl rok, který dle gregoriánského kalendáře započal pondělím.
Nový!!: Kurt Gödel a 1906 · Vidět víc »
1924
1924 (MCMXXIV) byl rok, který dle gregoriánského kalendáře započal úterým.
Nový!!: Kurt Gödel a 1924 · Vidět víc »
1930
1930 (MCMXXX) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Kurt Gödel a 1930 · Vidět víc »
1931
1931 (MCMXXXI) byl rok, který dle gregoriánského kalendáře započal čtvrtkem.
Nový!!: Kurt Gödel a 1931 · Vidět víc »
1936
1936 (MCMXXXVI) byl rok, který dle gregoriánského kalendáře započal středou.
Nový!!: Kurt Gödel a 1936 · Vidět víc »
1938
1938 (MCMXXXVIII) byl rok, který dle gregoriánského kalendáře započal sobotou.
Nový!!: Kurt Gödel a 1938 · Vidět víc »
1940
1940 (MCMXL) byl rok, který dle gregoriánského kalendáře započal pondělím.
Nový!!: Kurt Gödel a 1940 · Vidět víc »
1955
1955 (MCMLV) byl rok, který dle gregoriánského kalendáře započal sobotou.
Nový!!: Kurt Gödel a 1955 · Vidět víc »
1978
1978 (MCMLXXVIII) byl rok, který dle gregoriánského kalendáře započal nedělí.
Nový!!: Kurt Gödel a 1978 · Vidět víc »
28. duben
28.
Nový!!: Kurt Gödel a 28. duben · Vidět víc »
Přesměrování zde:
Gödel, Kurt Friedrich Gödel, Kurt Godel.