Accueil
Catégories
> 2. Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Faire une suggestion Affiner la rechercheEtendre la recherche sur niveau(x) vers le haut et vers le bas
Article : texte imprimé
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 autopa[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 021939 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
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[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 022098 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Le point en mathématiques sur les paradoxes de la définissabilité : l'exemple du paradoxe de Berry, les notions de théorie et de métathéorie, l'utilité des paradoxes dans la découverte de procédés de démonstration, le paradoxe de Skolem.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 023380 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
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.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0240097 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible texte imprimé
Keith J. Devlin, Auteur ; Céline Laroche, Traducteur | Paris : éd. le Pommier | Poche (Paris. 2006), ISSN 1952-2258 | 2007Présentation des grandes lignes des sept problèmes mathématiques qui constituent encore une énigme à ce jour. Parmi eux figurent l'hypothèse de Riemann sur les nombres premiers, les équations de Navier-Stokes ou encore la conjecture de Hodge sur[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 011970 511 DEV Livre CDI Espace des Documentaires Disponible Article : texte imprimé
Le point sur les avancées de la recherche concernant le concept d'infini en mathématiques : la théorie des ensembles de Georg Cantor ; la question de l'hypothèse du continu ; les différentes recherches pour résoudre la question de l'existence ou[...]Exemplaires
Code-barres Cote Support Localisation Section Disponibilité aucun exemplaire Article : texte imprimé
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 Mo[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0240287 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Jean-Paul Delahaye, Auteur |Le point sur la notion d'indécidabilité en mathématiques : définition, l'utilisation de la logique mathématique pour démontrer que certains énoncés sont indécidables c.-à-d. ni vrai ni faux ; les théorèmes d'incomplétudes de Gödel ; les machines[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 018359 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible texte imprimé
Dan Cryan, Auteur ; Sharron Shatil, Auteur ; Bill Mayblin, Auteur ; Anne Confuron, Traducteur | Les Ulis : EDP sciences | Aperçu | 2015Une introduction à la logique sans connaissances mathématiques préalables. Elle informe sur son histoire, son symbolisme, ses méthodes, ses implications philosophiques et son rôle dans les sciences et techniques contemporaines.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 018477 160 CRY Livre CDI Espace des Documentaires Disponible Article : texte imprimé
Michael Harris, Auteur |Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des mac[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0240161 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Présentation des problèmes aux problèmes de Fermi : principes, le cas pratique de l'épidémie de Covid-19.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 022911 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Le point sur la remise en cause, formulée par le philosophe et logicien Daniel Isaacson, de l'incomplétude du système d'axiomes de Peano : le principe du raisonnement par récurrence, le système d'axiomes de Peano, les théorèmes d'incomplétude én[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 0240470 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Jean-Paul Delahaye, Auteur |Présentation des stratégies à adopter pour résoudre le problème des 50 prisonniers : la stratégie du hasard, la stratégie "Suivre", l'utilisation des mathématiques pour démontrer que la stratégie "Suivre" est la meilleure, présentation de varian[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 018035 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Explication et illustration à partir d'exemples des théorèmes d'incomplétude de Gödel basés sur les assertions indécidables et l'autoréférence. Encadré : un exemple d'une assertion improuvable sans l'axiome du choix.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 022098 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Jean-Paul Delahaye, Auteur |Le point sur les valeurs mathématiques qui permettent de démontrer la maxime "le tout est plus que la somme des parties ", énoncée par Aristote : impossibilité de vérifier la maxime en prenant pour objets mathématiques les ensembles, les problèm[...]Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 019372 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible Article : texte imprimé
Jean-Paul Delahaye, Auteur |Présentation, en mathématiques, du principe des tiroirs, de ses variantes et de ses différentes applications.Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité 019903 Périodique Périodique CDI Espace "Presse" (boîtes d'archives) Disponible
