AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
Do You Know What an Obstruction Means in Proof Space?
In homotopy and mathematics, can you continuously deform from one path to another? Or do you have to go in a jump, so to speak? My intuition about proof space is you should be able to deform it. We'll know very soon, because we get to do some experiments. This kind of segues to perhaps another thing, which is this whole idea of multi-computation.