Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
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