Lecture 4: Is that Really Revising Logic - Definable set - Document - PDFSEARCH.IO

First Page	Meta Content
	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 List Document Date: 2008-05-15 07:08:03 Open Document File Size: 116,51 KB Share Result on Facebook IndustryTerm classical solutions / non-classical solution / logic solutions / non-classical logic solution / / Person Bertrand Russell / / SocialTag Set theory Berry paradox Constructible universe Ordinal numbers Computability theory Definable real number Proof theory Ordinal definable set Mathematical logic 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 List