Dépouillements

La logique élémentaire in Tangente. Hors-série, 15 (mai 2003)

Public Bibliographie [article]  inTangente. Hors-série > 15 (mai 2003) Titre : La logique élémentaire Type de document : texte imprimé Année : 2003 Article : p. 5-25 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, 15 (mai 2003), p. 5-25.

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Le projet de Hilbert in Tangente. Hors-série, 15 (mai 2003)

Public Bibliographie [article]  inTangente. Hors-série > 15 (mai 2003) Titre : Le projet de Hilbert Type de document : texte imprimé Année : 2003 Article : p. 27-40 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, 15 (mai 2003), p. 27-40.

Aucun avis, veuillez vous identifier pour ajouter le vôtre !