Descripteurs
> 1305 mathématiques > mathématique > logique mathématique
logique mathématiqueSynonyme(s)logique formelleVoir aussi |
Documents disponibles dans cette catégorie (10)
Ajouter le résultat dans votre panier Affiner la recherche
L'autoréférence. 1 / Archimède (2019) in Tangente (Paris), 191 (12/2019)
[article]
Titre : L'autoréférence. 1 Type de document : texte imprimé Editeur : Archimède, 2019 Article : p.37-52 Note générale : Bibliographie, webographie. Langues : Français (fre)
in Tangente (Paris) > 191 (12/2019)Descripteurs : logique / logique mathématique / suite mathématique Résumé : Dossier consacré à la notion d'autoréférence. L'autoréférence comme source de jeux et de paradoxes logiques utiles, dans le domaine des lettres, des mathématiques (systèmes de numération, suite fractale, ensembles de Mandelbrot, ensembles autopavables, autoglyphes), des arts (Magritte, Plantu), de la psychanalyse. La résolution de jeux autoréférents par l'utilisation de la méthode des approximations successives. Des exemples d'autoréferences chiffrées et textuelles (Douglas Hofstadter, Eric Chevillard, Groucho Marx, Pierre Dac). Histoire et décryptage de la suite mathématique de Conway appelée suite look and say comme suite audiodescriptive ou suite audioactive ; les nombres autoaudioactifs ; le tableau périodique des éléments audioactifs ; le théorème chimique ; le théorème cosmologique ou théorème du vingt-quatrième jour et sa démonstration par Shalosh B. Ekhad et Doron Zeilberger. Les nombres autobiographiques et leur extension (nombres autodécrits), les nombres de Skolem-Langford, la suite mathématique de Kolakoski K, la suite K triple (triplement fractale), le principe de la concaténation. Encadrés : présentation du mathématicien John Conway et de ces centres d'intérêt ; présentation mathématique et représentation graphique de la constante de Conway avec les soixante et onze racines du polynôme la composant. Nature du document : documentaire Genre : Article de périodique [article] L'autoréférence. 1 [texte imprimé] . - Archimède, 2019 . - p.37-52.
Bibliographie, webographie.
Langues : Français (fre)
in Tangente (Paris) > 191 (12/2019)
Descripteurs : logique / logique mathématique / suite mathématique Résumé : Dossier consacré à la notion d'autoréférence. L'autoréférence comme source de jeux et de paradoxes logiques utiles, dans le domaine des lettres, des mathématiques (systèmes de numération, suite fractale, ensembles de Mandelbrot, ensembles autopavables, autoglyphes), des arts (Magritte, Plantu), de la psychanalyse. La résolution de jeux autoréférents par l'utilisation de la méthode des approximations successives. Des exemples d'autoréferences chiffrées et textuelles (Douglas Hofstadter, Eric Chevillard, Groucho Marx, Pierre Dac). Histoire et décryptage de la suite mathématique de Conway appelée suite look and say comme suite audiodescriptive ou suite audioactive ; les nombres autoaudioactifs ; le tableau périodique des éléments audioactifs ; le théorème chimique ; le théorème cosmologique ou théorème du vingt-quatrième jour et sa démonstration par Shalosh B. Ekhad et Doron Zeilberger. Les nombres autobiographiques et leur extension (nombres autodécrits), les nombres de Skolem-Langford, la suite mathématique de Kolakoski K, la suite K triple (triplement fractale), le principe de la concaténation. Encadrés : présentation du mathématicien John Conway et de ces centres d'intérêt ; présentation mathématique et représentation graphique de la constante de Conway avec les soixante et onze racines du polynôme la composant. Nature du document : documentaire Genre : Article de périodique Ces paradoxes qui ébranlèrent les mathématiques / Bertrand Hauchecorne / Archimède (2020) in Tangente (Paris), 192 (02/2020)
[article]
Titre : Ces paradoxes qui ébranlèrent les mathématiques Type de document : texte imprimé Auteurs : Bertrand Hauchecorne, Auteur Editeur : Archimède, 2020 Article : p.28-30 Note générale : Bibliographie. Langues : Français (fre)
in Tangente (Paris) > 192 (02/2020)Descripteurs : logique mathématique / théorie des ensembles Mots-clés : raisonnement scientifique Résumé : Présentation du théorème sur la cardinalité de l'ensemble des parties d'un ensemble de Georg Cantor dont la démonstration (diagonale de Cantor) est basée sur l'autoréférence (circularité ou raisonnement circulaire) : le paradoxe de Russell ; les paradoxes mis en lumière par Jules Richard, les mots hétérologiques de Kurt Grelling et Leonard Nelson ; les réticences de Jules Henri Poincaré en matière de logistique et la réponse à celles-ci de Bertrand Russell favorable à une refonte des fondements de la logique (théorie des types). Encadré : le théorème de Cantor. Nature du document : documentaire Genre : / Article de périodique/Article de périodique [article] Ces paradoxes qui ébranlèrent les mathématiques [texte imprimé] / Bertrand Hauchecorne, Auteur . - Archimède, 2020 . - p.28-30.
Bibliographie.
Langues : Français (fre)
in Tangente (Paris) > 192 (02/2020)
Descripteurs : logique mathématique / théorie des ensembles Mots-clés : raisonnement scientifique Résumé : Présentation du théorème sur la cardinalité de l'ensemble des parties d'un ensemble de Georg Cantor dont la démonstration (diagonale de Cantor) est basée sur l'autoréférence (circularité ou raisonnement circulaire) : le paradoxe de Russell ; les paradoxes mis en lumière par Jules Richard, les mots hétérologiques de Kurt Grelling et Leonard Nelson ; les réticences de Jules Henri Poincaré en matière de logistique et la réponse à celles-ci de Bertrand Russell favorable à une refonte des fondements de la logique (théorie des types). Encadré : le théorème de Cantor. Nature du document : documentaire Genre : / Article de périodique/Article de périodique Les diagrammes chez Lewis Carroll / Cesco Reale / Archimède (2022) in Tangente (Paris), 205 (05/2022)
[article]
Titre : Les diagrammes chez Lewis Carroll Type de document : texte imprimé Auteurs : Cesco Reale Editeur : Archimède, 2022 Article : p.16-17 Langues : Français (fre)
in Tangente (Paris) > 205 (05/2022)Descripteurs : jeu éducatif / logique mathématique Mots-clés : schéma et diagramme Résumé : Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas. Nature du document : documentaire Genre : Article de périodique [article] Les diagrammes chez Lewis Carroll [texte imprimé] / Cesco Reale . - Archimède, 2022 . - p.16-17.
Langues : Français (fre)
in Tangente (Paris) > 205 (05/2022)
Descripteurs : jeu éducatif / logique mathématique Mots-clés : schéma et diagramme Résumé : Présentation du jeu de la logique inventé par Lewis Carroll : la représentation des prémisses ; le carré triadique d'opposition. Encadré : le vocabulaire de la Reine des merveilles. Schémas. Nature du document : documentaire Genre : Article de périodique Un génie hors des sentiers battus / Bertrand Hauchecorne / Archimède (2022) in Tangente (Paris), 206 (07/2022)
[article]
Titre : Un génie hors des sentiers battus Type de document : texte imprimé Auteurs : Bertrand Hauchecorne Editeur : Archimède, 2022 Article : p.18-20 Langues : Français (fre)
in Tangente (Paris) > 206 (07/2022)Descripteurs : logique mathématique Mots-clés : époque contemporaine (19e-21e siècle) Résumé : Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Morgan (algèbre de la logique), Charles Peirce (logique propositionnelle), Giuseppe Peano (axiomatique) ; les apports de Bertrand Russel (logicisme, théorie des ensembles, notion d'autoréférence en logique) et d'Alfred Whitehead (logicisme) ; la théorie des types. Encadré : présentation de l'ouvrage Principles of Mathematics (objectifs, contenu) de B. Russel s'intéressant à l'approche logiciste des mathématiques. Bibliographie. Nature du document : documentaire Genre : Article de périodique [article] Un génie hors des sentiers battus [texte imprimé] / Bertrand Hauchecorne . - Archimède, 2022 . - p.18-20.
Langues : Français (fre)
in Tangente (Paris) > 206 (07/2022)
Descripteurs : logique mathématique Mots-clés : époque contemporaine (19e-21e siècle) Résumé : Le point sur l'élaboration progressive de la logique mathématique à partir du 19e siècle (construction des fondements des mathématiques sur un édifice théorique) : les apports des mathématiciens Carl Gustav Jacobi, George Boole et Augustus de Morgan (algèbre de la logique), Charles Peirce (logique propositionnelle), Giuseppe Peano (axiomatique) ; les apports de Bertrand Russel (logicisme, théorie des ensembles, notion d'autoréférence en logique) et d'Alfred Whitehead (logicisme) ; la théorie des types. Encadré : présentation de l'ouvrage Principles of Mathematics (objectifs, contenu) de B. Russel s'intéressant à l'approche logiciste des mathématiques. Bibliographie. Nature du document : documentaire Genre : Article de périodique Les jeux de logique / Archimède (2009) in Tangente (Paris), 129 (07/2009)
[article]
Titre : Les jeux de logique Type de document : texte imprimé Editeur : Archimède, 2009 Article : p.49-63 Langues : Français (fre)
in Tangente (Paris) > 129 (07/2009)Descripteurs : jeu / logique / logique mathématique 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. Nature du document : documentaire Genre : Article de périodique [article] Les jeux de logique [texte imprimé] . - Archimède, 2009 . - p.49-63.
Langues : Français (fre)
in Tangente (Paris) > 129 (07/2009)
Descripteurs : jeu / logique / logique mathématique 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. Nature du document : documentaire Genre : Article de périodique PermalinkPermalinkDes mathématiques partout ! / Archimède (2018) in Tangente. Hors-série (Paris), 068 (10/2018)
PermalinkLe naturaliste et le mathématicien. Exemples et contre-exemples / Didier Nordon in Tangente (Paris), 113 Suppl. (novembre 2006)
PermalinkLes théorèmes d'incomplétude de Gödel / Hervé Lehning / Archimède (2020) in Tangente (Paris), 192 (02/2020)
Permalink