Charles Explorer logo
🇨🇿

Kapitoly z klasické logiky

Předmět na Filozofická fakulta |
ALG500003

Anotace

Věnováno různým ne nutně souvisejícím tématům z metamatematiky, neklasických logik a teorie důkazů. Například: autoreference a Logika dokazatelnosti, vztahy mezi variantami teorie množin, kombinatorické principy nezávislé na PA, eliminovatelnost řezů a její kvantitativní aspekty, Gentzenův důkaz bezespornosti PA.

Některá témata přednášejí studenti.