principe d’omniscience

Il y a 8 résultats avec cette recherche.

2015 Tangente Hors-série. N° 55. Démontrer : l’art de convaincre.

Auteur : Cohen Gilles. Dir.
2015 Bibliothèque Tangente. N° 55. Les démonstrations.

Auteur : Cohen Gilles. Dir.
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.
2009 Bulletin de l’APMEP. N° 483. p. 449-466. Mathématiques constructives.

Auteur : Lombardi Henri
2015 Tangente Hors-série. N° 55. p. 6-8. Cela existe, je l’ai démontré !

Auteur : Delaunay David
2015 Bibliothèque Tangente. N° 55. Cela existe, je l’ai démontré ! p. 18-22.

Auteur : Delaunay David
2011 Pour la Science. N° 410. p. 80-85. La logique de la perfection.

Auteur : Delahaye Jean-Paul