1

The core of Godel's logical and mathematical achievements is comprised of a remarkable series of demonstrations concerning formal underivability, beginning with his completeness theorem which shows that any statement formally underivable from first-order axioms can in principle be shown to be so by a model. He soon discovered the underivability in formal number theory of a statement formalizing the assertion of its consistency, as well as a host of other sentences formalizing, their own underivability, qualifying them as prima facie candidates for 'intuitive truths'. [1][1] In a paper "Is Mathematics Syntax of Language ?" written... This appeared to contrast with the parallel postulate, the discovery of whose underivability from Euclid's other axioms had led most mathematicians to regard the question of its truth as meaningless within mathematics. Then there was Godel's proof of the consistency of Cantor's continuum hypothesis with the axioms of set theory, showing the impossibility of deriving its denial from them. But neither this nor Cohen's later proof of its own underivability from them would stop Godel from looking for new 'set theoretical intuitions' that might settle the matter, which he will distinguish from the 'apriori physical intuition' he sees in geometrical intuition. Finally, perhaps the most spectacular of all his discoveries, Godel showed the impossibility of deriving the asymmetry of the relation of temporal precedence from the field equations of general relativity, leaving us unable to prove from the laws of nature the first and foremost property our ' intuitive notion of time'. Godel saw in this result grounds for claiming the essential compatability of Kant's philosophy with relativity theory, and indeed as a proof of his thesis of the ideality of time, one which we shall examine at length after first comparing his approach to intuition with that of Hilbert and Kant.

2

All but the last of these discoveries were solutions or contributions to problems posed by Hilbert who along with Kant found in the discovery of impossibility proofs the strongest evidence for the solvability of all mathematical problems. In opposition to the growing opinion that the development and arithmetization of analysis had discredited if not eliminated the appeal to intuition in mathematics, Hilbert formulated an account of the origin and growth of mathematic theories as a continual interplay of physical idealizations, intuitions, and formal thought. In analyzing the role of intuition in this broadly dialectical development Hilbert appeals to Kantian intuition of which he undertakes in the context of geometry, a logical analysis. Godel's attempt to derive Kant's ideality of time from relativity theory obliges him to consider the role of Kantian intuition in this context in a more psychologistic manner than did Hilbert. He also argues that in trying to prove the consistency of formal theories Hilbert unduly restricted Kant's Anschauung to finite discrete configurations of symbols, and that for the development of mathematical theories one will need appeal to much stronger set theoretical intuitions. Indeed, since Godel also based his philosophy on what Wang called a "dialectic between our idealizations, thoughts and intuitions", [2][2] As we learn from his conversations with Godel reported... it is instructive to view his articulation of this philosophy as a development of the dialectic first laid out as the background of Hilbert's 23 mathematical problems and later refined in his metamathematical problems about formalisms in the 1920's.

3

Hilbert's philosophy of mathematics in 1900 took the form of (i) a theory of the sources of mathematical problems, (ii) an account of the rigor required for their solutions, and (iii) his rationale for believing that all such well-posed problems were solvable. He found the origin of mathematical problems "in the world of external phenomena" as eventually described in geometry, mechanics, astronomy, and physics. But, says Hilbert, "in further development of a branch of mathematics : the human mind, encouraged by the success of its solutions, becomes conscious of its independence. It evolves from itself alone, often without appreciable influence from without, by means of logical combination, generalization, specialization...new and fruitful problems, and then appears itself as the real questioner." [3][3] "Mathematical Problems", Bulletin of the American Mathematical... Then, "while the creative power of pure reason is at work, the outer world comes into play again, forcing upon us new questions from actual experience, opening up new branches of mathematics... And it seems to me that the numerous and surprising analogies and that apparently prearranged harmony which the mathematician so often perceives in the questions, methods, and ideas of the various branches of his science, have their origin in this ever recurring interplay of thought and experience." [4][4] Ibid, p. 440. In 1923 Hilbert envisages the development of the mathematical sciences as comprised of a 'constant interplay' between the formal derivation of theorems of a formalism and the intuitive proof of its consistency upon the addition of ever new axioms. [5][5] "Logical Foundations of Mathematics", in From Kant...

4

As for rigor Hilbert required that "it shall be possible to establish the
correctness of the solution by means of a finite number of steps based on
a finite number of hypotheses which are implied in the statement of the
problem and which must always be exactly formulated." [6][6] "Mathematical Problems", p. 441. This demand
was more radical in 1900 than it now seems, for these 'hypotheses' are
just the axioms that Hilbert implied must be found for any branch of
mathematics, contrary to the prevailing view that the most important such
branches were suspended in mathematical thought free of any axioms or
hypotheses. He also opposed a related view "advocated by eminent men"
that rigor resided only in arithmetic and analysis, a view which, taken
seriously, "would soon lead to ignoring all concepts arising from geometry, mechanics, and physics, to a stoppage of the flow of new material
from the outside world, and finally... to the rejection of the idea of the
continuum and of the irrational number." [7][7] Ibid, p.442. It is interesting that by 1920 Hilbert... Thus Weierstrass' arithmetization of analysis used dialectic e-8 rigor to define irrational numbers independently of any limits presupposing such numbers, but he insisted that
the arithmetic to which he had reduced analysis neither *had nor needed
any axioms,* making it all the more difficult for him to discuss
Kronecker's claim that irrational numbers did not exist ! Nor was
Weierstrass alone : Cantor not only agreed that it was impossible to formulate any axioms for arithmetic, but took Newton's 'Hypotheses non fingo'
as the motto of his set theory, denying that it based on anything but his
definition of a set as 'any collection into a whole of definite objects of my
thought or intuition'. [8][8] G. Cantor' Gesammelte Abhondlungen. mathematischen... Only 'metageometers' steeped in the tradition of
axiomatic geometry, said Cantor, could imagine that arithmetic even
admitted axioms. By means of analytic geometry even this discipline
could be reduced to analysis. Hilbert's *Festschrift,* however, which he
called 'a logical analysis of spatial intuition,' had just reversed this
process by constructing various kinds of fields out of segments by means
of geometrical propositions. He alluded to this in his lecture on mathematical problems by saying that the rigorous use geometrical figures, which
he calls "memonic symbols of space intuition", requires "a rigorous
axiomatic investigation of their conceptual content". [9][9] "Mathematical Problems", p 443. With Pascal's theorem,... But the same was
true, he insisted, of the arithmetic symbols which are nothing but 'written
diagrams' governed by suitable axioms no less than the 'graphic formulas' of geometry.

5

