Search

4 results in Keywords: Peano arithmetic

Fermat’s last theorem proved in Hilbert arithmetic. I. From the proof by induction to the viewpoint of Hilbert arithmetic

Version 1 posted 11 March 2022

69

Downloads

by Cambridge Open Engage

Fermat’s last theorem proved in Hilbert arithmetic. III. The quantum-information unification of Fermat’s last theorem and Gleason’s theorem

Version 1 posted 21 June 2022

51

Downloads

by Cambridge Open Engage

Computer Science

The Champernowne constant as a “Gödelian real”: rational in arithmetic, but transcendental in arithmetic & set theory. A link to the “P vs NP” problem?

Version 1 posted 25 May 2025

11

Downloads

by Cambridge Open Engage

Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental

Version 1 posted 23 August 2021

87

Downloads

by Cambridge Open Engage