FOM: geometrical reasoning
Kanovei
kanovei at wminf2.math.uni-wuppertal.de
Sat Feb 20 04:16:54 EST 1999
>From: Stephen G Simpson <simpson at math.psu.edu>
>Date: Fri, 19 Feb 1999 18:15:28 -0500 (EST)
>Even the standard
>definition-theorem-proof model of mathematical exposition is to be
>discarded, in favor of -- what?
In fact the *standard model* came to mathematics
in general from geometry. Note: even in the times
of Euler geometrical theorems were considered as
a kind of absolute knowledge, in opposite to
results achieved via infinitesimals.
V.Kanovei
More information about the FOM
mailing list