..
Úvod do historie matematiky
- hodně velká disciplína
- jen historie třeba skalárního součinu by vydala na samostatný kurz
Hodně zjednodušená periodizace dějin matematiky
1. Tvorba elementárních matematických pojmů (cca do 6. stol. př. n. l.)
- počítání, měření, geometrie
- starověké civilizace (Babylonie, Egypt, Indie, Čína)
- Čína a Indie až do prvního tisíciletí n. l. – pořád nemají ten důkazový přístup
- matematika jako praktická disciplína - měření úhlu pyramidy, výpočet daní, obchod
2. Matematika konstantních veličin (6. stol přnl – 16. stol)
- starověké Řecko (Pythagoras, Eukleidés, Archimédés)
- první krize matematiky – existují iracionální čísla
- islámský zlatý věk (Al-Chorezmi, Omar Chajjám)
- středověká Evropa (Fibonacci, Cardano, Pascal)
- Viète – matematická notace
- vznik matematiky jako teoretické disciplíny, vědy
- hledání souvislostí, vznik důkazů a axiomatizace (Eukleidovy Základy -300)
- zásadní rozdíl oproti starším civilizacím
3. Matematika proměnných veličin (17. stol. – 19. stol.)
- Descartes – analytická geometrie
- Newton, Leibniz – vznik diferenciálního a integrálního počtu
-
- stol. – Euler, Lagrange, Laplace, Gauss
- druhá krize matematiky – analýza není postavena na pevných základech
4. Matematika zobecněných prostorových a kvantitativních vztahů (od poloviny 19. stol.)
- moderní matematika
- Weierstrass – analýza od geometrie k epsilon-delta = aritmetizace analýzy
- algebra – rovnice ==> teorie grup, struktury
- lingebra, neeukleidovské geometrie, topologie, metrické prostory
- teorie množin (Cantor, Russell, ZF), axiomatizace matematiky (Hilbert 1899)
- třetí krize matematiky – trvá až do dnes a nikdy se nevyřeší
- pokud v ZFC dokážeme že ZFC je konzistentní, tak ZFC není konzistentní (Gödelovy věty 1931)
- Hilbertův systém (říká se H. program) nemůže být úplný a zároveň konzistentní (Gödelovy věty)
- v momentě kdy jsou axiomy dost silné aby existovaly přirozená čísla, pak existují nerozhodnutelná tvrzení