November 16, 2017
The Norwegian Association of Researchers, Tromsø

The art of thinking abstractly and mathematically

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.

Description of talk