As hard as some of his problems were, Hilbert argued his audience
that all well-posed mathematical problems were solvable in principle,
reminding them that "Occasionally it happens that we seek the solution
under insufficient hypotheses or in an incorrect sense and for this reason
we do not succeed. The problem then arises : to show the impossibility of
the solution under the given hypotheses, or in the sense contemplated.. . In
later mathematics, the question as to the impossibility of certain solutions
plays a prominent part, and we perceive in this way the old and difficult
problems, such as the proof of the axiom of parallels, the squaring of the
circle, or the solutions of equations of the fifth degree by radicals have
finally found full satisfactory and rigorous solutions, although in another
sense than originally intended. It is probably this important fact along
with other philosophical reasons that gives rise to the conviction (which
every mathematician shares, but not one has yet proved), that every definite mathematical problem must necessarily be susceptible of an exact
settlement, either in the form of an actual answer to the question asked, or
by a proof of the impossibility of its solution." [10][10] Ibid, p. 444 For example Hilbert
could only call his *Festschrift* a 'logical analysis of spatial intuition' by
virtue of its non-derivability and embedding theorems enabling him to
establish the role of the space axioms as well as Desargues' theorem as
their logical surrogate in the plane. Accordingly, "its ground rule was to
discuss every question that arises in such a way as to find out whether it
can be answered in a specified way with some limited means." [11][11] D. Hilbert : Foundations of Geometry, 1971. p. 106 For this
reason the drive for knowledge cannot advance without establishing
impossibility theorems, and the reason Hilbert and his contemporaries
took their proofs as the most convincing evidence for the solvability thesis was that in such cases one had found a solution despite groping for
centuries in the wrong direction, after which one still had to carefully
analyze and formulate in appropriate language the 'limited means' permitted for their solution. [12][12] Kant's belief in the decidability of mathematics seems...

6

Godel shared Hilbert's belief in the solvability thesis which he took as
a premise, along with his incompleteness theorem, of an argument to
show that the human mind can prove more theorems than any machine.
Godel, however, based his belief in the thesis on the accumulation of positive results in number theory and diophantine equations, whereas Hilbert
would have found the negative solution of his 10^{th} problem on deciding
diophantine equations by 'a finite process' an even stronger confirmation
of it for requiring a successful analysis of such 'finite processes'. Godel's
incompleteness theorem was another such solution to one of Hilbert's
1928 list of metamathematical problems. He also solved important cases
of Hilbert's Entscheidungsproblem, but his most important contribution
to this problem turned out to be all those undecidable sentences found in
his first theorem. Turing's negative solution to this problem depends on
what Godel regarded as his 'correct and unique' analysis of 'the intuitive
notion of a mechanical process.' Turing realized, however, that it was precisely all those nameless undecidable sentences unearthed by Godel that
prevented one from refuting his analysis by any kind of diagonal argument that was explicit enough to be expressed in a formal system. [13][13] As A. Watson : "Mathematics and its Foundations", Mind...

7

Hilbert proposed to meet Brouwer's objection to the application of
classical logic to an infinite domain by proving the consistency of formal
number theory by reasoning based on 'the intuition of the finite.' Godel
demonstrated in 1931 that the consistency of such a system could not be
proved *in* P if in fact-P was consistent, but he stressed that the result "does
not contradict Hilbert's formalistic standpoint. For this viewpoint presupposes only the existence of a consistency proof in which nothing but finitary means of proof is used, and it is conceivable that there exist finitary
proofs that cannot be expressed in the formalism of P." [14][14] Gl.p 195 Indeed Gentzen
claimed his consistency proof for number theory using transfinite induction up to e_{()}, *was* finitary, arguing that in the progression through the ordinals beyond to to e_{0} "nothing new ever really occurs". [15][15] The Collected Papers of Gerhard Gentzen, 1969, p. ... In his analysis of
Gentzen's proof in 1938a Godel granted one *could* give "an *intuitive picture of this* number", even a "very intuitive construction procedure" for it
"by the countable iteration of the transition from a to 2^{a}. [16][16] G3, pp 105,107. e_{0} is only
"immediately given" once this transition is : "Nonetheless, one will not
deny a high degree of intuitiveness to the inference by induction on e_{0}
thus defined, as in general to the procedure of *defining an ordinal by
induction on ordinals* (though this is an impredicative procedure)". While
expressing a high regard for Hilbert's goal of proving consistency "in a
purely intuitive and finitary way" Godel later concluded that "What
Hilbert means by 'Anschauung' is substantially Kant's space-time intuition confined, however, to configurations of a finite number of discrete
objects.. .it is Hilbert's insistence on *concrete* knowledge that makes finitary so surprisingly weak and excludes many things that are just as incontrovertibly evident to everybody as finitary number theory, e.g. the general principle of primitive recursive definition, because it contains the
abstract concept of function. There is nothing in the term 'finitary' which
would suggest a restriction to concrete knowledge. Only Hilbert's special
interpretation of it introduces this restriction." [17][17] G2, p. 272. See note 49. For the emergence of this... Gentzen's principles of
induction and accessibility of ordinals, Godel now said, "create the deceptive impression of being based on a *concrete intuition* of certain *infinite*
procedures, such a 'counting beyond co'or 'running through' the ordinals
smaller than an ordinal a. We do have such an intuition but it does not
reach very far in the series of ordinals, certainly no further than
finitism." [18][18] Ibid, p. 272 Godel was convinced that Gentzen's induction "cannot be
made *immediately* evident, as is possible...in the case of co^{2}." [19][19] Ibid, p. 273. But he
admitted that "due to a lack of a precise definition of either concrete or
abstract evidence there exists, today, no rigorous proof of the insufficient
(even for the consistency proof of number theory) of finitary mathematics." [20][20] Ibid, p. 273 Godel was convinced that we need abstract knowledge in addition
to concrete intuition, but not necessarily as a matter of principle, conceding rather that "Whether the necessity of abstract concepts for the proof
of induction from a certain point on in the series of constructive ordinals
is due solely to the impossibility of grasping intuitively the complicated
(through only *finitely* complicated) combinatorial relation involved or
arise for some essential reason, cannot be decided off hand." [21][21] Ibid, p. 273-4. In particular, Godel was not convinced...

8

Wang has emphasized that Godel's own sense of intuition represents
'a vast extension of Kant's conception of Anschauung' which Hilbert had
adapted to the demands of metamathematical investigations, as a brief
review of the extent of Godel's intuitions is set theory will show. It will
also lead us to *his* analysis of Kant' 'space-time intuition', specifically, of
the euclidean space intuition and the intuitive concept of time on which
he believes Kant rested his account of intuition.

9

Godel stressed that the question of the truth of a sentence of a mathematical theory need not lose its meaning when its independence from the
axioms is established, in set-theory than in geometry : "the difference is
only that in geometry the meaning usually adopted today refers to physics
rather than to mathematical intuition, and that therefore a decision falls
outside the range of mathematics." [22][22] Ibid, p. 267. In contrast to Cantor's adoption of 'hypotheses... The objects of set theory do not
belong to the physical world, according to Godel, having only 'a loose
indirect connection' with it due to the minor role played by set theory in
the physical sciences : "but despite their remoteness from sense experience, we do have something like a perception also of the objects of set
theory, as is seen from the fact that the axioms force themselves on us as
being true. I don't see any reason why we should have less confidence in
this kind of perception, i.e. in *mathematical intuition,* than in sense perception which induces us to build up physical theories and ....to believe
that a question not decided now *may* be decide in the *future....* That new
mathematical intuitions leading to a decision of such problems as
Cantor's continuum hypothesis are perfectly possible." [23][23] Ibid, p. 268.

10

