Why proof? what is a proof?

Carlo Celluci

1-27

On formal proofs

Andrea Cantini

29-48

Toy models in physics and the reasonable effectiveness of mathematics

Annalisa Marzuoli

49-64

Experimental methods in proofs

Gabriele Lolli

65-79

Proofs verifying programs and programs producing proofs

a conceptual analysis

Dag Prawitz

81-94

The logic of the weak excluded middle

a case study of proof-search

Giovanna Corsi

95-116

Automated search for Gödel's proofs

Wilfried Sieg, Clinton Field

117-140

Proofs as efficient programs

Ugo Dal Lago, Simone Martini

141-157

Quantum combing

Mario Rasetti

159-174

Proofs instead of meaning explanations

understanding classical vs intuitionistic mathematics from the outside

Dag Westerståhl

175-194

Proof as a path of light

Rossella Lupacchini

195-222

Computability and incomputability of differential equations

Guido Gherardi

223-242

Phenomenology of incompleteness

from formal deductions to mathematics and physics

Francis Bailly, Giuseppe Longo

243-271