activity
20022011
most citedSome consequences of a recursive number-theoretic relation that is not the standard interpretation of any of its formal representations

8 citations · 17 across the 28 of their papers we have counts for

collaborators
Showing 2007Show all

1 paper · 1 filter

math.GM2007

Two presumptions in Goedel's interpretation of his own, formal, reasoning that are classically objectionable

Bhupinder Singh Anand

Standard expositions of Goedel's 1931 paper on undecidable arithmetical propositions are based on two presumptions in Goedel's 1931 interpretation of his own, formal, reasoning - o…