research
∙
08/09/2022
Incompleteness for stably computable formal systems
We prove, for stably computably enumerable formal systems, direct analog...
share
research
∙
01/21/2020
Turing analogues of Gödel statements and computability of intelligence
We show that there is a mathematical obstruction to complete Turing comp...
research
∙
10/12/2018