Indeed, Godel believed this hypothesis would "turn out to be wrong" by virtue of implying the existence of certain 'thin' subsets of the real line that he regarded as "paradoxical consequences" violating his set theoretical intuitions. He granted that point set theory had also reached some "highly unexpected and implausible" results without using Cantor's hypothesis, but "still the situation is different there, insofar as in those instances (such as, e.g. Peano's curves) the appearance to the contrary can in general be explained by the lack of agreement between our intuitive geometrical concepts and the set theoretical ones occurring in the theorems." [24][24] Ibid, p. 264. But the balance of expert opinion has weighed against Godel here, in seeing neither the implausibility of his 'paradoxical consequences' of Cantor's hypothesis nor any essential difference between them and cases like the Peano curve. [25][25] See p. 165 of G. Moore's introductory note in G2 for...

11

However new axioms might force themselves on us as true, the intuition that underwrites them takes time to develop : as time passes "more
and more abstract terms enter the sphere of our understanding". [26][26] G2, p.306. In his
critique of what he called the "philosophical error" of Turing's argument
that "mental procedures cannot go beyond mechanical procedures",
Godel argued that the discovery of "systematic methods of actualizing
this development" would show that "although at each stage the number
and precision of abstract terms at our disposal may *be finite,* both (and,
therefore, also Turing's number of *distinguishable states of mind)* may
*converge toward infinity* in the course of the development of the procedure." [27][27] Ibid, p. 306. Godel says that "something like this... Godel's claim that Turing disregarded that *"mind, in its use, is not
static, but constantly developing "* presupposes that the collection of states
of mind as well as its fund of abstract concepts is really changing in time
as it proves more and more theorems from axioms intuited in newly distinguished epistemic states. But unlike Brouwer, who grounded mathematics on a Kantian intuition of time, Godel does not incorporate this
temporal dimension of mathematical activity into the epistemology of
mathematics, but rather tries to demonstrate the unreality of time implicit in Kant's thesis of the ideality of time, which indeed was the 'conclusion' Kant drew from the fact that time was a pure intuition. But since his
final proof of this fact in the B-deduction of the categories depends via its
linear representation on the ideality of space, we first need to look at how
Godel connected his own intuition to Kantian categories as well as his
view of Kant' intuition of space.

12

Godel grants that "mathematical intuition need not be conceived as a
faculty giving *immediate* knowledge of the objects concerned. Rather it
seems that as in the case of physical experience *we form* our ides of those
objects on the basis of something else which *is* immediately given. Only
this something else is *not.*..the sensations". Godel thinks that this something else is indicated by our need for a 'concept of an object', even to
perceive physical objects and suggests that the given underlying mathematics is "closely related to the abstract elements in our empirical
ideas". [28][28] Ibid, p. 268. He insists that being uncaused by anything impinging on our
sense organs does *not* make this 'something else *subjective* as it was for
Kant, though he does see "a close relationship between the concept of a
set...and the categories of pure understanding in Kant's sense." [29][29] Ibid, p. 268. But the
mere existence of this mathematical intuition is enough to give meaning
to the continuum hypothesis despite its independence from our current
axioms, unlike the case, he thinks, of Euclid's parallel postulate.

13

Thus it happened that when Greenberg asked Godel's permission to
quote his famous passage we have been dissecting in his book on geometry, Godel granted it only on the condition that he point out to the reader that this passage was dealing with *'set theoretical* as opposed to geometrical intuition', and then add the explanation that according to Godel :
"Geometrical intuition, strictly speaking, is not mathematical, but rather
*apriori* physical intuition. In its purely mathematical aspect our Euclidian
space intuition is perfectly correct, namely, it represents correctly a certain structure existing in the realm of mathematical objects. Even physically it is correct 'in the small'". [30][30] G4, p. 454-5. This 'certain structure' correctly represented by our Euclidean space intuition is just the arithmetical model constructed by Hilbert to prove the consistency of the axioms of Euclidean
geometry. Godel's remark echoes Hilbert's claim to Frege that 'the more
precise propositions' of Euclid's geometry do not hold in nature but only
in an algebraic structure. Neither Hilbert nor Godel would say that these
axioms of Euclid are true *per se* but only that they hold in a model. Frege
had replied that Euclidean geometry was *obviously* consistent since all its
axioms were *true* - period. While Godel's claim that 'our Euclidean space
intuition only holds exactly in a model may seem to lean to Hilbert's side
in this matter, his belief that out space intuition is Euclidean after all
shows some sympathy Frege's attitude.

14

This raises a question Greenberg, in thanking Godel for his permission, could not resist putting to him : "Are you here equating "geometrical
intuition with 'Euclidean space intuition'? If so, perhaps I should emphasize that my book will be titled *Euclidean and Non-Euclidean
Geometries.* What about the intuition of J. Bolyai and Lobachevsky had
for Hyperbolic Geometry before it was shown that there were Euclidean
models ? What about Riemann's intuition ? It seems to me that your
remarks which I quoted *do* apply to Non-Euclidean Geometry, not just to
set theory (as you qualified them in your letter to me). Am I mistaken ?" [31][31] Ibid, p. 455.
Greenberg knew that Bolyai and Lobachevsky believed in the truth of
their axioms as much as Godel in the axioms of set theory, and that his
explanation of the truth of Euclid's axioms applied equally to theirs : they
hold in a structure existing in the mathematical universe. Were not their
intuitions of this structure as legitimate as Godel's of his preferred structure of sets ? Was the hyperbolic pathology any more vexing to space intuition that the paradoxes to 'set theoretical intuition'?

15

Godel was somewhat taken aback by Greenberg's question but was
prepared to admit that our intuitions can be altered by training and practice. He drafted a reply in which he wrote that : "I am not sufficiently well
acquainted with the original papers of Lobachevsky, Bolyai, and Riemann
to know whether they claimed to have developed a non-Euclidean space
*intuition.* Note that for developing a theory from given axioms an *intuition* of its objects is quite unnecessary. If you can quote to me statements
by them or bring reports to this effect I'll be very much interested. It is not
impossible that out of the Euclidean space intuition (which we all have) a
non-Euclidean space intuition could be developed by combining its elements differently by sufficient practice...even though in order to do that
one would have to solve, e.g. the problem of imagining two lines assymtotically approximating each other and being at the same time everywhere
concave toward each other (which exists *trivially* in hyperbolic geometry)". [32][32] G4, p. 455. Godel never sent this letter. These remarks show that Godel had in fact equated geometrical
intuition with Euclidean space intuition, and that Greenberg's question
had prompted him to reconsider a line of thought he had explored over
may years concerning the compatibility of what the took to be Kant's
view that we have "an innate intuition of Euclidean space" with relativity theory.

16

In 1946/9-C1 Godel claimed that Kant may be right in the sense that
"we should have a Euclidean 'form of sense perception', i.e. that we
should possess an apriori representation of Euclidean space and be able to
form images of outer objects only by projecting our sensations on the representation of space, so that, even if we were born in some strongly non-Euclidean world, we would nevertheless invariably imagine space to be
Euclidean..." [33][33] G3. p. 255, fn. 20. By "referring to reality" Godel... Godel defined geometrical concepts satisfying Euclid's
axioms in a non-euclidean world, showing that "an innate Euclidean geometrical intuition which refers to reality and is apriori valid is logically
possible and compatible with the existence of non-Euclidean geometry
and with relativity theory." [34][34] Ibid. p. 255, fn. 20. However, wrote Godel, "I do not think the
question whether we have an innate intuition of Euclidean space... has yet
been decided; nor the related question whether we are able (in our world)
to learn to imagine a non-euclidean space." [35][35] Ibid.p 257 If Godel's notion of imagination here is no less psychologistic that that of Descartes, according to
whom we cannot *imagine* a chiliagon - since we cannot "intuit by our
powers of discernment" all of its 1000 sides as distinctly present to our
mind - the same may thus be true of his notion of geometrical intuition as
well.

17

In 1961 Godel returned to the status of Kant's views of geometry,
intuition, and the solvability of mathematical problems in the light of
modern developments in the axiomatization of geometry as well as his
own discovery of the incompleteability of arithmetic. Godel argues that
"the intuitive grasping of ever new axioms" necessary for the solvability
of all problems even in the limited domain of arithmetic "agrees with the
Kantian conception of mathematics. The relevant utterances by Kant are,
it is true, incorrect if taken literally, since Kant asserts that in the derivation of geometrical theorems we always need new geometrical intuitions,
and therefore a purely logical derivation from a finite number of axioms
is impossible. That is demonstrably false. However, if in this proposition
we replace the term 'geometrical' by 'mathematical' or 'set theoretical',
then it becomes a demonstrably true proposition." [36][36] Ibid, p. 385. Although Kant was
wrong to (allegedly) assume the impossibility of finitely axiomatizing
geometry (something Godel presumably took Hilbert to have shown in his
*Festschrift),* his views of mathematics "in a broader sense contain deep
truth". [37][37] Ibid.p 385. Specifically Godel grants that "It is not at all excluded by the
negative results mentioned earlier that nevertheless every clearly posed
yes-or-no question is solvable in this way." [38][38] Ibid.p. 385. See note 12. However, Godel's claim that
'the relevant utterances by Kant' implied his belief that geometrical
proofs would require 'ever new axioms' and 'always need new geometrical intuitions' is seriously in error, if, as seems plausible, he meant the
famous passage at A717 where Kant explains how the geometer demonstrates Euclid's angle sum theorem by drawing an auxiliary parallel
whereupon his proof is 'guided throughout by intuition'. [39][39] G3, p. 367. When Kant
wrote this passage he was unaware of there being any 'problem of parallels' but when on being apprised of it shortly after he explored the matter
extensively, he came to the conclusion that the key fact (equivalent to the
axiom of parallels) needed to prove this theorem could itself only be
proved "philosophically from concepts". Indeed, any reference to
"Anshauung" is conspicuous by its absence from Kant's reflections on the
whole matter. [40][40] See Kants Gesammette Schriften, Vol. 14, pp. 22-51.1... This circumstance undercuts any way of finding in Kant a
conscious commitment to any innate Euclidean space intuition, but we can
still look for a less psychologistic account of Kantian space intuition than
Godel's that respects its strengths while better respecting Kant's texts.

18

We have seen that according to Godel, Hilbert's 'Anschauung' was
basically 'Kant's space-time intuition confined to configurations of a
finite number of discrete objects'. Godel had in mind here Hilbert's
famous concession to Kant that as a precondition of the application of logical inference to infinite domains "something must already be given to our
faculty of representation, certain extralogical concrete objects that are
intuitively present as immediate experience prior to all thought. If logical
inference is to be reliable, it must be possible to survey these objects completely in all their parts, and the fact that they occur, that they differ from
one another, or are concatenated, is immediately given intuitively, together with the objects, as something that neither can be reduced to anything
else nor requires reduction." [41][41] "On the Infinite", in From Frege to Godel, edited by... The role of the infinite, said Hilbert, is
"merely that of an idea - if, in accordance with Kant's words, we understand by an idea a concept of reason that transcends all experience and
through which the concrete is completed so as to form a totality." [42][42] Ibid.p. 392. He
also reaffirmed his belief he shared with Kant in the solvability of all
mathematical problems, though with an important qualification : "Now, to
be sure, my proof theory cannot specify a general method for solving
every mathematical problem; that does not exist." [43][43] Ibid, p. 384. Was Hilbert expressing disbelief in a positive solution to his Entscheidungsproblem, and if so,
why ? The seeds for such disbelief were sown in the *Festschrift* for whose
'logical analysis of spatial intuition' Hilbert had chosen as a motto Kant's
famous conclusion of the *Dialectic* that "all human cognition begins with
intuitions, goes forth from there to concepts, and ends with ideas."
(A702/B730)

19

Hilbert separated his axioms into five groups, those of incidence
(plane and space), order, congruence, parallelism, and continuity, "each of
which express certain basis facts of our intuition which belong together" [44][44] Lectures, p. 437.
But from his earliest lectures of 1891 on geometry the incidence axioms
were *the* Grundgestze der Anschauung, the simplest and most direct
expression of our space intuition being the space axioms about planes,
whose most immediate consequence he calls the Raumsatz. viz
Desargues' theorem. [45][45] Lectures, p. 31. The theorem states that two triangles... This theorem can be used to prove the plane case
(D) of Desargues by projection; but Hilbert constructed an ingenious
model to show that (D) cannot be proved from the axioms of a plane incidence, order, parallels, and continuity alone without using those of congruence, which he calls Bewegungsaxiome since they formalize the concept at the motion of rigid bodies. [46][46] Lectures, xi- 104-5. p. 166. On the other hand Hilbert shows that
(D) is all one needs to prove that the space axioms hold of the 'space
points, lines and planes' one can define in the plane. Together with the
non-derivability of (D) in the plane, this embedding shows, as Hilbert puts
it, that "Desargues' theorem is the only one which the plane gains for itself
from space and we could say that everything is provable with Desargues
in the plane that is provable in space generally." [47][47] Lectures, p. 240. This result is part of Hilbert's... Hilbert also shows that
(D) is sufficient to prove all the algebraic laws of a field for his
Streckenrechnung except the commutativity of its multiplication, which
he shows to be equivalent to Pascal's theorem (P). The key result here is
(H):(P) cannot be proved from the axioms of incidence, order, and parallels even if (D) is assumed,
which Hilbert established by constructing a rather complicated non-Archimedian model, showing that in the absence of the concept of a rigid
motion one cannot prove (P) from (D) in the plane without continuity
axioms requiring appeal to some idea of infinite series or sets. [48][48] Lectures, pp. 506-10. As for his
Kant motto, Hilbert *could* have said fairly straightforwardly that his logical analysis shows that if we begin our cognition of space with the simplest *intuitions* of planes, they yield (D) immediately in space : but to
prove it in the plane it is necessary to introduce a *concept* of congruence
'foreign' to (D), while to prove (P) in order to do analytic geometry without this concept it is necessary to introduce continuity axioms involving
an *idea* of infinity. [49][49] Recall that the key space axiom that a unique plane...

20

As for the Entscheidungsproblem, Hilbert and Ackerman *did* motivate
its importance in 1928 precisely be reference to (H): they construct a first
order formula which they show would be valid were (H) false, so that a
positive solution to this problem would have enabled Hilbert to have discovered his non-Archimean model establishing (H) by a purely mechanical calculation ! [50][50] D. Hilbert and W Ackermann : Grundziige der theoretischen... I dare say he would have been loathe to believe this,
given the difficulty he had personally experienced just sorting out the logical relations between (D) and (P), let alone concocting models to demonstrate the impossibility of deriving the full congruence axiom for triangles
from that restricted to triangles of the same orientation without continuity. It seems plausible that, when Hilbert claimed in 1926 that his proof
theory 'cannot specify a general method for solving every mathematical
problem, that does not exist', he was thinking at least of the unlikelihood
that all the effort and ingenuity he had expended in constructing models
to establish necessary conditions of geometrical theorems could have
been spared by routine calculation. [51][51] J. von Neumann : "Zur Hilbertschen Beweistheorie",... No wonder it was called the 'leading problem of mathematical logic'. Nevertheless, its negative solution by
Church and Turing surely comprised the very sort of impossibility result
that had persuaded Hilbert, Kant and others of the solvability of all mathematical problems. It is unclear whether Godel found this quite as persuasive, or what he thought of Hilbert's modest logical analysis of space intuition as opposed to his own psychologistic and physicalist analysis of
Kant's innate intuition of Euclidean space. In any case, Kant's theory of
time as the form of inner intuition is the real lynchpin of his philosophy.

21

This brings us to Godel's most remarkable discovery, namely, that one
cannot derive the asymmetry of the relation of temporal precedence from
the postulates and equations of general relativity. In fact, Godel tells us
that he discovered his rotating solutions that establish this result "while
working on the relationship between Kant and relativity theory and, more
particularly, on the similarity which subsists between Kant and relativistic physics insofar as in both theories the objective existence of a time in
the Newtonian sense is denied." [52][52] G3, p. 274. In view of its principle of the relativity
of simultaneity, Godel thought that the special theory of relativity already
precludes any objective meaning for judgments of the simultaneity and
temporal precedence of events A and B "insofar as another observer, with
the same claim to correctness, can assert that A and B are not simultaneous (or that B happened before A)." [53][53] G2, p. 202 This relativity of simultaneity,
Godel believed, would of itself have far reaching consequences for our
"intuitive idea" of time, comprising "an unequivocal proof for the view of
those philosophers who, like Parmenides, Kant, and the modern idealists,
deny the objectivity of change and consider change as an illusion or an
appearance due to our special mode of perception." [54][54] Ibid.p. 202. But *did* Kant deny
the objective reality of Newtonian time ? In the *Dissertation* he defended
his thesis that "time is not something objective and real" by arguing that
neither Newton's not Leibniz' account of its objective reality were adequate. Newton's idea of time as "a continuous flux within existence was
a most absurd fabrication", while Leibniz' account "completely neglects
*simultaneity,* the most important corollary of time." [55][55] Theoretical Philosophy 1755-1770, translated and edited... But not Newton's,
as Kant explains : "For simultaneous things are joined together at some
moment of time, just as successive things are joined together by different
moments. Accordingly, though time has only one dimension, yet the *ubiquity* of time (to speak with Newton), in virtue of which *all* things which
can be thought sensitively are at *some time,* adds a further dimension to
the magnitude of actual things, in so far as they hang, so to speak, from
the same point of time. For, if you were to represent time by a straight line
extended to infinity, and simultaneous things of any point of time by lines
drawn perpendicular to it, the surface thus generated would represent the
*phenomenal world* in respect of both substance and accidents." [56][56] Ibid.p. 394. Thus
*Kant wholly embraced the very property of Newtonian time that is rejected by relativity theory : absolute simultaneity.* Still, Godel finds in the
*Critique* evidence of the compatibility of Kant's ideality of time with relativity which we examine below.

22

Meanwhile, Godel's argument against the objective reality of change from special relativity runs as follows : "Change becomes possible only through the lapse of time. The existence of an objective lapse of time, however, means (or, at least, is equivalent to the fact) that reality consists of an infinity of layers of 'now' which come into existence successively. But if simultaneity is something relative in the sense just explained, reality cannot be split up into such layers is an objectively determined way. Each observer has his own set of 'nows' and none of these various systems of layers can claim the prerogative of representing the objective lapse of time." [57][57] G2, pp. 202-3 But as Godel notes, the equivalence of all inertial frames on which this argument depends, holds only in the abstract empty space-time frame of special relativity. The introduction of matter produces a space-time curvature governed by Einstein's equations for general relativity which destroys this equivalence of observers in a way which allows one, in all solutions of these equations known hitherto, to piece together the local times distinguished observers into a cosmological time whereupon, as Godel admits, "it becomes possible to consider this time as the 'true' one which lapses objectively." [58][58] Ibid, p. 204. In fact, Jeans had already concluded from this construction that, as Godel puts it, "there is no reason to abandon the intuitive idea of an absolute tie lapsing objectively." [59][59] Ibid.p. 204.

23

Godel discovered, however, an entirely new kind of rotating solution
which turns out to describe a world in which such a global time function
cannot be defined. Godel's model is temporally orientable in the sense
that pairs of light cones can be partitioned into two classes, *future* ones
and *past* ones. One can then define a relation P< Q of temporal precedence which holds just in case there is a smooth future-directed timelike
line from P to Q, representing the history of a body traveling from P to Q
while moving always into the future. However, this relation is not asymmetrical in Godel's world, for as he puts it, "if P and Q are any two points
on a world-line of matter, and P preceeds Q on this line, there exists a
time-like line connecting P and Q on which Q preceeds P; i.e. it is theoretically possible in these worlds to travel into the past, or otherwise influence the past." [60][60] Ibid.p. 191 Godel concludes from this that not only does the argument quoted above for 'the non-objectivity of change' hold in worlds represented by his solutions, but that "it is possible in these worlds to travel
arbitrarily far into the future or the past and back again exactly as it is possible in other worlds to travel to distant parts of space." [61][61] G3.p. 251 But how can
Godel infer from the unreality of time and change in his rotating worlds
their unreality in the world we live in ?

24

Godel grants that the static nature of his model is inconsistent with the
observed red-shift which is taken to indicate that we live in an expanding
universe. But he points out that he alas also found other rotating models
which are expanding and that "in such universes an absolute time might
also fail to exist, and it is not impossible that our world is a universe of
this kind." [62][62] G2.p. 206 But in the end Godel rests his case for the non-objectivity of
time and change on the sheer possibility of worlds with no distinguished
absolute time and (in which) therefore, no objective lapse of time can
exist : "For, if someone asserts that this absolute time is lapsing, he accepts
as a consequence that whether or not an objective lapse of time exists, i.e.
whether or not a time in the ordinary sense of the word exists, depends on
the particular way in which matter and motion are arranged in the world.
This is not a straightforward contradiction; nevertheless, a philosophical
view leading to such consequences can hardly be considered satisfactory." [63][63] Ibid, p. 206-7. The very existence of solutions showing the compatability with the
laws of nature of worlds in which there is no objective change implies that
time and change exist only *contingently* in worlds in which it can be
defined. By Godel's lights a satisfactory theory of objective time must
show that it *necessarily* exists.

25

How then do these arguments fit in with the rest of Godel's epistemology of mathematics, and how suitable are they for supporting Kant's thesis of the ideality of time ? How did he reconcile his conclusion that time
and change are 'an illusion or appearance due to our special mode of perception' with his vision of the development in time of the mathematical
mind grasping successively ever new axioms as true by virtue of its ever
enlarging repertoire of internal states ? I doubt that Godel thought he was
succumbing to an illusion when he argued that the mathematical intuition
of sets allows one 'to believe that a question about them not decided now
may be decided in the future', and that we may develop 'new mathematical intuitions leading to a decision of such problems' about them that now
elude us. Nor presumably did he believe that the relativity of simultaneity should be relevant to the structure of the time in which such intuitions
unfold. But Godel did claim that relativity favors those philosophers who,
like Kant, consider change an illusion or 'and appearance due to our special mode of perception', and this does sound like Kant. Godel even
claims that Kant "expresses this view" in the *Critique* when he says that
"those affections which we represent to ourselves as changes, in beings
with other forms of cognition, would give rise to a perception in which the
idea to time, and therefore also of change, would not occur at all"(A37);
a formulation, says Godel, that "agrees so well with the situation subsisting in relativity theory that one is almost tempted to add : such as, e.g. a
perception of the inclination relative to each other of the world lines of
matter in Minkowki space." [64][64] Ibid.p. 202. This however is a description better left
alone, for it seems that when understood properly, Kant's claim just quoted is not something that could possibly be elucidated, much less confirmed by a physical theory.

26

The passage quoted by Godel occurs in Kant's Elucidation of his thesis of the transcendental ideality of time written specifically to answer the
objections made by Lambert and Mendelssohn to Kant's original formulation of this thesis in the *Dissertation.* Lambert argued that the thesis was
incompatible with the reality of change, since "All changes are bound to
time and are inconceivable without time. *If changes are real, then time is
real,* whatever it may be. *If time is unreal, then no change can be real.* I
think, though, that even an idealist must grant at least that changes really
exist ad occur in his representations, e.g. their beginning and ending." [65][65] Kant : Correspondence, translated and edited by A....
Implicit in Lambert's formulation of the change argument, and made
explicit by Mendelssohn, is the point that 'even the idealist' must grant
that he observes a succession of real changes in his *self,* and hence knows
immediately an object undergoing real changes in time. Kant tried to meet
this argument in the *Critique,* by factoring consciousness into its active
and passive components, called 'apperception' and 'inner sense' respectively, and then showing that time is 'nothing but the form of inner sense'
which as such, Kant argues, is a 'pure intuition', and that even the idealist can only apprehend his self as it *appears* to him in inner sense, not as
it really is in itself. This 'paradox of inner sense', as Kant calls it, follows
from the ideality argument that, since time is only a pure intuition comprising the form of inner sense, it cannot be a property of things in themselves that would "thus remain if one abstracted from all subjective conditions of the intuition of them" (A32); for otherwise, he argued, "time
could not be cognized and intuited *a priori* through synthetic propositions"(A33) [66][66] Here Kant means the 'axioms of time' referred to at... The transcendental ideality of time then claims that time "is
nothing at all if one abstracts from the subjective conditions of sensible
intuition" (A36), and it is this crucial abstraction thesis that Kant tries to
elucidate in the passage at A37 quoted repeatedly by Godel in his efforts
to find the 'relativity of time' in Kant.

27

What Kant says is that "If I or another being could intuit myself without this condition of sensibility, then these very determinations, which we
now represent to ourselves as alterations, would yield us a cognition in
which the representation of time and thus also of alteration would not
occur at all."(A37) [67][67] Kant's text reads : "Wenn aber ich selbst, oder ein... Here then is the sense in which time lacks 'absolute
reality' for Kant : 'another being' could intuit my inner state as changeless.
But to carry the burden of the abstraction thesis and hence of ideality, this
cannot be just any old 'being with another form of cognition' as Godel
reads Kant's elucidation, but only one like God with an *intellectual* intuition of my unchanging self as it is in itself. [68][68] Godel comes at the crucial Elucidation passage from... Nothing less will do. Kant's
ideality of time, by which he tries to make the causality of nature compatible with free will and morality, thus requires much more of another being
that what Godel's argument requires of it, namely, just another moving
observer whose judgments about the temporal relations of two physical
events A and B observed by both of us could justifiably conflict with my
own judgments about them. The fact that such an observer could, because
of a chronometry based on the constancy of the speed of light, see A
before B as well as I could see B before A is *no reason to suppose that he
would intuit no change or any succession at all in my inner states.* What
else *could* he assume than that a representation of B occurred in my inner
states before one of A ?

28

Godel further elaborated that : "For a being which had no sensibility of
all (i.e. not contact through sensations with reality), no time would exist.
But this is exactly what Kant means, who frequently explains the things
in themselves as the things such as pure understanding would perceive
them. (This of course does not apply to human understanding which is not
pure insofar as it apprehends concepts only with the help of sensual
images and symbols and therefore depends on sensibility and on time"). [69][69] G3, p.428.
This *does* apply to the noumenal self or 'intelligible character' of human
beings which 'does not stand under any condition of time', though Godel
is correct in saying that things in themselves are things as intuited by a
pure understanding. As Kant said : "the concept of a *noumenon,* i.e. a thing
that is not thought of as an object of the senses but rather as a thing in
itself (solely through a pure understanding), is not at all contradictory; for
one cannot assert of sensibility that it is the only possible kind of intuition". (A254/B310). There is then at least this important similarity
between Kant's case for the ideality of time and Godel's argument from
general relativity : just as Godel argued against objective time and change
that it would be *consistent* with the laws of nature to imagine a world in
which no such time existed, Kant argued that there is *no contradiction* in
supposing a pure understanding who intuited our inner state intellectually as changeless. Of course, Godel actually produced a model demonstrating this consistency, something Kant could hardly been expected to do.
Since God is by Kant's lights the only being who could indubitably be
said to intuit thing intellectually, it should seem that his ideality of time
thesis depends as much on God as does Berkeley's comparable thesis
about space. In any case, it does not appear at all to have been understood
by Kant in a way that lends itself to support or clarification from relativity theory in any way envisaged by Godel.

29

Unlike Kant, whose motive for the ideality thesis for time is clearly to achieve compatibility between free timeless moral agents and the laws of time bound phenomena, it is more difficult to discern the philosophical motive Godel's idealism with respect to time. Reichenbach once suggested that "the fear of death has greatly influenced the logical analysis which philosophers have give of the problem of time. The belief that they had discovered paradoxes in the flow of time is called 'projection' in modern psychological terminology." [70][70] Hans Reichenbach : The Direction of Time, 1971, p.... Whether such an influence was at work in Godel's arguments I could not say. In any case, they are extraordinarily challenging whatever their source.

[1]

In a paper "Is Mathematics Syntax of Language ?" written for the Carnap Schilpp volume,
Godel parlays these results into an extended argument against the 'syntactical program' of
Carnap and Hahn. which he characterizes as the effort "to build up mathematics as a system
of sentences valid independently of experience without using mathematical intuition or referring to any mathematical objects or facts." *(Collected Works,* Vol 3, p. 335; hereafter G3 and
similarly other volumes). From his second theorem he concludes that *"the scheme of the syntactical program to replace mathematical intuition by rules for the use of symbols fails
because this replacing destroys any reason for expecting consistency, which is vital for both
pure and applied mathematics and because for the consistency proof one either needs a
mathematical intuition of the same power as for discerning the truth of the mathematical
axioms or a knowledge of empirical facts involving an equivalent mathematical content"*
(ibid, p. 346). But Godel's standards were very high and he was never satisfied enough with
any of the several versions he wrote of this paper to let it be published.

[2]

As we learn from his conversations with Godel reported in his *Reflections on Kurt Godel,*
1987.p 201.

[3]

"Mathematical Problems", *Bulletin of the American Mathematical Societv,* Vol.8 (1902), p. 440.

[4]

Ibid, p. 440.

[5]

"Logical Foundations of Mathematics", in *From Kant to Hilbert.* edited by William Ewald,
1996, Vol. 2, p. 1138.

[6]

"Mathematical Problems", p. 441.

[7]

Ibid, p.442. It is interesting that by 1920 Hilbert believed that the clarification of the limits
to physical idealization posed by paradoxes in theoretical physics would depend on a deeper
understanding of a paradox of set theory. Indeed, "These paradoxes force on us the conclusion that the assumption of the completability of the process of physical idealization is inadmissible, that the physical ideal limit is thus fundamentally unattainable. This fact need
hardly surprise us, since we have become accustomed in mathematics to regarding the attainment of a limiting value as anything but a foregone conclusion. How this incompletability is
to be understood can only become clear in the deepest sense when one has first resolved the
set-theoretical paradox of the impossibility of describing all laws by a [finite] number of
words." (David Hilbert : *Natur und mathemtisches Erkennen.* Vorlesungen, gehalten 1919-1920 in Gottmgen. Nach der Ausarbeitung von Paul Bernays, edited by David E. Rowe,
1992, p. 101.)

