Mots-clés – Auteurs

théorie de la démonstration

Il y a 21 résultats pour cette recherche

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.
2020 C.Q.F.D.
Auteurs : Pradeau Yan ; Benjamin Yves. Collab.
2019 Généalogie des mathématiques.
Auteur : Séguy-Duclot Alain
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.
Auteur : Schabanel Nicolas
2015 Bibliothèque Tangente. N° 55. Les démonstrations.
Auteur : Cohen Gilles. Dir.
2015 La logique pas à pas.
Auteur : Duparc Jacques
2014 Bulletin de l’APMEP. N° 511. p. 531-536. Les trois voyages du chameau.
Auteur : Langlois Philippe
2014 Vidéo de l’IREM de Paris – Conférences. A propos de la théorie des démonstrations (du programme de Hilbert aux programmes tout court).
Auteur : Krivine Jean-Louis
2013 Raisonnements divins.
Auteurs : Aigner Martin ; Ziegler Günter M. ; Puech Nicolas. Trad. ; Morvan Jean-Marie. Trad. ; Hofmann Karl Heinrich. Illust.
2011 Justifier en mathématiques.
Auteurs : Flament Dominique. Dir. ; Nabonnand Philippe. Dir. ; Boniface Jacqueline. Collab. ; Ferreirós José. Collab. ; Gauthier Sébastien. Collab. ; Goldstein Catherine. Collab. ; Legris Javier. Collab. ; Volkert Klaus. Collab.
2007 Vidéo de l’IREM de Paris – Séminaire de l’IREM de Paris. Tout ce que vous avez toujours voulu savoir sur la logique et qu’on n’a jamais voulu vous révéler.
Auteur : Lacombe Daniel
2006 Raisonnements divins.
Auteurs : Aigner Martin ; Ziegler Günter M. ; Puech Nicolas. Trad. ; Morvan Jean-Marie. Trad. ; Hofmann Karl Heinrich. Illust.
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.
Auteur : Regnier Laurent
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.
Auteur : Lombardi Henri
2003 Repères-IREM. N° 50.
Auteur : Repères-IREM Comité de rédaction. Dir.
2002 Raisonnements divins.
Auteurs : Aigner Martin ; Ziegler Günter M. ; Puech Nicolas. Trad. ; Morvan Jean-Marie. Trad. ; Hofmann Karl Heinrich. Illust.
2002 Repères-IREM. N° 49. p. 17-40. Démontrer, pourquoi ?
Auteur : Carral Michel
2002 Repères-IREM. N° 49.
Auteur : Repères-IREM Comité de rédaction. Dir.
2001 Introduction à la logique.
Auteurs : David René ; Nour Karim ; Raffalli Christophe
1993 Démonstration et signification en mathématiques.
Auteur : Wallet Guy
1980 Les démonstrations de cohérence de l’arithmétique.
Auteur : Girard Jean-Yves