Need help? Consult our user guide
Cloud of keywords related to: Finitisme
Le programme de Hilbert
Kosta DOSENEdited by Jean-Jacques SZCZECINIARZ, Jean SALLANTINIn 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 MANCOSUEdited by Pierre WAGNER, Jacques BOUVERESSEIn Mathématiques et expérience. L’empirisme logique à l’épreuve (1918-1940) - 2008
Philosophie des mathématiques
Jacques DUBUCS, Denis BONNAYEdited by Anouk BARBEROUSSE, Denis BONNAY, Mikaël COZICIn Précis de philosophie des sciences - 2011