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