Documents P resentace 15

Presentace 15 Teorie aritmetiky a Gödelovy výsledky o neúplnosti a nerozhodnutelnosti Kurt Gödel * Kurt Gödel * Hilbert calculus The set of axioms has to be decidable,…

Documents Lecture 13

* Kurt Gödel * Lecture 13 Arithmetics; Gödel’s incompleteness theorems Kurt Gödel * Kurt Gödel * Hilbert calculus The set of axioms has to be decidable, axiom schemes:…