Re-upping (mostly for my future self)0
253 followers
540 followers
RT @archernikov: Apparently model theory of relativity is a whole area, and there is some more recent work aiming to extend this to general…
4,093 followers
Apparently model theory of relativity is a whole area, and there is some more recent work aiming to extend this to general relativity, e.g. a survey "A logic road from special relativity to general relativity" https://t.co/oWehKamBif 10/n
5,030 followers
Early morning exploration on the internet and there’s some mad work happening at Alfréd Rényi institute marrying logic with relativity: https://t.co/RYGdBxQSEd If I am not too far off in my understanding, they are building an axiomatic system that mirrors