Group:MathSpace

MathSpace
When	Alternate Fridays, from 18:30
What	Talks and workshops on mathematical subjects
Members
Camzzz Elaranodiscoteca MScroggs Wyan

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
12 June 2015 (No MScroggs; ??? will organise) 10 July 2015 talkdust 07 August 2015 04 September 2015	29 May 2015 Connect 4 bot programming workshop. 26 June 2015 (No MScroggs; ??? will organise) 24 July 2015 (No MScroggs; ??? will organise) 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

• Election data workshop

03 April 2015

• UKMT Senior Team maths challenge (resources from regional final 2010/11)

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

• Project Euler maths and programming evening.

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

• Braiding (Matthew Scroggs)

24 Oct 2014

• Flexagons (Matthew Scroggs) - Flexagon templates