oma väidetele tõestusi. Ta püüdis rajada matemaatilistele väidetele vundamenti. Seejuures tugines ta siiski kaemusele, mille pärast teda peetakse üksnes matemaatikateaduse eelkäijaks. Teised uurijad arvavad, et Thalese tõestustel ei saanud olla loogilist iseloomu ning nad põhinesid peamiselt jooniste murdmisel ja üksteise peale asetamisel. Võimalikud tõestusmeetodid olid: a) üksteise peale asetamise meetod, millest lähtub kongruentsiaksioom, Eukleidese 7. aksioom ("Mis üksteist katab, see on alati võrdne"); b) vastuolutõestus, mis reeglina omistatakse küll Parmenidesele, leidub aga varjatud kujul juba lastel, Homerosel ja kõigis keelelistes antiteesides. Et kreeklased joonistasid oma geomeetrilised kujundid liiva sisse, oli neil selge ettekujutus selle geomeetrilise kujundi ideaalsusest, mille puhul teoreemid pidid kehtima. Egiptlased ja
väiteid, eelkõige aga selles, et ta otsis oma väidetele tõestusi. Ta püüdis rajada matemaatilistele väidetele vundamenti. Seejuures tugines ta siiski kaemusele, mille pärast teda peetakse üksnes matemaatikateaduse eelkäijaks. Teised uurijad arvavad, et Thalese tõestustel ei saanud olla loogilist iseloomu ning nad põhinesid peamiselt jooniste murdmisel ja üksteise peale asetamisel. Võimalikud tõestusmeetodid olid: a) (mõttelise!) üksteise peale asetamise meetod, millest lähtub kongruentsiaksioom, Eukleidese 7. aksioom ("Mis üksteist katab, see on alati võrdne"); b) vastuolutõestus, mis reeglina omistatakse küll Parmenidesele, leidub aga varjatud kujul juba lastel, Homerosel ja kõigis keelelistes antiteesides. Et kreeklased joonistasid oma geomeetrilised kujundid liiva sisse, oli neil selge ettekujutus selle geomeetrilise kujundi ideaalsusest, mille puhul teoreemid pidid kehtima. Egiptlased ja babüloonlased ei olnud ideaalseid objekte kunagi tundnud;
annaabi.ee 
