Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 9 of 9
21st-century Physics (slide 7) done with 21st-century Mathematics.
Thanks for the announcement. Just did some last touches on the slides and on the page that hosts them.
I am lucky that I didn’t oversleep my own talk. I have this vision that one should organize conference meetings in a way that one can always fly westwards: say first a meeting in Paris, then on the US east coast, then on the west coast, then in Japan, etc. Flying west I find enjoyable and in fact relaxing. I suspect my internal biorythm, if I were to live in a cave, would come out at 29 hours or so. Accordingly, flying east tends to knock me out of reality.
Did you manage to cover half of that material in 50 minutes?
Typos
I went through Part I just fine, as intended. You’ll be able to judge for yourself when the video recording comes online.
But I like to include more background information in the slides than what I actually say in a talk. I am thinking: the talk lasts a few minutes, attended by a few handful; but the slides will stay on the conference webpage forever, visible to everyone. So I ought to prepare the slides not just for the primary live audience, but also for the secondary audience. Maybe I fail, but that’s the idea.
Thanks for catching typos! Fixing now.
Ah, the apparently un-rendered \nothing on slides 28-29 was intentional. I thought this was both: more funny but also more serious than saying “nothing” at this point. But maybe I am getting lost in ideosyncracy here.
Perhaps that evokes better the image you described once:
I have this image in my head, to go with this: a computer as in the old times, no graphical user interface. But Coq preinstalled. You switch it on. The screen pitch black, save for the green cursor box blinking in the top left.
This is the image of the universe before creation. That black screen with nothing on it except that intensional dependent type theory is running in the background. And no input yet: in the Coq-kernel, in the register for “context” it reads:
emptyas in
Inductive : empty : Type :=and then nothing.
Has anyone at the conference other than you spoken about what this “new kind of geometry” will look like from the perspective of mathematics (or even philosophy)?
Slide 68 speaks of lifting beyond the infinitesimal, rational approximation reached at the M-brane top of the brane bouquet. With your conviction now in Hypothesis H, does this increase for you the plausibility of lifting the whole brane bouquet, perhaps by way of the spectral superpoint?
It’s become more plausible yes. But I still have no idea how to lift the bouquet in total beyond super-rational homotopy theory. But also, I haven’t been thinking about it any further, being busy in other sectors of the story.
1 to 9 of 9