@schnoopy@awful.systems on awful.systems
You’ll forgive me, I’m neither lobotmised nor a mathematician.
The poster wants to slop into existance a language for stacking logical statements on top of each other and testing/prooving truthiness but the statements are what? Physics rules?
And once you have this um magic world simulator from first principles (since it would have to be, because the thing about science is we need to do the experiments since we don’t know how things work fully) it will somehow stumble onto RTPSC materials?
K