Session:Wondrous mathematics: A primer to the settheoretic multiverse philosophy (a guided tour to the limits of mathematical reasoning)
Description  This is a talk about the foundational crisis in mathematics and its resolution, Gödel incompleteness phenomena ("there are true statements which are provably unprovable"), unknowability concerning infinity (the continuum hypothesis) and a new philosophy which gives an intriguing and coherent common perspective on these topics. 

Website(s)  https://iblech.gitlab.io/bb/multiverse.html 
Type  Talk 
Kids session  No 
Keyword(s)  science 
Tags  mathematics, logic, incompleteness, settheory 
Processing assembly  Assembly:Curry Club Augsburg 
Person organizing  Iblech 
Language  en  English 
Other sessions...

(Click here to refresh this page.)
Starts at  2019/12/29 22:40 

Ends at  2019/12/29 23:40 
Duration  60 minutes 
Location  Room:Lecture room M2 
The talk gives a primer to the settheoretic multiverse philosophy, which was recently put forward by Joel David Hamkins.
To enjoy the the talk, you should have an interest in the intersection of mathematics and philosophy, but you don't need to bring any specific mathematical or logical prerequisites. This talk is an invitation to follow along and ask lots of questions on the way. :)
Note to participants of older talks about alternative mathematical universes: This talk does, for a change, not discuss the toposes of those talks. :) It's about the new settheoretic philosophy by Joel David Hamkins!
Bring something to sit on (perhaps a jacket or coat), because we might need to move in front of M2.
Some pointers to things we discussed after the session:
 Fan fiction by Eliezer Yudkowsky about a team of multiversetraveling superheroes
 Permutation City by Greg Egan, an intriguing hard science fiction novel touching on living in digital simulations and discussing whether the computational substrate digital beings run on is actually relevant
 By David Corfield: the book Towards a Philosophy of Real Mathematics, a paper about a typetheoretic treatment of the definitive article "the", slides about a typetheoretic treatment of the connective "and"
 An explicit equation which we believe to not possess any solutions but such that Peano Arithmetic (PA) cannot prove this fact
 Change Agent by Daniel Suarez (containing a subplot involving a person with flipped chirality)