Group:MathSpace: Difference between revisions
From London Hackspace Wiki
No edit summary |
m (→Next Event) |
||
| Line 31: | Line 31: | ||
'''Time Travel in General Relativity''' | '''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. | :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''' | '''How to Design a Propositional Logic Bot''' | ||
A few months ago, I set [https://twitter.com/mathslogicbot @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. | :A few months ago, I set [https://twitter.com/mathslogicbot @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! | Hope to see you all there! | ||
Revision as of 06:30, 14 May 2015
| 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):
Also there will be cake. Time Travel in General Relativity
How to Design a Propositional Logic Bot
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
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
- 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
