système formel

Il y a 12 résultats avec cette recherche.

1978 Abrégé d’histoire des mathématiques 1700-1900. II.

Auteur : Dieudonné Jean. Dir.
2003 Repères-IREM. N° 50. p. 85-104. Le programme de Hilbert et les mathématiques constructives.

Auteur : Lombardi Henri
1999 Information, complexité et hasard.

Auteur : Delahaye Jean-Paul
2011 TOUT.

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

Auteur : Duparc Jacques
1994 Information, complexité et hasard.

Auteur : Delahaye Jean-Paul
1994 Quatrième Université d’Eté d’Histoire des Mathématiques.

Auteur : Commission inter-IREM Epistémologie et histoire des Mathématiques. Ed.
1994 Quatrième Université d’Eté d’Histoire des Mathématiques. Le théorème de Gödel : Enjeux et signification. p. 139-144.

Auteur : Ferréol Gilles
2003 Repères-IREM. N° 50.

Auteur : Repères-IREM Comité de rédaction. Dir.
1978 Abrégé d’histoire des mathématiques 1700-1900. II. Axiomatique et Logique. p. 315-430.

Auteur : Guillaume Marcel
2005 Bulletin de l’APMEP. N° 459. p. 462-468. Modélisation et contre-expertise.

Auteur : Bouleau Nicolas
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