# Videos

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.

# Blog

**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.

# Presentations

**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)

# Papers

**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. Accepted for publication in Topology Proceedings.

**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.