23:10
-
00:00
-
00:00
Tag 2
Wondrous mathematics: Exploring hypercomputation with the effective topos
Introduction to hypercomputation, fictitious machines which can compute for longer than infinity, in combination with exploring certain alternative mathematical universes built from such machines. **Not a well-prepared talk, more a conversation.** We meet at the elevators a couple meters left of Stage Y.
[Here is a list of other sessions from our group.](https://chaos.quasicoherent.io/)
🧮
Ort
We meet at the elevators a couple meters left of Stage Y