User:Baojie/Books/Truth and AIT


Truth and AIT

edit
Algorithmic information theory
Algorithmic probability
Formal system
Gödel numbering
Gödel numbering for sequences
Gödel's incompleteness theorems
Kolmogorov complexity
Liar paradox
Logical truth
Semantic theory of truth