From London Hackspace Wiki
Jump to navigation
Jump to search
MathSpace


When

Alternate Fridays, from 18:30

What

Talks and workshops on mathematical subjects

Members

}
The London MathSpace is a group which meets every other Friday to discuss mathematics. We host talks, problemsolving 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 nontalks event, please add it to a date here. For questions and discussion, use our mailing list.
Talks

NonTalks

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

2030 mins

How I built @mathslogicbot and some of the maths behind it.

Cameron

Decision making under uncertainty

1520 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 PacMan (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
 DiffieHellman Key Exchange (Axel Wagner)  slides
21 Nov 2014
24 Oct 2014
