roadmap for formal mathematical Physics

5 views
Skip to first unread message

Ben

unread,
Aug 13, 2020, 10:18:37 AM8/13/20
to Physics Derivation Graph
This video https://youtu.be/mlDKnpZ3fQQ outlines the path from informal to formal math. The relation between content tagging, the Physics Derivation Graph, and formal proof assistants is demonstrated using the site https://derivationmap.net/roadmap

Ben

unread,
Aug 25, 2020, 10:00:54 PM8/25/20
to Physics Derivation Graph
An interactive page showing semantic markup is available:
Not all the layers shown in the video have been reproduced. 

Reply all
Reply to author
Forward
0 new messages