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

More information: The Norwegian Association of Researchers' home page

Facebook: Event

Talk

November 16, 2017 at 4:30 PM

The Norwegian Association of Researchers, Tromsø