Jump to content

User:Baojie/Books/Truth and AIT

From Wikipedia, the free encyclopedia


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