Titre : | Tangente. Hors série, 15. Bulletin N°15 - mai 2003 |
Type de document : | Bulletin |
Paru le : | 01/05/2003 |
Dépouillements
Ajouter le résultat dans votre panier
Article : texte imprimé
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'appu[...]

Article : texte imprimé
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.
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |