Gödelian Logic

Applied to A dialog with the axiom of choice by AxiomWriter 9mo ago

Applied to Strange Loops - Self-Reference from Number Theory to AI by Yoav Ravid 1y ago

Applied to A Proof of Löb's Theorem using Computability Theory by MondSemmel 1y ago

Applied to Programming AGI is impossible by Áron Ecsenyi 2y ago

Applied to Threatening to do the impossible: A solution to spurious counterfactuals for functional decision theory via proof theory by Christopher King 2y ago

Applied to Meaningful things are those the universe possesses a semantics for by Abhimanyu Pallavi Sudhir 2y ago

Applied to Can we get around Godel's Incompleteness theorems and Turing undecidable problems via infinite computers? by Noosphere89 2y ago

Applied to Understanding Gödel's Incompleteness Theorem by Rafael Harth 3y ago

Applied to Coping with Undecidability by Morpheus 3y ago

Applied to Reflection in Probabilistic Logic by Yoav Ravid 3y ago

Applied to Second-Order Logic: The Controversy by Yoav Ravid 3y ago

Applied to What's going on with "provability"? by Yoav Ravid 3y ago

Applied to Clarification of AI Reflection Problem by Yoav Ravid 3y ago

Applied to You Provably Can't Trust Yourself by Yoav Ravid 3y ago