When a paper gets really large it transforms into a book! Tomas Petricek (http://fsharpworks.com) (@tomaspetricek (https://twitter.com/tomaspetricek?lang=en)) is presenting "Where Mathematics Comes From (https://en.m.wikipedia.org/wiki/Where_Mathematics_Comes_From)" by G. Lakoff and R. E. Núñez. A paper related to this book is "Lakoff, Nunez  The Metaphorical Structure of Mathematics" available at this link (http://escholarship.org/uc/item/5qq7q51z).
• 6.30pm: networking, pizza and drinks.
• 7:00pm: presentation starts
This book by cognitive linguist George Lakoff and a psychologist Rafael Nunez seeks to found a cognitive science of mathematics. The key idea is that mathematics is born from our interactions with the world (it is embodied) through cognitive metaphors (that construct more complex mathematical structures as metaphors of simpler ones). The book uses the framework to explain a number of mathematical constructs including arithmetic, theory of sets and continuous functions.
In this talk, I will give an overview of the key ideas from the book and their consequences for computer science. For example, could cognitive science of mathematics and cognitive metaphors explain theoretical computer science objects such as the lambda calculus?
As this is a talk about a book rather than a paper, we do not expect everyone to read the book before the meetup, but you are more then welcome to get a copy and get started. You can see the talk more as a teaser for the book!
Tomas is a computer scientist and open-source developer. He is a Visiting Researcher at the Alan Turing Institute working on tools for open data-driven storytelling. He wrote a popular book called "Real-World Functional Programming" and is a lead developer of several F# open-source libraries. He is a partner at fsharpWorks (http://fsharpworks.com (http://fsharpworks.com/)) where he provides trainings and consulting services. Tomas recently submitted his PhD thesis at the University of Cambridge focused on context-aware programming, but his most recent writings also includes two essays try to understand programming through the perspective of philosophy of science.