Liste fiches – Publimath

arithmétique de Peano

Il y a 21 résultats pour cette recherche

2025 Actes du Colloque Raisonner en arithmétique. Est-ce incongru ? Arithmétique et logique. p. 54-72.
Auteur : Cori René
2025 Actes du Colloque « Raisonner en arithmétique. Est-ce incongru ? »
Auteurs : Commission inter-IREM Collège. Ed. ; Commission inter-IREM Lycée. Ed. ; Chabanol Marie-Line. Préf. ; Foulquier Laurianne. Dir. ; Judas Christian. Dir. ; Lambert Patricia. Dir.
2022 Introduction à la théorie de la démonstration.
Auteurs : Galvan Sergio ; Mancosu Paolo ; Zach Richard ; Aggoune Yacine. Trad. ; Appadourai David. Trad. ; Rolland Agathe. Trad. ; Waszek David. Trad.
2022 Bibliothèque Tangente. N° 79. Le raisonnement par récurrence. p. 80-85.
Auteur : Thierry Marc
2022 Bibliothèque Tangente. N° 79. Henri Poincaré.
Auteurs : Cohen Gilles. Dir. ; Aymes Jean. Dir.
2020 Histoires de Mathématiques. Logique. Les axiomes de Peano.
Auteur : Ycart Bernard
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».
Auteur : Cori René
2015 Bulletin de l’APMEP. N° 513. p. 211-226. La récursivité ou l’algorithme sans boucles.
Auteur : Cuppens Roger
2015 La logique pas à pas.
Auteur : Duparc Jacques
2013 Bulletin de l’APMEP. N° 506. p. 600-610. La récurrence au fil des siècles.
Auteur : Legrand Pierre
2013 Bulletin de l’APMEP. N° 502. p. 89-95. Remarques sur les suites de Goodstein.
Auteur : Cuppens Roger
2011 TOUT.
Auteur : Delahaye Jean-Paul
2011 Bulletin de l’APMEP. N° 492. p. 79-87. Les jeux diophantiens.
Auteur : Lafond Michel
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Leçons de mathématiques d’aujourd’hui. Vol. 2.
Auteurs : Godefroy Gilles ; Girard Jean-Yves ; Tenenbaum Gérald ; Morain François ; Waldschmidt Michel ; David Guy ; Bardos Claude ; Karoubi Max ; Fontaine Jean-Marc ; Hindry Marc ; Raynaud Michel ; Keane Michael ; Charpentier Eric. Dir. ; Nikolski Nicolaï Kapitonovitch. Dir. ; Habsieger Laurent. Dir.
1994 Mathématiques constructives.
Auteur : Lombardi Henri
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.
Auteur : Lombardi Henri
1990 Le logotron.
Auteur : Petit Jean-Pierre
1986 Apports de l’informatique en arithmétique.
Auteur : Cuppens Roger
1971 Eléments de logique pour servir à l’enseignement mathématique.
Auteurs : Adda Josette ; Faivre Wilfred