Intuicionistická logika
Téma již má řešitele.- Řešitel
- Jan Engler - Gymnázium, Obchodní akademie a Jazyková škola s právem státní jazykové zkoušky Hodonín, příspěvková organizace
- Instituce
- Masarykova univerzita
- Fakulta/ústav
- Fakulta přírodovědecká
- Další údaje o pracovišti
- Department of Mathematics and Statistics
- Lektoři
- Dominik Trnka
V klasické logice ztotožňujeme například tato dvě tvrzení: "Není pravda, že se mi koncert nelíbil" a "Koncert se mi líbil". Jistě ale cítíme, že v přirozeném jazyce je mezi tvrzeními rozdíl. Intuicionistická logika je určitý druh logiky, který rozšiřuje klasickou logiku - například druhé výše zmíněné tvrzení implikuje to první, ale ne naopak. Dále, pravdivostní hodnoty v klasické logice jsou pouze dvě - 1 nebo 0 (pravda nebo nepravda), kdežto pravdivostní hodnoty intuicionistické logiky souvisí s tzv. Heytingovými algebrami - pravdivostní hodnoty mohou být třeba otevřené podmnožiny přímky reálných čísel.
Cílem práce bude podrobněji prozkoumat, čím se liší intuicionistická logika od té klasické, a jak přesně do hry vstupují zmíněné Heytingovy algebry. Různá tvrzení, či jejich důkazy v intuicionistické logice lze snadno ověřovat na počítačí. Demonstrace takových ověření by mohla být velmi zajímavou částí práce.