Re: Godel's proof, truth, reality, self-awareness, and all that jazz

T.H. Ray wrote:

"This is the essence of set theory: It considers not
only the sequence of numbers but also the totality of
its subsets as a closed aggregate of objects existing
in themselves. In this sense it is based on the
actually infinite. But once this has been accepted,
the vast structure of analysis has an unshakeable
firmness ..."

Weyl, Hermann [1949] Philosophy of Mathematics & Natural
Science, Princeton, p.46

Isn't it the same as saying that quicksand has an "unshakeable firmness"
once this has been "accepted"?

Han de Bruijn

.

Relevant Pages

  • Re: Question on OVER Clause Useage
    ... I'm not entirely sure what you want either, Ray. ... The reason is that given the view definition and the data in the table, 'Toy Airplane' is associated with RN of 3. ... And if the where clause in your select statement that eliminates some rows from the view, won't change which RN value is associated with which ProductName. ... Regardless of what column I put into the ORDER by the number sequence is ...
    (microsoft.public.sqlserver.programming)
  • Das Kalenderblatt 100201
    ... The leap into the beyond occurs when the sequence of numbers that is ... never complete but remains open toward the infinite is made into a ... closed aggregate of objects existing in themselves. ...
    (de.sci.mathematik)
  • Re: Trisecting and angle after infinite steps
    ... > o'clock] is bisected to produce ray R1 [shown going from the origin off ... Then the angle between R1 and the ... are constructed in succession by bisecting the angle between the ... > that the sequence of angles that these rays make with the initial side ...
    (sci.math)
  • Re: A simple to use graphic library ?
    ... ray writes: ... It would seem it should be able to handle a sequence of data pairs. ... Because I omit to precise that I want to animate the plotting, ...
    (comp.os.linux.x)
  • Re: Please Criticize My Code
    ... Michael Hoffman wrote: ... > Ray wrote: ... >> I just wrote a short script that generates look and say sequence. ...
    (comp.lang.python)