27 vztahy: Asociativita, Axiom, Axiom nekonečna, Distributivita, Druhá Gödelova věta, Formální teorie, Formule (logika), Funkce alef, Gödelovy věty o neúplnosti, Giuseppe Peano, Goodsteinova věta, Itálie, Komutativita, Lineární uspořádání, Matematická indukce, Matematická logika, Matematik, Mohutnost kontinua, Negace, Peanovy axiomy, Predikátová logika prvního řádu, Presburgerova aritmetika, První Gödelova věta, Robinsonova aritmetika, Rozhodnutelnost, Spočetná množina, Zermelova-Fraenkelova teorie množin.
Asociativita
Asociativita je v algebře vlastnost binární operace, spočívající v tom, že nezáleží, jak použijeme závorky u výrazu, kde je více operandů, v jakém pořadí budeme tedy tento výraz počítat.
Nový!!: Peanova aritmetika a Asociativita · 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ý!!: Peanova aritmetika a Axiom · Vidět víc »
Axiom nekonečna
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin#Axiom nekonečna.
Nový!!: Peanova aritmetika a Axiom nekonečna · Vidět víc »
Distributivita
Distributivita je v matematice, zejména v algebře, vlastnost binární operace vůči jiné binární operaci, říkající, že můžeme tuto operaci distribuovat přes jinou operaci.
Nový!!: Peanova aritmetika a Distributivita · Vidět víc »
Druhá Gödelova věta
#PŘESMĚRUJ Gödelovy věty o neúplnosti#Druhá Gödelova věta o neúplnosti.
Nový!!: Peanova aritmetika a Druhá Gödelova věta · Vidět víc »
Formální teorie
Formální teorie je jeden z nejdůležitějších pojmů matematickologické syntaxe.
Nový!!: Peanova aritmetika a Formální teorie · 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ý!!: Peanova aritmetika a Formule (logika) · Vidět víc »
Funkce alef
Funkce Alef (značená \aleph\,\! a nazývaná podle prvního hebrejského písmene Alef) se používá v axiomatické teorii množin pro zobrazení, které ordinálnímu číslu \alpha přiřadí kardinální číslo představující \alpha-tou nejmenší nekonečnou mohutnost.
Nový!!: Peanova aritmetika a Funkce alef · 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ý!!: Peanova aritmetika a Gödelovy věty o neúplnosti · Vidět víc »
Giuseppe Peano
Giuseppe Peano (27. srpna 1858, Spinetta, Piemont, Itálie – 20. dubna 1932, Turín) byl italský matematik, filosof a logik.
Nový!!: Peanova aritmetika a Giuseppe Peano · Vidět víc »
Goodsteinova věta
Goodsteinova věta, vyslovená v roce 1944 R. Goodsteinem, tvrdí: Pro každou Goodsteinovu posloupnost m_0, m_1, m_2, \ldots \,\! existuje takové přirozené číslo n \,\!, pro které je m_n.
Nový!!: Peanova aritmetika a Goodsteinova věta · Vidět víc »
Itálie
Itálie, plným názvem Italská republika, je stát ležící v jižní a západní Evropě.
Nový!!: Peanova aritmetika a Itálie · Vidět víc »
Komutativita
Komutativita je v matematice, zejména v algebře, vlastnost binární operace spočívající v tom, že u ní nezávisí na pořadí jejích operandů.
Nový!!: Peanova aritmetika a Komutativita · Vidět víc »
Lineární uspořádání
Lineární uspořádání (někdy také úplné uspořádání) je pojem z teorie uspořádání, který formálně zachycuje intuitivní představu o prvcích množiny, které jsou seřazeny „jeden za druhým“.
Nový!!: Peanova aritmetika a Lineární uspořádání · Vidět víc »
Matematická indukce
Matematická indukce je metoda dokazování matematických vět a tvrzení, která se používá, pokud chceme ukázat, že dané tvrzení platí pro všechna přirozená čísla, případně jinou, předem danou nekonečnou posloupnost.
Nový!!: Peanova aritmetika a Matematická indukce · Vidět víc »
Matematická logika
Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou.
Nový!!: Peanova aritmetika a Matematická logika · Vidět víc »
Matematik
Matematik je osoba, jehož primární oblastí, kterou studuje a zkoumá, je matematika.
Nový!!: Peanova aritmetika a Matematik · Vidět víc »
Mohutnost kontinua
Mohutnost kontinua je matematický pojem z oblasti teorie množin.
Nový!!: Peanova aritmetika a Mohutnost kontinua · Vidět víc »
Negace
Logická negace (používá se pro ni symbol \neg nebo \mathrm, popř. se označuje pruhem nad proměnnou) je unární logická operace, která vezme výrok "p" do dalšího výroku "ne p", psáno ¬p, který je samostatně interpretován jako pravda, když p je nepravda nebo jako nepravda, když p je pravda.
Nový!!: Peanova aritmetika a Negace · Vidět víc »
Peanovy axiomy
Giuseppe Peano (1858–1932) byl italský matematik, filosof a logik (portrét asi z roku 1920). V matematice jsou Peanovy axiomy axiomy v predikátové logice druhého řádu, které vystihují vlastnosti přirozených čísel.
Nový!!: Peanova aritmetika a Peanovy axiomy · 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ý!!: Peanova aritmetika a Predikátová logika prvního řádu · Vidět víc »
Presburgerova aritmetika
Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky.
Nový!!: Peanova aritmetika a Presburgerova 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ý!!: Peanova aritmetika a První Gödelova věta · 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ý!!: Peanova aritmetika a Robinsonova aritmetika · Vidět víc »
Rozhodnutelnost
Rozhodnutelnost je matematický pojem z oblasti matematické logiky.
Nový!!: Peanova aritmetika a Rozhodnutelnost · Vidět víc »
Spočetná množina
Spočetná množina je matematický pojem z teorie množin, označující množinu, kterou lze vzájemně jednoznačně (tzv. bijektivně) zobrazit na některou podmnožinu množiny přirozených čísel.
Nový!!: Peanova aritmetika a Spočetná množina · Vidět víc »
Zermelova-Fraenkelova teorie množin
#PŘESMĚRUJ Zermelova–Fraenkelova teorie množin.
Nový!!: Peanova aritmetika a Zermelova-Fraenkelova teorie množin · Vidět víc »