R.A.B. Hemerik

info

Please Note

<p>This page displays the records of the person named above and is not linked to a unique person identifier. This record may need to be merged to a profile.</p>

Bachelor thesis (1)

1 records found

De onvolledigheid van theorieën en de ondefinieerbaarheid en onberekenbaarheid van waarheid, bewezen met de paradox van Berry

Bachelor thesis (2019) - Roel Hemerik , Klaas Pieter Hart

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.