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
en - English
Other sessions... ... further results

(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 free-style 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 non-objectivity 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.