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 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 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