A partir de cette page vous pouvez :
| Retourner au premier écran avec les dernières notices... |
Catégories
Ajouter le résultat dans votre panier Affiner la rechercheLes jeux de logique / Paris : Archimède (2009) in Tangente (Paris), 129 (07/2009)
Titre : Les jeux de logique Editeur : Paris : Archimède, 2009 Article en page(s) : p.49-63 Langues : Français
in Tangente (Paris) > 129 (07/2009)Résumé : Présentation, en 2009, de jeux de logique et de quelques-uns de leurs auteurs français, Pierre Berloquin, Bernard Myers et Bernard Novelli. Exemples de tests et jeux. Catégories : Jeu
Logique
Logique mathématiqueType : texte imprimé ; documentaire Genre : article de périodique [article] Les jeux de logique [texte imprimé] . - Paris : Archimède, 2009 . - p.49-63.
ISSN : 0987-0806
Langues : Français
in Tangente (Paris) > 129 (07/2009)
Résumé : Présentation, en 2009, de jeux de logique et de quelques-uns de leurs auteurs français, Pierre Berloquin, Bernard Myers et Bernard Novelli. Exemples de tests et jeux. Catégories : Jeu
Logique
Logique mathématiqueType : texte imprimé ; documentaire Genre : article de périodique
Titre : Les maths au péril de la contradiction Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la science, 2019 Article en page(s) : p.78-83 Note générale : Bibliographie. Langues : Français
in Pour la science > 497 (03/2019)Résumé : Le point sur la question de l'existence de contradictions graves dans les mathématiques contemporaines qui entraînerait une remise en cause de leurs fondements : des craintes émises par le mathématicien américain Edward Nelson notamment à propos de l'arithmétique de Peano, les erreurs commises par Nelson dans ses démonstrations, des exemples de contradictions majeures découverts dans l'histoire des mathématiques, la nécessité d'ajustements pour faire disparaître la contradiction, l'intérêt de l'utilisation de l'outil informatique et notamment de la méthode des assistants de preuve pour assurer la rigueur des travaux mathématiques. Catégories : Logique
MathématiquesType : texte imprimé ; documentaire Genre : Article de périodique [article] Les maths au péril de la contradiction [texte imprimé] / Jean-Paul Delahaye, Auteur . - [S.l.] : Pour la science, 2019 . - p.78-83.
ISSN : 0153-4092
Bibliographie.
Langues : Français
in Pour la science > 497 (03/2019)
Résumé : Le point sur la question de l'existence de contradictions graves dans les mathématiques contemporaines qui entraînerait une remise en cause de leurs fondements : des craintes émises par le mathématicien américain Edward Nelson notamment à propos de l'arithmétique de Peano, les erreurs commises par Nelson dans ses démonstrations, des exemples de contradictions majeures découverts dans l'histoire des mathématiques, la nécessité d'ajustements pour faire disparaître la contradiction, l'intérêt de l'utilisation de l'outil informatique et notamment de la méthode des assistants de preuve pour assurer la rigueur des travaux mathématiques. Catégories : Logique
MathématiquesType : texte imprimé ; documentaire Genre : Article de périodique Tractatus logico-philosophicus. / Ludwig Wittgenstein / Paris : Gallimard (03/2004)
Titre : Tractatus logico-philosophicus. Auteurs : Ludwig Wittgenstein Editeur : Paris : Gallimard, 03/2004 Collection : Tel, ISSN 0339-8560 num. 311 Importance : 121 p. Note générale : Traduction, préambule et notes de Gilles-Gaston Granger. Introduction Bertrand Russell. Langues : Français Résumé : Le Tractatus propose une philosophie complète et a pour but non de dire ce qu'est la réalité du monde, mais de délimiter ce qui est pensable, ou exprimable dans un langage. Catégories : Connaissance
Logique
PhilosophieMots-clés : langage Index. décimale : 190 Philosophie occidentale moderne- (XVIe S. à nos jours) Type : texte imprimé ; documentaire Genre : Oeuvre philosophique Tractatus logico-philosophicus. [texte imprimé] / Ludwig Wittgenstein . - Paris : Gallimard, 03/2004 . - 121 p.. - (Tel, ISSN 0339-8560; 311) .
ISBN : 978-2-07-075864-7
Traduction, préambule et notes de Gilles-Gaston Granger. Introduction Bertrand Russell.
Langues : Français
Résumé : Le Tractatus propose une philosophie complète et a pour but non de dire ce qu'est la réalité du monde, mais de délimiter ce qui est pensable, ou exprimable dans un langage. Catégories : Connaissance
Logique
PhilosophieMots-clés : langage Index. décimale : 190 Philosophie occidentale moderne- (XVIe S. à nos jours) Type : texte imprimé ; documentaire Genre : Oeuvre philosophique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 15476 190 WIT Livre CDI Espace documentaires Disponible
Titre : Traité de la réforme de l'entendement Auteurs : Baruch Spinoza, Auteur Editeur : Paris : Gallimard, 1954 Importance : 257 p. Langues : Français Résumé : Reflexion sur les conditions d'accès à la vérité rationnelle. A quelle condition une proposition est-elle vraie? Catégories : Logique Mots-clés : Descartes, René : 1596-1650 Index. décimale : 190 Philosophie occidentale moderne- (XVIe S. à nos jours) Type : texte imprimé ; documentaire Genre : Oeuvre philosophique Traité de la réforme de l'entendement [texte imprimé] / Baruch Spinoza, Auteur . - Paris : Gallimard, 1954 . - 257 p.
ISBN : 978-2-07-032877-2
Langues : Français
Résumé : Reflexion sur les conditions d'accès à la vérité rationnelle. A quelle condition une proposition est-elle vraie? Catégories : Logique Mots-clés : Descartes, René : 1596-1650 Index. décimale : 190 Philosophie occidentale moderne- (XVIe S. à nos jours) Type : texte imprimé ; documentaire Genre : Oeuvre philosophique Exemplaires
Code-barres Cote Support Localisation Section Disponibilité 2454 190 SPI Livre CDI Espace documentaires Disponible 8957 190 SPI Livre CDI Espace documentaires Disponible
