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.|
|Processing assembly||Assembly:Curry Club Augsburg|
|Language||en - English |
en - English
(Click here to refresh this page.)
|Starts at||2018/12/30 14:00|
|Ends at||2018/12/30 15:00|
|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.