2024
Ce document est lié à :
https://hdl.handle.net/20.500.13089/w0sg
Ce document est lié à :
https://doi.org/10.4000/books.pufc
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/isbn/978-2-84867-994-5
Ce document est lié à :
info:eu-repo/semantics/altIdentifier/isbn/978-2-84867-993-8
info:eu-repo/semantics/openAccess , https://www.openedition.org/12554
Bruno Leclercq, « Preuves formelles, diagrammes et temporalité », Presses universitaires de Franche-Comté
Preuves mathématiques et constructions temporellesDans sa Critique de la raison pure, Emmanuel Kant soutenait que l’arithmétique est fondée dans la forme temporelle de l’intuition sensible dans la mesure où tout dénombrement et toute opération arithmétique supposent la présentation progressive d’unités. Présenter des unités les unes après les autres, donc dans le temps, tel est le « schème » du nombre, c’est-à-dire la méthode générale pour fournir à un concept numérique son image intuitive. Les...