Search

Subjects

Computer Science

(1)

Mathematics

(2)

Philosophy

(1)

Events

Content Types

Working Paper

(4)

Published Date

Over 3 years

(3)

Last 3 years

(1)

Last 12 months

(1)

Partners

Cambridge Open Engage

(4)

Keywords

Peano arithmetic

Authors

4 results in Keywords: Peano arithmetic

Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental

Version 1 posted 23 August 2021

106

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

74

Downloads

by Cambridge Open Engage

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

100

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

34

Downloads

by Cambridge Open Engage