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)

Source URL: www.philosophy.ox.ac.uk

• Set theory
• Berry paradox
• Constructible universe
• Ordinal numbers
• Computability theory
• Definable real number
• Proof theory
• Ordinal definable set
• Mathematical logic
• Mathematics
• Philosophy of mathematics

Fundamenteel en praktisch omgaan met het leven – Francis Berry-Evans Het leven is een paradox. Wij zeggen: ‘Klein beginnen; gebruik een geleidelijke benadering.’ Wij lezen gewoonlijk heen

Source URL: www.theosofie.nl