307
edits
Group:MathSpace: Difference between revisions
From London Hackspace Wiki
m
→Next Event
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! | ||
