De onvolledigheid van theorieën en de ondefinieerbaarheid en onberekenbaarheid van waarheid, bewezen met de paradox van Berry
R.A.B. Hemerik (TU Delft - Electrical Engineering, Mathematics and Computer Science)
Klaas Pieter Hart – Mentor (TU Delft - Analysis)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
We explore the proof Boolos has given for Gödel's first incompleteness theorem, which has a lot of similarities with Berry's Paradox. Then we give a proof for Tarski's theorem about the undefinability of truth and Turing's solution for the Entscheidungsproblem in a similar way.