22 citations · 26 across the 30 of their papers we have counts for
1 paper · 2 filters
Yasha Savelyev
We give a reframing of Godel's first and second incompleteness theorems that applies even to some undefinable theories of arithmetic. The usual Hilbert-Bernays provability conditio…