Problems and solutions in the framework of procedural semantics

Autoři

PEZLAR Ivo

Rok publikování 2014
Druh Vyžádané přednášky
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis We examine two possible approaches to the formal treatment of the notion of problem in the paradigm of procedural semantics. More specifically, we will explore an approach based on Martin-Löf's Constructive Type Theory (abbr. CTT), which can be seen as a direct continuation of Kolmogorov's original calculus of problems, and an approach utilizing Tichý's Transparent Intensional Logic (abbr. TIL), which can be viewed as a realist attempt of interpreting Kolmogorov's logic of problems.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.