Tangente Hors-série. N° 15. Vol. 1. La logique.
Auteur : Cohen Gilles. Dir.
Résumé
Ce fascicule est la première partie du numéro 15 de Tangente Hors-série consacré à la logique.
Sommaire :
* Dossier : La logique élémentaire
– Benoît Rittaud : La logique d’Aristote
– Alain Zalmanski : Lewis Caroll
– Daniel Temam : Les règles de la déduction
– Benoît Rittaud : Le tiers-exclu
– Gérard Cohen-Zardi : Logique et théorie des ensembles
– Gérard Cohen-Zardi : Le moteur logique : l’implication
– Daniel Barthe : Le paradoxe de Hempel
* Dossier : Le projet de Hilbert
– Hervé Lehning : Le projet de Hilbert
– Michel Criton : Le paradoxe du menteur
– Christophe Tollu : La chute de la maison Hilbert
– Martin Jardin : Le vrai, le faux et l’indéterminé
– Alain Zalmanski : Raymond Smullyan
– Hervé Lehning : Les machines de Turing
* Dossier : Jeux logiques
– Gérard Cohen-Zardi : Les énigmes d’Oedipeland
– Alain Zalmanski et Michel Criton : En toute logique
– Jim Propp : Test d’aptitude autoréférentielle
Notes
Tous les articles de ce volume comme ceux du second volume sont repris dans l’ouvrage Bibliothèque Tangente n° 15 – La logique.
Données de publication
Éditeur Editions POLE Paris , 2003 Format A4, 56 p. Index Bibliogr. pag. mult.
ISSN 1294-9949
Public visé élève ou étudiant, enseignant, tout public Niveau 1re, 2de, licence, lycée, terminale Âge 15, 16, 17, 18, 19
Type périodique ou revue, vulgarisation, popularisation Langue français Support papier
Classification
Mots-clés
- axiomatique de Zermelo-Fraenkel
- axiomatique formelle
- axiome de Peano
- biographie
- calcul des propositions
- calculabilité
- Carroll Lewis
- connecteur de Sheffer
- connecteur logique
- crise des fondements des mathématiques
- histoire de l'informatique
- implication – logique –
- logique d'Aristote
- logique démonstrative
- logique et raisonnement
- logique formelle
- logique mathématique
- machine de Turing
- mathématiques et littérature
- mathématiques et philosophie
- mathématiques grecques
- mathématiques récréatives
- modélisation de la notion d'algorithme
- paradoxe de Russell
- paradoxe du menteur
- paradoxe logico-mathématique
- preuve en mathématiques
- principe de non-contradiction
- principe du tiers exclu
- problème d'autoréférence
- programme de Hilbert
- raisonnement inductif
- raisonnement mathématique
- raisonnement par récurrence
- Smullyan Raymond
- syllogisme
- table de vérité
- théorèmes d'incomplétude de Gödel
- théorie des ensembles
- valeur de vérité