Seznam témat matematické logiky - List of mathematical logic topics
Tohle je seznam matematická logika témat, stránkou Wikipedie.
Tradiční sylogistickou logiku viz seznam témat v logice. Viz také seznam vyčíslitelnosti a složitosti témat pro více teorie algoritmy.
Pracovní základy
- Peanoovy axiomy
- Matematická indukce
- Naivní teorie množin
- Vesmír (matematika)
- Axiomatizace
- Axiomatický systém
- Axiomatická metoda
- Formální systém
- Matematický důkaz
- Tautologie
- Důslednost konzistence
- Aritmetizace analýzy
- Základy matematiky
- Formální jazyk
- Principia Mathematica
- Hilbertův program
- Nepředvídatelné
- Definovatelné skutečné číslo
- Algebraická logika
- Dialectica prostor
- kategorická logika
Teorie modelů
- Teorie konečných modelů
- Teorie vypočítatelných modelů
- Teorie institucionálních modelů
- Nestandardní analýza
- Teorie množin
- Kripkeho sémantika
- Predikátová logika
- Věta o zdraví
- Gödelova věta o úplnosti
- Věta o kompaktnosti
- Löwenheim – Skolemova věta
- Gödelovy věty o neúplnosti
- Struktura (matematická logika)
- Výklad (logika)
- Spodní konstrukce (matematika)
- Základní konstrukce
- Nestandardní model
- Atomový model (matematická logika)
- Prime model
- Nasycený model
- Existenciálně uzavřený model
- Ultraprodukt
- Věk (teorie modelu)
- Potenciální izomorfismus
- Teorie (matematická logika)
- Diferenciálně uzavřené pole
- Exponenciální pole
- Věta Ax – Grothendieck
- Axe-Kochenova věta
- Peanoovy axiomy
- Nestandardní model aritmetiky
- Aritmetika prvního řádu
- Aritmetika druhého řádu
- Presburgerova aritmetika
- Wilkieho věta
- Funkční predikát
- T-schéma
- Metoda tam a zpět
- Barwise věta o kompaktnosti
- Skolemizace
- Lindenbaum – Tarski algebra
- Löbova věta
- Aritmetická sada
- Definovatelná sada
- Hra Ehrenfeucht – Fraïssé
- Herbrandova interpretace / Herbrandova struktura
- Imaginární prvek
- Indiscernibles
- Interpretace (teorie modelů) / Interpretovatelná struktura
- Pregeometrie (teorie modelů)
- Vyloučení kvantifikátoru
- Snížit
- Podpis (logika)
- Skolem normální forma
- Typ (teorie modelu)
- Zariski geometrie
Teorie množin
- Algebra množin
- Axiom volby
- Booleova algebra (struktura)
- Booleovský model
- Paradox Burali-Forti
- Cantorova metoda tam a zpět
- Cantorův diagonální argument
- Cantorův první důkaz nespočetnosti
- Cantorova věta
- Cantor – Bernstein – Schroederova věta
- Mohutnost
- kartézský součin
- Třída (teorie množin)
- Doplněk (teorie množin)
- Kompletní booleovská algebra
- Kontinuum (teorie množin)
- Hypotéza kontinua
- Počitatelná sada
- Popisná teorie množin
- Odhodlání
- Prázdná sada
- Nutí (matematika)
- Fuzzy množina
- Teorie interních množin
- Průnik (teorie množin)
- L
- L (R)
- Velký světový majetek
- Hudební teorie množin
- Pořadové číslo
- Napájecí sada
- Russellův paradox
- Teorie množin
- Sada (matematika)
- Jednoduché věty v algebře množin
- Podmnožina
- Theory (teorie množin)
- Strom (popisná teorie množin)
- Strom (teorie množin)
- Unie (teorie množin)
- Von Neumannův vesmír
- Nulové ostré
Popisná teorie množin
Velcí kardinálové
- Téměř Ramsey kardinál
- Erdős kardinál
- Rozšiřitelný kardinál
- Obrovský kardinál
- Kardinál Hyper-Woodin
- Nepřístupný kardinál
- Nevyhnutelný kardinál
- Mahlo kardinál
- Měřitelný kardinál
- N-velký kardinál
- Ramsey kardinál
- Hodnost do hodnosti
- Pozoruhodný kardinál
- Shelah kardinál
- Silný kardinál
- Kardinál je velmi nepřístupný
- Jemný kardinál
- Superkompaktní kardinál
- Supersilný kardinál
- Úplně nepopsatelný kardinál
- Slabě kompaktní kardinál
- Slabě kardinál hyper-Woodin
- Slabě nepřístupný kardinál
- Woodin kardinál
- Rozložitelný kardinál
Teorie rekurze
- Entscheidungsproblem
- Rozhodovací problém
- Rozhodnutelnost (logika)
- Church-Turingova teze
- Vypočitatelná funkce
- Kleenova věta o rekurzi
- Rekurzivně vyčíslitelná sada
- Rozhodnutelný jazyk
- Nerozhodnutelný jazyk
- Riceova věta
- Postova věta
- Turingův stupeň
- Efektivní výsledky v teorii čísel
- Diophantine set
- Matijasevičova věta
- Slovní úloha pro skupiny
- Aritmetická hierarchie
- Teorie subrekurze
- Přirozený důkaz
- Hyperpočítání
- Rózsa Péter
- Alonzo Church
- Emil Post
- Alan Turing
- Jacques Herbrand
- Haskell Curry
- Stephen Cole Kleene
- Definovatelné skutečné číslo
Teorie důkazů
- Metamatematika
- Odstranění řezu
- Tarskiho věta o nedefinovatelnosti
- Diagonální lemma
- Logika prokazatelnosti
- Logika interpretovatelnosti
- Následující
- Sekvenční počet
- Analytický důkaz
- Teorie strukturního důkazu
- Teorie sebeověřování
- Substrukturální logika
- Důkazová teoretická sémantika
- Ludics
- Systém F
- Gerhard Gentzen
- Gentzenův důkaz konzistence
- Reverzní matematika
- Nepředvídatelnost
- Interpretovatelnost
- Slabá interpretovatelnost
- Interinterpretovatelnost
- Tolerantní sekvence
- Sekvence kotolerantu
- Věta o dedukci
- Obvodový počet
Matematický konstruktivismus
- Nekonstruktivní důkaz
- Věta o existenci
- Intuicionistická logika
- Intuicionistická teorie typů
- Teorie typů
- Lambda kalkul
- Jednoduše zadaný lambda kalkul
- Zadaný počet lambda
- Curry – Howardův izomorfismus
- Počet konstrukcí
- Konstruktivistická analýza
- Lambda kostka
- Systém F
- Úvod do teorie topos
- LF (logický rámec)
- Logika vypočítatelnosti
- Vypočítatelná teorie míry
- Finismus
- Ultraintuionismus
- Luitzen Egbertus Jan Brouwer
Modální logika
Věta dokazuje
- Rozlišení prvního řádu
- Automatizované dokazování věty
- Prověřovač vět ACL2
- Prokazovač věty E
- Gandalfova věta
- HOL teorém prover
- Prokazatel věty Isabelle
- LCF teorém prover
- Vydavatel teorémové věty
- Prokazatel věty o paradoxu
- Prokazovatel věty o upírech
- Interaktivní kontrolní systém
- Systém Mizar
- QED projekt
- Coq
Objevovací systémy
Historický
Viz také
| Pole |
| ||||
|---|---|---|---|---|---|
| Nadace | |||||
| Seznamy |
| ||||