From London Hackspace Wiki
Revision as of 06:21, 14 May 2015 by MScroggs (talk | contribs)
Jump to navigation Jump to search
Mathspace logo.png
When Alternate Fridays, from 18:30
What Talks and workshops on mathematical subjects

The London MathSpace is a group which meets every other Friday to discuss mathematics. We host talks, problem-solving and programming events.

All our events are held at London Hackspace, 447 Hackney Road.

If you would like to do a talk or have any ideas for an event, please say so here or on our mailing list.

Next Event

Talks: Time Travel, Twitter and Logic
15 May 2015 at 18:30
Hosted by MathSpace
Our next MathSpace event will be held on Friday the 15th of May from 18:30 onwards in the classroom.

The plan is (with approximate timings):

  • 18:30 - Doors open. Cake and puzzles.
  • 19:00 - How to Design a Propositional Logic Bot (Matthew Scroggs)
  • 19:20 - Time Travel in General Relativity (Matthew Wright)
  • 19:45 - Discussion and social time

Also there will be cake.

Time Travel in General Relativity In this talk I will discuss how certain solutions in general relativity allow the possibility of closed time like curves, Closed time like curves give rise to time travel and infinite loops. I will explore some of the paradoxes this gives rise to, and then discuss some principles which resolve or rule out these paradoxes.

How to Design a Propositional Logic Bot A few months ago, I set @mathslogicbot going on thelong task of tweeting all the tautologies (containing 140 characters or less) in propositional calculus. In this talk, I will be giving an introduction to formal logic, explaining what a tautology is and outlining how I made a Raspberry Pi generate and tweet them all.

Hope to see you all there!

Future events

All talks listed here are provisional. If you would like to give a talk of suggest a non-talks event, please add it to a date here. For questions and discussion, use our mailing list.

Talks Non-Talks

15 May 2015

  • Time Travel in General Relativity (Matt W)
  • How to build a propositional logic robot (Matthew Scroggs)

12 June 2015

10 July 2015

07 August 2015

29 May 2015

Connect 4 bot programming workshop.

26 June 2015

24 July 2015

21 August 2015

Proposed talks

Name Topic Approximate length Other details
Matthew Scroggs How to build a propositional logic robot 20-30 mins How I built @mathslogicbot and some of the maths behind it.
Cameron Decision making under uncertainty 15-20 mins Models for how we make decisions under uncertainty, starting from Utility theory
(Your Name Here) (Title) (Length) (What you will talk about)

Past meetings

01 May 2015

03 April 2015

20 March 2015

  • Optimal Pac-Man (Matthew Scroggs)
  • Games of Pursuit (Alex Bolton)
  • Video Games Are Hard, But Some Are Harder Than Others (Linus Hamilton)

06 March 2015

  • Blotto bot programming workshop.

20 Feb 2015

  • Morality Metrics on the Iterated Prisoners Dilemma (Axel Wagner)
  • The Fluid Dynamics of Chocolate fountains (Adam Townsend)

06 Feb 2015

23 Jan 2015

  • Folding Tube Maps (Matthew Scroggs)
  • AI and Bots in Game Design (Martin Clarke) - slides
  • Regime detection in multivariate stochastic processes (Alex Bolton)

09 Jan 2015

  • Voting Theory (Alex Bolton) - slides

05 Dec 2014

  • Diffie-Hellman Key Exchange (Axel Wagner) - slides

21 Nov 2014

24 Oct 2014