Session:Wondrous mathematics: A primer to the set-theoretic 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, set-theory |
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 set-theoretic 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 set-theoretic 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 multiverse-traveling 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 type-theoretic treatment of the definitive article "the", slides about a type-theoretic 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)