[8]

G. Cantor' *Gesammelte Abhondlungen. mathematischen undphilosophischen Inhalts,* edited
by Ernst Zermelo, 1966, p. 282. Cantor used his theory to derive an equivalent arithmetization of the real continuum which had classically rested on geometry. Small wonder that when
confronted with the non-Archimedean system of Veronese he found it impossible to accept
its infinitesimals as 'real ideas'. Believing he had an absolute proof of the Archimedean
axiom, he could only regard Veronese's system as a 'fantasy' making rational discussion between them impossible. See J.W. Dauben : *Georg Cantor. His Mathematics and Philosophy of
the Infinite,* 1979, pp. 233-6 and p. 351.

[9]

"Mathematical Problems", p 443. With Pascal's theorem, e.g. Hilbert said that "one can set
up a calculation with segments or analytic geometry, where of course the letters denote segments, not numbers." *(David Hilbert's Lectures on the Foundations of Geometry, 1981-1902*
edited by M. Hallett and U. Majer, 2004, p. 261 (Hereafter *Lectures).*

[10]

Ibid, p. 444

[11]

D. Hilbert : *Foundations of Geometry,* 1971. p. 106.

[12]

Kant's belief in the decidability of mathematics seems to have been similarly strengthened
by an impossibility proof of Lambert. Thus he writes that : "It is not as extraordinary as it
initially seems that a science can demand and expect clear and certain solutions to all the
questions belonging within it, even if up to this time they still have not been found. Besides
transcendental philosophy, there are two pure sciences of reason...*pure mathematics* and
*pure morals.* Has it even been proposed that because of our necessary ignorance of conditions it is uncertain exactly what relation, in rational or irrational numbers, the diameter of
a circle bears to its circumference ? Since it cannot be given congruently to the former, but
has not yet been found through the latter, it has been judged that at least the impossibility
of such a solution [in rational numbers] can be known with certainty, and Lambert gave a
proof of this." (A480/B508) This and all further references to the *Critique of Pure Reason*
are to its translation by P. Guyer and A. Wood in *The Cambridge Edition of the Works of
Immanuel Kant,* 1997

