|
Bulletin N°15 Mention de date : mai 2003 Paru le : 01/05/2003 |
Dépouillements
Ajouter le résultat dans votre panierLe projet de Hilbert in Tangente. Hors-série (Paris), 15 (mai 2003)
Titre : Le projet de Hilbert Type de document : texte imprimé Année : 2003 Article : p. 27-40
in Tangente. Hors-série (Paris) > 15 (mai 2003)Descripteurs : logique mathématique / théorie des ensembles Résumé : Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
Nature du document : documentaire [article]
Le projet de Hilbert
In Tangente. Hors-série (Paris), 15 (mai 2003), p. 27-40
Dossier sur les assertions vraies et non prouvables, le paradoxe du menteur, la preuve de Godel, vrai faux et indéterminé, les énigmes de Raymond Smullyan, les machines de Turing. Comment le programme du mathématicien "formaliste" Hilbert s'appuyant sur une démonstration absolue de la non-contradiction des mathématiques sera mis en cause par les théorèmes d'incomplétude de Godel. Bibliographie.
Titre : La logique élémentaire Type de document : texte imprimé Année : 2003 Article : p. 5-25
in Tangente. Hors-série (Paris) > 15 (mai 2003)Descripteurs : logique mathématique / théorie des ensembles Résumé : Dossier : les bases de la logique depuis Aristote et ses syllogismes, Lewis Caroll, la déduction, le tiers-exclu, ensembles et logique, l'implication, le paradoxe de Carl Hempel. Bibliographie.
Nature du document : documentaire [article]
La logique élémentaire
In Tangente. Hors-série (Paris), 15 (mai 2003), p. 5-25
Dossier : les bases de la logique depuis Aristote et ses syllogismes, Lewis Caroll, la déduction, le tiers-exclu, ensembles et logique, l'implication, le paradoxe de Carl Hempel. Bibliographie.
