oh great, stephen wolfram is putting his grubby little hands all over My Field now
Conversation
Ahh what a creeper
1
4
Ohhh that's a nice type theory you have there…
1
4
I would like to announce Wolfram Type Theory™ – a new foundation for mathematics that will revolutionize the way we describe and understand the universe!
2
1
15
I now, for the first time show that category theory, topology, logic, and quantum physics are actually deeply linked to Wolfram Type Theory (now implemented in the Wolfram Language), by way of the Wolfram Correspondence.
Funded as part of the Wolfram Physics Project.