UPDF AI

Gödel's incompleteness theorem in a nutshell

M. Lobo

2019 · DOI: 10.31219/osf.io/gphsk
0 Citations

Abstract

We present a microversion of Gödel's theorem.