[13]

As A. Watson : "Mathematics and its Foundations", *Mind* Vol.47 (1938), pp. 440-51, explained, it was on the basis of "lengthy discussions with Turing and Wittgenstein" that he came
to realize that "Godel's investigations provide the method by which the diagonal argument
is to be correctly applied" to machines.

[14]

Gl.p 195

[15]

*The Collected Papers of Gerhard Gentzen,* 1969, p. 96.

[16]

G3, pp 105,107.

[17]

G2, p. 272. See note 49. For the emergence of this 'Einstellung' on discrete symbols in
Hilbert's later proof theory as well as Godel's failure to appreciate the element of 'reflection' on them in the formalism of Hilbert and Bernays, see the remarkable paper of W. Sieg :
"Hilbert's Programs : 1917-1922", *Bulletin of Symbolic Logic,* Vol.5 (1999), pp. 1-44.

[18]

Ibid, p. 272

[19]

Ibid, p. 273.

[20]

Ibid, p. 273

[21]

Ibid, p. 273-4. In particular, Godel was not convinced by Kreisel's attempt to prove that e_{0}
was the "exact limit of idealized concrete intuition".

[22]

Ibid, p. 267. In contrast to Cantor's adoption of 'hypotheses non fingo' as the motto of set-theory, Godel compares its axioms to physical hypotheses, an attitude partly driven by the discovery of the paradoxes, insofar as they made it necessary to formulate these axioms in the first place

