307
edits
Group:MathSpace: Difference between revisions
From London Hackspace Wiki
no edit summary
No edit summary |
No edit summary |
||
| Line 18: | Line 18: | ||
|group=MathSpace | |group=MathSpace | ||
|time=18:30 | |time=18:30 | ||
|name=Talks | |name=Talks: Time Travel, Twitter and Logic | ||
|desc= | |desc=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 [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! | |||
}} | }} | ||
