Exploring alternate mathematical universes with hypercomputation (Wondrous Mathematics)

From 33C3_Public_Wiki
Jump to: navigation, search
Description This talk gives a leisurely introduction to constructive mathematics, a variant of classical mathematics where we drop some of the standard axioms of ordinary reasoning. This allows us to adopt classically inconsistent "dream axioms" and explore curious alternate mathematical universes. In the talk we'll focus on a wondrous connection to models of computation, both standard ones such as ordinary programming languages and exotic models such as hypercomputation which allow for infinitely many steps in finite time and which push the laws of physics to their limits. The special properties of these alternative universes then depend on the nature of our physical reality.
Type Talk
Kids session No
Tags mathematics, logic, hypercomputation
Person organizing Iblech
Language en - English
en - English
Other sessions...


Starts at 2016/12/28 14:00
Ends at 2016/12/28 14:50
Duration 50 minutes
Location Hall A.1

The usual view is that any mathematical statement about numbers or other mathematical objects has a definite, objective meaning independent of human sentiments. More precisely, though, mathematics rests on a set of agreed-upon axioms. These are to some extent man-made and can be varied in interesting ways. The basic tenet of constructive mathematics is to drop the axiom that any statement must either be true or not true. This unlocks several new axioms which are classically plainly false but are compatible with constructive mathematics, yielding alternative mathematical universes which can even be tailored to specific applications.

It turns out that any model of computation gives rise to such an alternative universe. What do these universes look like? Which statements of classical mathematics carry over? And which new statements hold?

The answers depend on the chosen model of computation. We obtain especially interesting answers in the case that we employ models of hypercomputation, where computers can perform infinitely many calculational steps in finite time, and physical models about the real world. In the latter case, statements which are in classical mathematics simply true become non-trivial statements about the nature of the physical world.

The talk is aimed at people who enjoy mathematical thinking, but absolutely no prerequisites in formal logic are needed. You should have superficial knowledge on the Halting problem (it suffices to having read the Wikipedia entry at some point in your life). The talk reports on work by Andrej Bauer.

Talk-related resources: