Proof sketch for Gödel's first incompleteness theorem | Wikipedia audio article

Proof sketch for Gödel's first incompleteness theorem | Wikipedia audio articleПодробнее

Gödel's speed-up theorem | Wikipedia audio articleПодробнее