[23]

Ibid, p. 268.

[24]

Ibid, p. 264.

[25]

See p. 165 of G. Moore's introductory note in G2 for discussion and further references. A
very informative mathematical analysis of the pivotal role played by Godel's proof of the
consistency of the continuum hypothesis in the development of set theory as well as the
consequences of it (e.g. the existence of Luzin sets) he thought implausible, is given by A.
Kanamori : "The Mathematical Development of Set Theory from Cantor to Cohen".
*Bulletin of Symbolic Logic,* Vol. 2 (1996), pp 1-71. The fullest critical discussion of Godel's
views on this point known to me is by M. Hallett : *Cantorian Set Theory and Limitation of*
Size. 1984, pp. 110-12.

[26]

G2, p.306.

[27]

Ibid, p. 306. Godel says that "something like this indeed seems to happen in the process of forming stronger and stronger axioms of infinity in set theory." (Ibid, p. 306.)

[28]

Ibid, p. 268.

[29]

Ibid, p. 268.

[30]

G4, p. 454-5.

[31]

Ibid, p. 455.

[32]

G4, p. 455. Godel never sent this letter.

[33]

G3. p. 255, fn. 20. By "referring to reality" Godel meant a reference to a "measuring process". In his critical analysis of Godel's argument, Howard Stein points out that Godel's definition in a non-euclidean world of concepts satisfying Euclid's axioms is hardly concerned with special or general relativity, since it makes no reference to time. See ibid, pp. 217-8.

