329 citations · 459 across the 19 of their papers we have counts for
1 paper · 1 filter
Aaron Bryce, Rajeev Gore'
Gentzen's 1936 proof of the consistency of Peano Arithmetic was a significant result in the foundations of mathematics. We provide here a modified version of the proof, based on Gö…