CLMPST2019: 16th International Congress of Logic, Methodology and Philosophy of Science and Technology, 5-10 August, Prague.

Contributed symposium

Program:

Panza, Marco: Formalisation and Understanding

Buzzoni, Marco: Thought Experiments between Informal Mathematics and Formalisation

Moshier, Andrew: The Independence of Excluded Middle from Double Negation via Topological Duality

Naibo, Alberto: A formalization of logic and proofs in Euclid's geometry

Szabo, Mate and Patrick Walsh: Gödel's versus Post's formalizations of incompleteness

Wagner, Pierre: Gödel and Carnap on the impact of incompleteness on formalization and understanding

De Toffoli, Silvia: The Epistemic Basing Relation in Mathematics

Eastaugh, Benedict and Marianna Antonutti: Epistemic aspects of reverse mathematics