A series of videos introducing the relationship between Hamiltonian mechanics and determinism/reversibility.
A series of videos on the geometrical meaning of Lagrangian mechanics and its relations to determinism/reversibility.
A series of videos that aim to give an intuitive of vector calculus.
Gabriele Carcassi's blog on foundations of physics. In the blog the project lead tries to make some the concepts accessible to a broader audience. See the index of all posts.
2018/07/18 - The Logic and Topology of Experimentally Verifiable Statements. Presentation given by Gabriele Carcassi at the 33rd Summer Conference on Topology and its Applications, Western Kentucky University. (pdf - pptx)
2017/06/27 - Topology and Physical Distinguishability. Presentation given by Gabriele Carcassi at the 32nd Summer Conference on Topology and its Applications, University of Dayton. (pdf - pptx)
2016/07/16 - From Physical Assumptions To Classical Hamiltonian And Lagrangian Particle Mechanics. Presentation given by Gabriele Carcassi at Foundations2016: the 18th UK and European Conference on Foundations of Physics, London School of Economics. (pdf - pptx)
Towards a general mathematical theory of experimental science (2018): summarizes the logic of verifiable statements.
Topology and experimental distinguishability (2017): first attempt to formalize the first part of the derivation up to topological spaces.
From physical assumptions to classical and quantum Hamiltonian and Lagrangian particle mechanics (2017): the full derivation from the discussion of the basic assumptions to the details of the mathematical frameworks. It serves as a proof of concept and blueprint for the whole project.