Besoin d'aide ? Consultez notre mode d'emploi
Nuage de mots-clés associés à : Finitisme
Le programme de Hilbert
Kosta DOSENSous la direction de Jean-Jacques SZCZECINIARZ, Jean SALLANTINDans Le Concept de preuve à la lumière de l'intelligence artificielle - 1999
Harvard 1940-1941 : Tarski, Carnap, Quine et la question d’un langage mathématique finitiste pour la science
Paolo MANCOSUSous la direction de Pierre WAGNER, Jacques BOUVERESSEDans Mathématiques et expérience. L’empirisme logique à l’épreuve (1918-1940) - 2008
Philosophie des mathématiques
Jacques DUBUCS, Denis BONNAYSous la direction de Anouk BARBEROUSSE, Denis BONNAY, Mikaël COZICDans Précis de philosophie des sciences - 2011