![Set theory / Berry paradox / Constructible universe / Ordinal numbers / Computability theory / Definable real number / Proof theory / Ordinal definable set / Mathematical logic / Mathematics / Philosophy of mathematics Set theory / Berry paradox / Constructible universe / Ordinal numbers / Computability theory / Definable real number / Proof theory / Ordinal definable set / Mathematical logic / Mathematics / Philosophy of mathematics](https://www.pdfsearch.io/img/de35288ce22e83f4ed05fa27c860a5bf.jpg) Date: 2008-05-15 07:08:03Set theory Berry paradox Constructible universe Ordinal numbers Computability theory Definable real number Proof theory Ordinal definable set Mathematical logic Mathematics Philosophy of mathematics | | Lecture 4: Is that Really Revising Logic? König’s paradox (and Berry’s variant). Let L be any language whose formulas are finite strings of finitely many basic symbols. Then (K1)Add to Reading ListSource URL: www.philosophy.ox.ac.ukDownload Document from Source Website File Size: 116,51 KBShare Document on Facebook
|