Catégories
 > 2. Science > 2.15 Mathématiques et statistiques > Mathématiques > Logique mathématique
Logique mathématiqueVoir aussi |
Documents disponibles dans cette catégorie (42)
Ajouter le résultat dans votre panier Affiner la recherche
Article : texte imprimé
Présentation du principe d'analogie dans les raisonnements mathématiques.Article : texte imprimé
Paul Egré, Auteur |Origine et évolution, depuis 1950, du rapport entre logique et linguistique : structure du langage naturel et analyse de la théorie du syllogisme d'Aristote ; langage formel reposant sur l'idéographie de Gottlob Frege et analyse logique de Bertr[...]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[...]Article : texte imprimé
Présentation de quelques paradoxes mathématiques ou logiques illustrés par des dessins de Philippe Geluck.Article : texte imprimé
Mark Van Atten, Auteur |Exposé des conceptions des mathématiques et de la logique énoncées à la fin du 19e siècle et au début du 20e siècle par Luitzen Brouwer et Kurt Gödel qui s'appuyaient sur des fondements philosophiques différents. Historique, divergences et conve[...]Article : texte imprimé
Bertrand Hauchecorne, Auteur |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[...]Article : texte imprimé
Dossier sur la logique : ses fondements antiques et médiévaux ; les nouvelles interrogations qu'elle suscite dès lors qu'elle rencontre les mathématiques au début du 20e siècle ; examen de la cohabitation contemporaine des différents aspects de [...]Article : texte imprimé
Bernard Walliser, Auteur |Principes et finalité de la logique épistémique qui formalise la structure et la révision des croyances croisées entre acteurs ; son application dans la théorie des jeux, fondée en 1944 par le mathématicien John Von Neumann et l'économiste Oskar[...]Article : texte imprimé
Jean-Paul Delahaye, Auteur |Les développements de la logique et de l'informatique permettent de redéfinir la notion de démonstration. Examen du cas des preuves graphiques : "les preuves sans mot", les preuves animées, les démonstrations aidées par l'ordinateur comme la dém[...]Article : texte imprimé
Adelin Albert, Auteur ; Jacques Bair, Auteur |Comparaison entre la logique du raisonnement mathématique et le raisonnement de plausibilité d'un médecin pour établir un diagnostic. Encadré : rappels sur les probabilités conditionnelles.Article : texte imprimé
Jean-Pierre Dupuy, Auteur |Présentation de la stratégie dominante ou individuelle dans le paradoxe des prisonniers. Encadré sur la théorie des métajeux de Howard. Bibliographie.Article : texte imprimé
Pascal Kaeser, Auteur |Pour ressortir d'un tableau, un visiteur qui y est piégé doit résoudre l'énigme mathématique proposée par le personnage du dessin. Son premier raisonnement est fondé sur l'axiome de récurrence, le second se heurte à la notion d'antiréfutabilité.Article : texte imprimé
Point sur l'évolution du statut de l'angle avec les mathématiques : l'utilisation de la trigonométrie par les astronomes de l'Antiquité et du Moyen Age ; l'apport des mathématiciens Antoine Arnauld (17e siècle) et Alexis Clairaut (18e siècle) da[...]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[...]Article : texte imprimé
Jean-Louis Legrand, Auteur |Application de la théorie des graphes et de la formule d'Euler dans les jeux mathématiques et logiques. Leur utilisation dans la démonstration de l'existence de certains polyèdres.
