Galileo Galilei: Matematikai érvelések és bizonyítások két új tudományág, a mechanika és a mozgások - Ráday Antikvárium
Bizonyítástípusok fejlődési modellje
BME Filozófia és Tudománytörténet Tanszék - Kedves Hallgatóink, figyelmetekbe ajánlunk egy matematikafilozófiai kurzust a BME Algebra Tanszékéről: A Gödel-tételkör és bizonyításelmélet (BMETE915042) egy történetet mesél el arról, ami az 1900-as évek ...