Delta mi!

Każdy, kto dostatecznie długo styka się z matematyką, oswaja się ze stosowaną w niej metodą dedukcyjną. Polega ona na tym, że wszystkie wprowadzane pojęcia opatruje się precyzyjnymi określeniami, zaś wszystkie wypowiadane twierdzenia są ściśle dowodzone.

W krótkiej serii artykułów nie sposób wyczerpać problemów związanych z narodzinami dedukcji i metody aksjomatycznej. Warto jednakże na drodze do wyjaśnienia ich genezy zrobić jeszcze kilka kroków - nawet za cenę stopniowo oddalenia się od matematyki...

Jak już pisałem (Delta 3/1979), metodę dedukcyjną i jej najdoskonalszą postać - metodę aksjomatyczną można wyprowadzić ze zwykłej praktyki dyskusji, niezmiernie rozpowszechnionych w starożytnej Grecji. Warto zobaczyć, co o strukturze pierwszego znanego nam aksjomatycznego wykładu matematyki -- Elementów Euklidesa może nam powiedzieć taka interpretacja.