 > 1305 mathématiques > mathématique > logique mathématique
Synonyme(s)logique formelleVoir aussi |
5 Documents disponibles dans cette catégorie
Article de périodique
Le défi des paradoxes
- Dans le périodique : Science & vie junior. Dossier hors série, n°073 (07/2008) p.3-97
En 2008, dossier sur les paradoxes et les contradictions dans le domaine scientifique, complété par une bande dessinée et des jeux.Gödel et l'indécidabilité : des mythes à la réalité
- Dans le périodique : Sciences et avenir (1949), n°945 (11/2025) p.86-88
- Antoine Houlou-Garcia
Retour sur les théorèmes d'incomplétude de Kurt Gödel, un mathématicien autrichien du 20e siècle : son apport pour les mathématiques ; le contexte de leur formulation. Encadré : un exemple d'incomplétude basé sur le combat entre Hercule et l'hydre.A l'hôtel de l'infini
- Dans le périodique : Science & vie junior. Dossier hors série, n°073 (07/2008) p.78-83
- Auteur : Jean Lopez
En 2008, explication sur la notion d'infini en mathématiques : l'exemple de l'hôtel d'Hilbert, le nombre aleph, les nombres entiers naturels, la cardinalité, les découvertes de Georg Cantor, aleph pour comprendre l'infini.Des paradoxes sans fin
- Dans le périodique : Science & vie junior. Dossier hors série, n°119 (09/2016) p.78-89
- Auteur : Robin Jamet
Le point sur les paradoxes scientifiques résolus par les mathématiques : explications et preuves apportées aux problèmes en apparence illogiques (caillou qui n'atteint pas son but, casse-tête de Zénon, l'escargot et le géant, les cubes mangeurs [...]Une simple affaire de logique
- Dans le périodique : Science & vie junior. Dossier hors série, n°087 (04/2011) p.28-33
- Auteur : Robin Jamet
Interview fictive, en 2011, de George Boole, mathématicien anglais du 19e siècle. Encadrés : brève biographie ; rappel du calcul en base 2 ou binaire ; présentation de quelques connecteurs logiques de Boole et leur addition.
