arithmétique de Peano

Il y a 19 résultats avec cette recherche.

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.
2015 Bulletin de l’APMEP. N° 513. p. 211-226. La récursivité ou l’algorithme sans boucles.

Auteur : Cuppens Roger
2020 Histoires de Mathématiques. Logique. Les axiomes de Peano.

Auteur : Ycart Bernard
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.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.

Auteur : Lombardi Henri
2011 TOUT.

Auteur : Delahaye Jean-Paul
2015 La logique pas à pas.

Auteur : Duparc Jacques
2003 Repères-IREM. N° 50.

Auteur : Repères-IREM Comité de rédaction. Dir.
2013 Bulletin de l’APMEP. N° 506. p. 600-610. La récurrence au fil des siècles.

Auteur : Legrand Pierre
2022 Bibliothèque Tangente. N° 79. Le raisonnement par récurrence. p. 80-85.

Auteur : Thierry Marc
2011 Bulletin de l’APMEP. N° 492. p. 79-87. Les jeux diophantiens.

Auteur : Lafond Michel
1971 Eléments de logique pour servir à l’enseignement mathématique.

Auteurs : Adda Josette ; Faivre Wilfred
1994 Mathématiques constructives.

Auteur : Lombardi Henri
1986 Apports de l’informatique en arithmétique.

Auteur : Cuppens Roger
1994 Mathématiques constructives. Notes sur le formalisme en mathématiques. p. 39-70.

Auteur : Lombardi Henri
1990 Le logotron.

Auteur : Petit Jean-Pierre
2022 Bibliothèque Tangente. N° 79. Henri Poincaré.

Auteurs : Cohen Gilles. Dir. ; Aymes Jean. Dir.
2018 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Les propositions mathématiques « indécidables ».

Auteur : Cori René
2013 Bulletin de l’APMEP. N° 502. p. 89-95. Remarques sur les suites de Goodstein.

Auteur : Cuppens Roger