2018
info:eu-repo/semantics/OpenAccess
Abel Lassalle et al., « Enthymemathical proofs and canonical proofs in Euclid's plane geometry », HAL-SHS : philosophie, ID : 10670/1.rwu8tf
Since the application of Postulate I.2 in Euclid's Elements is not uniform, one could wonder in what way should it be applied in Euclid's plane geometry. Besides legitimizing questions like this from the perspective of a philosophy of mathematical practice, we sketch a general perspective of conceptual analysis of mathematical texts, which involves an extended notion of mathematical theory as system of authorizations, and an audience-dependent notion of proof.