Difference between revisions of "Group:MathSpace"

From London Hackspace Wiki
Jump to navigation Jump to search
Line 15: Line 15:
 
== Next Event ==
 
== Next Event ==
 
{{event
 
{{event
|date=2015-05-15
+
|date=2015-05-29
 
|group=MathSpace
 
|group=MathSpace
 
|time=18:30
 
|time=18:30
|name=Talks: Time Travel, Twitter and Logic
+
|name=Connect 4 Bot Programming Workshop
|desc=Our next MathSpace event will be held on Friday the 15th of May from 18:30 onwards in the classroom.
+
|desc=Our next MathSpace event will be held on Friday the 29th of May from 18:30 onwards in the classroom.
  
The plan is (with approximate timings):
+
The event will run from 18:30. We will be working on python connect 4 bots to play in [https://github.com/mscroggs/connect4 this game environment].
  
* 18:30 - Doors open. Cake and puzzles.
+
There will be cake and prizes for bots which win tournaments held throughout the evening.
* 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 [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!
Line 93: Line 82:
  
 
== Past meetings ==
 
== Past meetings ==
 +
''' 15 May 2015 '''
 +
* [https://twitter.com/mathslogicbot How to Build a Propositional Logic Robot] (Matthew Scroggs)
 +
* Time Travel in General Relativity (Matthew Wright)
 
''' 01 May 2015 '''
 
''' 01 May 2015 '''
 
* [[Group:MathSpace/2015 Election Data|Election data workshop]]
 
* [[Group:MathSpace/2015 Election Data|Election data workshop]]

Revision as of 08:39, 21 May 2015

MathSpace
Mathspace logo.png
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

Connect 4 Bot Programming Workshop
29 May 2015 at 18:30
Hosted by MathSpace
Our next MathSpace event will be held on Friday the 29th of May from 18:30 onwards in the classroom.

The event will run from 18:30. We will be working on python connect 4 bots to play in this game environment.

There will be cake and prizes for bots which win tournaments held throughout the evening.

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

07 August 2015

  • (Rafael)
  • (Olly)

04 September 2015

  • Lightning Talks?

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

15 May 2015

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