théorie de la démonstration

Il y a 21 résultats avec cette recherche.

2006 Raisonnements divins.

Auteurs : Aigner Martin ; Ziegler Günter M. ; Puech Nicolas. Trad. ; Morvan Jean-Marie. Trad. ; Hofmann Karl Heinrich. Illust.
2013 Raisonnements divins.

Auteurs : Aigner Martin ; Ziegler Günter M. ; Puech Nicolas. Trad. ; Morvan Jean-Marie. Trad. ; Hofmann Karl Heinrich. Illust.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
2002 Repères-IREM. N° 49.

Auteur : Repères-IREM Comité de rédaction. 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.
2020 C.Q.F.D.

Auteurs : Pradeau Yan ; Benjamin Yves. Collab.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.

Auteur : Lombardi Henri
2002 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.
2015 La logique pas à pas.

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

Auteur : Repères-IREM Comité de rédaction. Dir.
2001 Introduction à la logique.

Auteurs : David René ; Nour Karim ; Raffalli Christophe
1980 Les démonstrations de cohérence de l’arithmétique.

Auteur : Girard Jean-Yves
2019 Généalogie des mathématiques.

Auteur : Séguy-Duclot Alain
2002 Repères-IREM. N° 49. p. 17-40. Démontrer, pourquoi ?

Auteur : Carral Michel
2015 Bibliothèque Tangente. N° 55. La démonstration automatique : un enjeu crucial. p. 144-147.

Auteur : Schabanel Nicolas
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
2003 Quadrature. N° 49. p. 13-22. Les limites de la correspondance preuve/programme.

Auteur : Regnier Laurent
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
1993 Démonstration et signification en mathématiques.

Auteur : Wallet Guy