Proof-oriented geometry began with Thales. The theorems attributed to him encapsulate two modes of doing mathematics, suggesting that the idea of proof could have come from either of two sources: attention to patterns and relations that emerge from explorative construction and play, or the realisation that “obvious” things can be demonstrated using formal definitions and proof by contradiction.

Podden och tillhörande omslagsbild på den här sidan tillhör Intellectual Mathematics. Innehållet i podden är skapat av Intellectual Mathematics och inte av, eller tillsammans med, Poddtoppen.