[34]

Ibid. p. 255, fn. 20.

[35]

Ibid.p 257

[36]

Ibid, p. 385.

[37]

Ibid.p 385.

[38]

Ibid.p. 385. See note 12.

[39]

G3, p. 367.

[40]

See *Kants Gesammette Schriften,* Vol. 14, pp. 22-51.1 have analyzed Kant's Reflections on
the problem of parallels in my paper "Hintikka on Anstotelean Constructions, Kantian
Intuitions, and Peircean Theorems", in *The Philosophy of Jaakko Hintikka,* forthcoming
I also discuss it in my paper "Immanuel Kant and the Greater Glory of Geometry", in
*Naturalistic Epistemology,* edited by D. Nails and A. Shimony, 1987, pp. 11-70.

[41]

"On the Infinite", in *From Frege to Godel,* edited by Jean von Heijemoort, 1967, p. 376.

[42]

Ibid.p. 392.

[43]

Ibid, p. 384.

[44]

*Lectures,* p. 437.

[45]

*Lectures,* p. 31. The theorem states that two triangles in different planes are in central perspective from a point if and only if the three intersections of their corresponding sides are
collinear. Indeed, if they did not he on the line of intersection of these planes, the axis of
perspective, there would be *two* planes through these three non-collinear points. Desargues'
theorem also holds by projection for two triangles in the plane and is thus the basic theorem on the two-dimensional representation of three-dimensional scenes in linear perspective, giving a geometrical criterion for one triangle in space to be the perspective image of
another. Hilbert saw projective theorems generally as expressions of the optical properties
of space, in the case that two triangles are optically indistinguishable from a point in space
if and only if they optically vanish from any point on a unique line in space.

