Matematická logika

Z Wikipedie, otevřené encyklopedie
Skočit na: Navigace, Hledání

Matematická logika je vědní disciplína nacházející se na rozhraní mezi logikou a matematikou. Zabývá se zkoumáním, formalizováním a matematizováním zejména těch oblastí logiky, na jejichž základech je postavena matematika. V centru jejího zájmu jsou pojmy jako důkaz, teorie, axiomatizace, model, bezespornost, úplnost, rozhodnutelnost.

Základní disciplíny[editovat | editovat zdroj]

Současná matematická logika se dělí na tři rozsáhlé disciplíny, které spolu úzce souvisejí. Jsou to teorie důkazu, teorie modelů a teorie aritmetiky.

Související články[editovat | editovat zdroj]