Project: An epistemological investigation of mathematical practice. Construction of a global model focusing on the concept of proof in its various aspects.
01-JAN-00 – 31-DEC-99
In this vast area, at least the following subproblems are to be identified : 1) What is the structure of an actual, concrete proof in contrast with a fully detailed formal proof ? 2) Why is a proof convincing ? 3) How do proofs change ?