[46]

*Lectures, xi-* 104-5. p. 166.

[47]

*Lectures,* p. 240. This result is part of Hilbert's thoroughgoing effort to determine the need
or eliminability of *space* intuition in *plane* geometry.

[48]

*Lectures*, pp. 506-10.

[49]

Recall that the key space axiom that a unique plane passes through any three non-collinear
points is the *sole* example of a mathematical axiom cited by Kant in the *Doctrine of Method*
at A732/B761. But Hilbert by no means restricted intuition to finite discrete configurations :
while believing such a restriction appropriate for the consistency proof of a formal system
whose proofs are themselves such configurations, he asserts at the same time that a formalization of the real continuum "is not at all opposed to intuition. The concept of extensive
magnitude, as we derive it from intuition, is independent of the concept of number
[Anzahl]; and it is therefore thoroughly in keeping with intuition if we make a fundamental distinction between number and measuring-number [Masszahl] or quantity." *(From
Kant to Hilbert,* p. 1118). Now the geometric intuition of 'extensive magnitude' underwriting the continuity axioms of geometry does provide more guidance than that of finite discrete configurations in the case of *finite* geometries. For example, one knows that in such a
geometry Hilbert's original belief that Pascal's theorem follows from Desargues' is correct,
but the proof of this relies on Wedderburn's theorem that every finite field is commutative
and not on any geometrical or spatial intuition - as one *could* say about the derivation of
Pascal from Desargues in the presence of continuity.

[50]

D. Hilbert and W Ackermann : *Grundziige der theoretischen Logik,* 1928, pp. 74ff. They
stressed that such a decision procedure may not be feasible even if it existed. In the second
edition they continued to emphasize the importance of the Entscheidungsproblem for difficult problems such as "the independence of Pascal's theorem" from certain axioms. In fact,
Schur, whose demonstration of Pascal's theorem from space and congruence without the
Archimedean axiom had inspired Hilbert's return to work on the foundations of geometry,
wrote to Hilbert in 1900 that he considered (H) to be one of his important results but considered its proof to be "exceedingly difficult" See M-M Toepell" "Zur Schliisselrolle
Friedrich Schurs bei der Enstehung von David Hilberts "Grundlagen die Geometne",
*Mathemata. Festschrift fur Helmuth Gericke.* 1985, pp. 637-649. Toepell marshals evidence of Hilbert's belief prior to establishing (H) that (D) was stronger than (P).

[51]

J. von Neumann : "Zur Hilbertschen Beweistheorie", *Mathematische Zeitschrift,* Vol.26
(1927), asserted without proof the undecidability of mathematics generally and first-order
logic, remarking that "On the day that this undecidability ceases, mathematics as we know
it today would cease to exist; an absolute mechanical rule would take its place, with whose
help anyone could decide of any given statement, whether or not it can be proved. Thus we
must hold the view that it is in general undecideable whether a given normal formula is provable or not." (Ibid, p. 10). Poincare had observed that Hilbert's care in formulating a complete set of axioms made it possible "to reduce reasoning to purely mechanical rules and it
should suffice, in order to create geometry, to apply these rules slavishly to the axioms
without knowing what they mean... We might put the axioms into a reasoning apparatus
like the logical machine of Stanley Jevons, and see all geometry come out of it."
("Poincare's Review of Hilbert's 'Foundations of Geometry'", *Bulletin of the American
Mathematical Society,* Vol. 9 (1903). pp. 4-5). Indeed such a machine might make Pascal's
theorem 'come out' of the axioms of space and congruence. But could it inform us of (H)?
That is the question, and the point of the Entscheidungsproblem. The real problem is to find
a machine which could always tell us when a theorem *cannot* 'come out' of given axioms.

[52]

G3, p. 274.

[53]

G2, p. 202

[54]

Ibid.p. 202.

[55]

*Theoretical Philosophy 1755-1770,* translated and edited by D Walford and R. Meerbote.
1992, p. 394.

[56]

Ibid.p. 394.

[57]

G2, pp. 202-3

[58]

Ibid, p. 204.

[59]

Ibid.p. 204.

[60]

Ibid.p. 191

[61]

G3.p. 251

[62]

G2.p. 206

[63]

Ibid, p. 206-7.

[64]

Ibid.p. 202.

[65]

Kant : Correspondence, translated and edited by A. Zweig, 1999, p. 116.

[66]

Here Kant means the 'axioms of time' referred to at A31/B47 which Lambert formulated in
his *chronometry* m an effort to distill the chronometrical from the chronological aspects of
Newton's argument for absolute time.

[67]

Kant's text reads : "Wenn aber ich selbst, oder ein ander Wesen mich. ohne diese Bedingung der Sinnlichkeit, asschaven konnte, so wiirden eben dieselben Bestimmungen, die wir uns jetzt als Veranderungen vorstellen, eine Erkenntnis geben, in welcher die Vorstellung der Zeit, mithin auch der Veranderung, gar nicht vorkame."

[68]

Godel comes at the crucial Elucidation passage from a somewhat different angle when he writes that "Kant by no means denied the existence of some correlate, inherent in the things, of our idea of time with properties different from intuitive time." (G3, p. 248.)

[69]

G3, p.428.

[70]

Hans Reichenbach : *The Direction of Time,* 1971, p. 3.

Webb Judson, « Godel's encounters with formalism, intuition, and Kant », *Revue internationale de philosophie*
4/2005 (n° 234) , p. 491-512

URL : www.cairn.info/revue-internationale-de-philosophie-2005-4-page-491.htm.