Tangente. Hors-série, n°15 - Bulletin N°15 (mai 2003)
Est un bulletin de :
Tangente. Hors-série
Articles de ce bulletin
Ajouter le résultat à ma sélectionLa logique élémentaire
- Dans le périodique : Tangente. Hors-série, n°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.
Exclu du prêt
Le projet de Hilbert
- Dans le périodique : Tangente. Hors-série, n°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'appu[...]
Exclu du prêt