Past Meetup

Tomas Petricek with "Where Mathematics Comes From" by G. Lakoff and R. Nunez

This Meetup is past

48 people went

uSwitch

The Cooperage, 5 Copper Row, London, SE1 2LH · London

How to find us

Enter Copper Row pedonal path and the stairs leading to the ZPG sign.

Location image of event venue

Details

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 [1997] 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

Abstract

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!

The Speaker

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.