[FOM] Platonism and Formalism
Torkel Franzen
torkel at sm.luth.se
Sat Sep 27 21:14:13 EDT 2003
Vladimir Sazonov says:
>It is Platonism, "the unique" absolute standard model of PA independent
>on anything - what is mysticism and meditation.
In everyday life, and in ordinary reasoning, we take many things for
granted. It is open to you, or to anybody, to question what we take
for granted, but such questioning will be of little interest (to most
people) as long as it does not provide any workable and
fruitful alternatives. In the present case, a metaphysically sensitive
person will reject the idea that "the number"
25195908475657893494027183240048398571429282126204
03202777713783604366202070759555626401852588078440
69182906412495150821892985591491761845028084891200
72844992687392807287776735971418347270261896375014
97182469116507761337985909570009733045974880842840
17974291006424586918171951187461215151726546322822
16869987549182422433637259085141865462043576798423
38718477444792073993423658482382428119816381501067
48104516603773060562016196762561338441436038339044
14952634432190114657544454178424020924616515723350
77870774981712577246796292638635637328991215483143
81678998850404453640235273819513786365643912120103
97122822120720357
(which is the RSA $200,000 challenge number) has a determinate
factorization which we don't as yet know, and perhaps will never
know. Such metaphysical sensitivity is fine, but it will not have any
impact on people's thinking unless it can be used in some illuminating
alternative explanation of the relation or correlation between theory
and practice in computation. Ethereal metaphysical misgivings about
the "mysticism" involved in ordinary thinking about numbers are in
themselves just unworldly complaints divorced from practical
intellectual concerns. Since you mention absolute time, let us note
that Einstein spent no time or effort arguing about the mystical
character of the idea of absolute time.
---
Torkel Franzen
More information about the FOM
mailing list