Klukovits Lajos: A heurisztikus sejtés és a szigorú bizonyítás szétválasztása Archimédésznél |
|
|
|
Csütörtök, 22. November 2001, 15:00 - 16:30
|
|
Az ókori folyammenti kultúrák tisztán empirikus matematikáját átmenet nélkül követte a görög klasszikus kor tisztán deduktív matematikája. Ebben teljesen rejtve maradt az az út, ahogy a bizonyítandó állításokat megtalálták, és arra sincs semmiféle utalás, hogy miért úgy bizonyították, ahogy a könyvekben szerepel. A hellén korban Archimédész műveiben jelenik meg először előbb a sejtés, amelyet nem matematikai úton, leggyakrabban mechanikai elvek alkalmazásával nyer, majd egy másik műben a sejtés szigorú, deduktív bizonyítását közli. Mindezt a parabolaszelet területének kiszámításánál mutatjuk be. |
Hely : Fejér terem |
Vissza
JEvents v3.1.8 Stable
Copyright © 2006-2013