Stephen Wolfram is talking about the Ruliad, Micheal Levin is talking about Platonic Space. They sound very similar… 🤔
And here’s the language of the space (any space!) 🤓
@V_ yes - there is a wide screen version as well as a link to buy it (or share with your family as a Christmas they must buy you!! 🤓)
@thompsonson this has been saved on my bookmarks for ever - because I was going to reply to it - and now I can’t recall what I was going to say - OTHER than for my taste the PURE and APPLIED seperation is too weighted towards Applied - my mind always has that there are orders of magnitude more pure maths to explore than there are applied maths - I need to think about this more - but not really sure what I am trying to say!
@JohnPhilpin I get that, if it’s important it’ll come back!
In the mean time I think you are saying that there are a lot of known unknowns… Like there is something over there but we don’t know what it is…?
I responded immediately and will take a moment to think about it as well, then come back
@thompsonson when i was a lad - and ‘learning’ math(s) - not sure from which side o’ the Atlantic you hail - and definitely before I ‘studies’ the same … my teacher looked at us urchins and said (paraphrasing here as you might guess …)
> imagine if this entire classroom contained everything we know - equations, proofs, theories, concepts, books … everything - about all of mathematics …. now down here in this corner there is a 1 inch cube. That cube is large enough to contain every part of maths that we today can apply.
It stuck with me - and in fact one of the influencers in taking me into the ‘study’ field of ‘pure’ maths.
Whether that was true then … whether it holds today … no idea - but the story has stayed with me. Even to the point of him crouching down in the corner and pointing to that imaginary 1 inch cube.
@JohnPhilpin that’s pretty mind blowing. I am more of an ardent Applied Mathematician than a Pure Mathematician.
I think the strongest example (embarrassing in a funny way with a not-so-humble brag) is my view on Matrix Multiplication.
@JohnPhilpin I was studying it in 2nd year Uni - getting 80% without trying but spending my time questioning what use is multiplication in more than 3 dimensions.
Well the last 3 years have been a strong lesson in that hubris !! And I’ve learnt a lot about the formalisation of Agentic systems.