3 citations · 3 across the 4 of their papers we have counts for
1 paper · 2 filters
Stephen Boyce
It is generally accepted that the incompleteness of first-order number theory (PA) is established by an application of Godel's proof. This paper shows that the arithmetization of t…