12 vztahy: Academia, Axiom, Formule (logika), Gödelovy věty o neúplnosti, Jazyk (logika), Matematická logika, Přirozené číslo, Peanova aritmetika, První Gödelova věta, Rekurzivní jazyk, Robinsonova aritmetika, Teorie vyčíslitelnosti.
Academia
Academia je české nakladatelství a knihkupectví, které v roce 1953 zřídila Československá akademie věd (ČSAV).
Nový!!: Aritmetická hierarchie a Academia · 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ý!!: Aritmetická hierarchie a Axiom · Vidět víc »
Formule (logika)
Formule (také predikátová formule, srov. výroková formule) je v matematice a logice syntaktický pojem reprezentující nějaké (matematické) tvrzení v jisté formální teorii predikátové logiky prvního řádu.
Nový!!: Aritmetická hierarchie a Formule (logika) · 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ý!!: Aritmetická hierarchie a Gödelovy věty o neúplnosti · Vidět víc »
Jazyk (logika)
V matematické logice se pod pojmem jazyk rozumí pevně zvolená množina symbolů, pomocí nichž se vytvářejí formule.
Nový!!: Aritmetická hierarchie a Jazyk (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ý!!: Aritmetická hierarchie a Matematická logika · Vidět víc »
Přirozené číslo
Přirozeným číslem se v matematice rozumí číslo, které je možné použít pro vyjádření počtu („na stole je šest mincí“) nebo pořadí („toto je třetí největší město“) prvků konečných množin.
Nový!!: Aritmetická hierarchie a Přirozené číslo · Vidět víc »
Peanova aritmetika
Peanova aritmetika (PA) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Aritmetická hierarchie a Peanova aritmetika · Vidět víc »
První Gödelova věta
#PŘESMĚRUJ Gödelovy věty o neúplnosti#První Gödelova věta o neúplnosti.
Nový!!: Aritmetická hierarchie a První Gödelova věta · Vidět víc »
Rekurzivní jazyk
Formální jazyk L je rekurzivní, pokud existuje Turingův stroj (dále TS), který akceptuje právě slova z tohoto jazyka, a jehož výpočet nad libovolným řetězcem skončí po konečném počtu kroků.
Nový!!: Aritmetická hierarchie a Rekurzivní jazyk · Vidět víc »
Robinsonova aritmetika
Robinsonova aritmetika (také Robinsonova aritmetika Q nebo jen aritmetika Q) je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Aritmetická hierarchie a Robinsonova aritmetika · 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ý!!: Aritmetická hierarchie a Teorie vyčíslitelnosti · Vidět víc »