Wondrous Mathematics: Fundamental limits of mathematical reasoning
From 35C3 Wiki
Description  (NOT a talk, but a conversation) One can mathematically rigorously prove that there are certain fundamental limits to mathematical reasoning. This talk explains what these limits are, how we know about them and how we deal with them. 

Website(s)  
Type  Talk 
Kids session  No 
Keyword(s)  science 
Tags  mathematics, logic 
Processing assembly  Assembly:Curry Club Augsburg 
Person organizing  Iblech 
Language  en  English 
Other sessions...

(Click here to refresh this page.)
Starts at  2018/12/30 14:00 

Ends at  2018/12/30 15:00 
Duration  60 minutes 
Location  Room:Lecture room M1 
Unfortunately, we didn't have time to prepare this session as a proper talk. Hence this will be a more freestyle conversation session. It will start as an appendix to the talk on large, very large and very very large numbers; we will meet OUTSIDE OF M1.
It turns out that there are certain limits to mathematical reasoning. By this we don't mean limits of mathematical reasoning with respect to human emotion, music, relationship or politics, but rather fundamental limits of logics: True statements for which we can prove that we can't prove them. This can be illustrated by the epic battle of Herkula against the hydra. There is also certain surprising nonobjectivity in mathematics. And there is a notion of alternative mathematical universes ("toposes"), in which not the usual laws of logic hold. We can touch on all these topics.
Please note that there will be substantial overlap with the 34c3 talk on faith in mathematics.