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