Roger Antonsen

What does it mean to abstract and understand? What is a proof and a counter example? What does it mean that something follows logically from a set of premises? And what is the relationship between morse code and fibonacci numbers? What is mathematics? What is understanding? Some topic: The distinction between syntax and semantics. The art of thinking from assumptions. Languages, definitions and proof. Mathematics and philosophy.