Anonymous

Group:MathSpace: Difference between revisions

From London Hackspace Wiki

Group:MathSpace (view source)

Revision as of 08:39, 21 May 2015

649 bytes removed ,  21 May 2015
no edit summary
No edit summary
No edit summary
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]]
MScroggs
307

edits

Retrieved from ‘https://wiki.london.hackspace.org.uk/view/Special:MobileDiff/46991’