Mathematics

up
down
Mechanisation
Philosophy
left right
Logic
net links
math

General

Threads in the Web of Mathematics
Re-use and Abstraction

Real Numbers

Real Numbers - a logical development
Real Numbers - some history
Computing with reals
History
A Short History of Rigour in Mathematics
Classical Greek Mathematics
Mathematics and the Scientific Revolution
The Formalisation of Mathematics
Formality and Rigour in 20th Century Mathematics
up home © help created 1995年10月29日 modified 1998年11月3日 c

AltStyle によって変換されたページ (->オリジナル) /