Difference between revisions of "Group:MathSpace"
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, problemsolving 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
Future eventsAll talks listed here are provisional. If you would like to give a talk of suggest a nontalks event, please add it to a date here. For questions and discussion, use our mailing list.
Proposed talks
Past meetings01 May 2015 03 April 2015
20 March 2015
06 March 2015
20 Feb 2015
06 Feb 2015
23 Jan 2015
09 Jan 2015
05 Dec 2014
21 Nov 2014
24 Oct 2014
