Re: kant



galathea wrote:

#) a priori knowledge
is knowledge that must exist

it is necessary truth
universal to all possible worlds

things like 2 + 2 = 4

I feel good when I remember Kant.

Some mathematicians think (?) that 2+2=4 is a theorem
deduced from Peano axioms (?).

The "proof" would be:

Theorem. 2+2=4

Proof. Let us denote S0=1, SS0=2.SSS0=3, SSSS0=4.
So, 2+2=SS0+SS0=S(SS0+S0)=SS(SS0+0)=SSSS0=4.

Alternative "proofs":

a) SS+SS=SSSS
b) @@+@@=@@@@
c) ab+cd=abcd

Time and space hidden after some notations, that is all.
And now; what time and space are?

Regards.

Fernando.
.



Relevant Pages

  • Re: Platonism
    ... Of course mathematicians understand the distinction. ... interpretation of realistic) we can choose a more restrictive criteria. ... to reasonable criteria for existence in those worlds ... ... no - objective - can be verified by multiple agents ...
    (sci.math)
  • Re: Platonism
    ... Of course mathematicians understand the distinction. ... interpretation of realistic) we can choose a more restrictive criteria. ... to reasonable criteria for existence in those worlds ... ... no - objective - can be verified by multiple agents ...
    (comp.theory)
  • kant
    ... it is necessary truth ... I feel good when I remember Kant. ... for a programme that supports the idea of absolute truth ... for distinctions also made by the stoics and buddhists ...
    (sci.math)
  • Re: "GENES ARE FOLLOWERS NOT LEADERS." Was: Birds of feather..
    ... >> Mathematics is purely deductive. ... >> are valid in any of Liebniz's possible worlds. ... Kant had a ... btw, you are missed. ...
    (sci.bio.evolution)
  • Re: "GENES ARE FOLLOWERS NOT LEADERS." Was: Birds of feather..
    ... Perplexed in Peoria wrote: ... > are valid in any of Liebniz's possible worlds. ... Kant had a ... God cheats ...
    (sci.bio.evolution)

Quantcast