Centre
Bruxellois de
Documentation
Pédagogique
Sujets
(10)
Ajouter le résultat dans votre panier Affiner la recherche
Les 20 idées scientifiques qui ont changé le monde : dossier / Sylvie Redon-Clauzard in Science & Vie Junior. Hors-Série, n°115 (décembre 2015)
L'autoréférence (2) / Bertrand Hauchecorne in Tangente, n°192 (février / mars 2020)
[article]
Titre : L'autoréférence (2) : les raisonnements circulaires Type de document : texte imprimé Auteurs : Bertrand Hauchecorne, Auteur Année de publication : 2020 Article en page(s) : p. 27/41 Langues : Français (fre) Sujets : Gödel (Kurt) ; logique mathématique ; paradoxe Résumé : "Georg Cantor et sa théorie des ensembles ont ébranlé les fondements des mathématiques en mettant en évidence les raisonnements circulaires, c'est-à-dire faisant référence à eux-mêmes. Au tournant du XXe siècle, ses paradoxes surgissent sous la plume de Burali-Forti, de Russell et de Richard, plongeant Frege dans la consternation. Kurt Gödel montre que certaines assertions ne peuvent être démontrées ou réfutées dans un cadre axiomatique donné, mettant un terme négatif à un célèbre problème posé par Hilbert.
L'autoréférence se retrouve aussi en littérature, dans la peinture, la sculpture et dans la presse où, volontaire ou non, elle fait sourire."Note de contenu : Sommaire :
Ces paradoxes qui ébranlèrent les mathématiques / Bertrand Hauchecorne
Quand les œuvres parlent d'elles-mêmes / Éric Angelini
Les théorèmes d'incomplétude de Gödel / Hervé Lehning
En bref : Autoréférence à tous les étages / Éric Angelini
En bref : Autoréférence pure et impure / Éric Angelini
En bref : Querelles et paradoxes / Bertrand HauchecornePermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=20915
in Tangente > n°192 (février / mars 2020) . - p. 27/41[article] L'autoréférence (2) : les raisonnements circulaires [texte imprimé] / Bertrand Hauchecorne, Auteur . - 2020 . - p. 27/41.
Langues : Français (fre)
in Tangente > n°192 (février / mars 2020) . - p. 27/41
Sujets : Gödel (Kurt) ; logique mathématique ; paradoxe Résumé : "Georg Cantor et sa théorie des ensembles ont ébranlé les fondements des mathématiques en mettant en évidence les raisonnements circulaires, c'est-à-dire faisant référence à eux-mêmes. Au tournant du XXe siècle, ses paradoxes surgissent sous la plume de Burali-Forti, de Russell et de Richard, plongeant Frege dans la consternation. Kurt Gödel montre que certaines assertions ne peuvent être démontrées ou réfutées dans un cadre axiomatique donné, mettant un terme négatif à un célèbre problème posé par Hilbert.
L'autoréférence se retrouve aussi en littérature, dans la peinture, la sculpture et dans la presse où, volontaire ou non, elle fait sourire."Note de contenu : Sommaire :
Ces paradoxes qui ébranlèrent les mathématiques / Bertrand Hauchecorne
Quand les œuvres parlent d'elles-mêmes / Éric Angelini
Les théorèmes d'incomplétude de Gödel / Hervé Lehning
En bref : Autoréférence à tous les étages / Éric Angelini
En bref : Autoréférence pure et impure / Éric Angelini
En bref : Querelles et paradoxes / Bertrand HauchecornePermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=20915 Les démonstrations / Gianni Sarcone in Tangente. Hors-Série Bibliothèque, n°55 (novembre 2015)
[article]
Titre : Les démonstrations : l'art de convaincre : dossier Type de document : texte imprimé Auteurs : Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur Année de publication : 2015 Article en page(s) : p. 1/162 Langues : Français (fre) Sujets : axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; logique mathématique ; preuve (math) ; programme informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs démonstration par récurrence algorithme probabiliste théorie homotopique des types démonstration automatique théorème PCP Note de contenu : Sommaire :
- Les fondements de la preuves
- Les grands classiques de la démonstration
- Les nouvelles formes de preuves
- Les apports de l’informatiquePermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=18882
in Tangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162[article] Les démonstrations : l'art de convaincre : dossier [texte imprimé] / Gianni Sarcone, Auteur ; Elisabeth Busser, Auteur ; Hervé Lehning, Auteur ; [et al.], Auteur . - 2015 . - p. 1/162.
Langues : Français (fre)
in Tangente. Hors-Série Bibliothèque > n°55 (novembre 2015) . - p. 1/162
Sujets : axiome ; Cantor (Georg) ; Démonstration Mathématique ; Gödel (Kurt) ; invariant (mathématiques) ; logique mathématique ; preuve (math) ; programme informatique ; Raisonnement par Analogie Mots-clés : principe des tiroirs démonstration par récurrence algorithme probabiliste théorie homotopique des types démonstration automatique théorème PCP Note de contenu : Sommaire :
- Les fondements de la preuves
- Les grands classiques de la démonstration
- Les nouvelles formes de preuves
- Les apports de l’informatiquePermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=18882 Echecs et maths / Jacques Vauthier
Titre : Echecs et maths Type de document : texte imprimé Auteurs : Jacques Vauthier, Auteur ; Jean-Luc Muracciole, Auteur Editeur : Paris : Little Big Man Année de publication : 2004 Collection : Nomad's Land Importance : 122 p. ISBN/ISSN/EAN : 978-2-915557-01-5 Prix : 11,05 Langues : Français (fre) Sujets : enseignement des mathématiques ; Galilée ; Gödel (Kurt) ; mathématique ; Philosophie des mathématiques Index. décimale : 3800 Mathématique Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=15255 Echecs et maths [texte imprimé] / Jacques Vauthier, Auteur ; Jean-Luc Muracciole, Auteur . - Paris : Little Big Man, 2004 . - 122 p.. - (Nomad's Land) .
ISBN : 978-2-915557-01-5 : 11,05
Langues : Français (fre)
Sujets : enseignement des mathématiques ; Galilée ; Gödel (Kurt) ; mathématique ; Philosophie des mathématiques Index. décimale : 3800 Mathématique Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=15255 Exemplaires (1)
Cote Code-barres Support Section Disponibilité 3800VAU2008E 95189 Livre ESPACE 1 Disponible Les ensembles / Pierre Cartier in Tangente. Hors-Série Bibliothèque, n°61 (décembre 2017)
[article]
Titre : Les ensembles : aux fondements des mathématiques : dossier Type de document : texte imprimé Auteurs : Pierre Cartier, Auteur ; Michel Criton, Auteur ; Bertrand Hauchecorne, Auteur ; [et al.], Auteur Année de publication : 2017 Article en page(s) : p. 3/155 Langues : Français (fre) Sujets : Algèbre de Boole ; axiome ; Borges (Jorge Luis) ; Cantor (Georg) ; Carroll (Lewis) ; Diagramme ; Gödel (Kurt) ; groupe (mathématique) ; Infini (Math) ; mathématique moderne ; Théorie des ensembles ; Topologie ; Von Neumann (John) Mots-clés : bijection Résumé : "La théorie des ensembles a laissé un souvenir à tous ceux qui sont passés par les « maths modernes ». Son cadre axiomatique, que certains ont pu percevoir comme rigide, permet de « dérouler » l’ensemble du savoir mathématique. Comment ? C’est ce que propose de découvrir cet ouvrage en levant le voile sur l’origine et la construction de cette théorie.
Tout est parti d’un malaise scientifique profond, la crise des fondements. L’édifice mathématique, que l’on croyait solide et inaltérable, était en fait morcelé de contradictions et d’objets mal définis ! L’introduction des ensembles à la fin du XIXe siècle a permis d’assainir la situation, tout en donnant naissance à son lot de paradoxes, d’impossibilités, de situations défiant l’intuition...
Un ensemble est une collection d'objets entre lesquels peuvent exister des relations diverses. C’est ainsi qu’émergent les notions de structures et de fonctions, qui régissent la majorité des concepts mathématiques. La construction des nombres et une nouvelle approche de la géométrie en découlent de manière naturelle. Une telle simplicité conceptuelle confère aux ensembles et aux fonctions une efficacité redoutable !" (Présentation sur le site de l'éditeur)Note de contenu : Sommaire :
Dossier : Histoire d’une théorie révolutionnaire
La théorie des ensembles est l’archétype même d’une théorie structurante. Cette architecture abstraite n’est pas sortie de nulle part : elle trouve son origine dans des problèmes relatifs aux fondements des mathématiques durant le XIXe siècle.
L’œuvre mathématique de Bourbaki - Une approche des mathématiques qui dérange - Lewis Caroll, vers la logique moderne - Premières utilisations des ensembles - Le jeu de Dobble - Borges, la Bibliothèque de Babel - L’hôtel de Hilbert
Dossier : Ensembles, relations, applications : une nouvelle approche
Au-delà de leur représentation naïve en «patatoïdes» connue sous le nom de «diagrammes de Venn», les ensembles offrent un cadre à une formalisation rigoureuse applicable à tous les domaines des mathématiques.
De la collection d’objets à l’ensemble - L’ensemble et ses parties - Les diagrammes en patate, une idée qui donne la frite - Relations et applications : structurer les ensembles - Éblouissantes relations binaires - La médaille Hausdorff - Construire des nombres, une histoire au long cours - Un pour un - Le nom des éléments d’un ensemble
Dossier : Opérations, structures, nombres
Les nombres sont au centre de l’édifice mathématique. Après un long règne de l’intuition, le besoin d’une axiomatique rigoureuse s’est fait sentir. Celle introduite par Péano pour définir les entiers naturels en est le plus bel exemple. Les opérations, elles aussi, entrent dans un cadre structurel d’une grande richesse.
Kurt Gödel et l’indécidabilité - Adhérez aux groupes ! - Qu’est-ce qu’un groupe ? - La dimension fractale de l’ensemble triadique - La naissance des concepts algébriques - L’algèbre logique de George Boole.
Dossier : Infini et paradoxes
Une étude des axiomes sur lesquels la théorie des ensembles est fondée fait émerger la notion d’infini, mais aussi des paradoxes : un ensemble peut-il être membre de lui-même ? Combien de types d’infinis existent-ils ?
Une brève histoire de l’infini - Georg Cantor : passer du fini à l’infini - La multiplicité des infinis - Le roman de Lotfi Zadeh - Les ensembles flous : modéliser les appartenances incertaines - John von Neumann, mesure et démesure
Dossier : Axiomatique
On reproche souvent à la théorie des ensembles son caractère formel, abstrait, axiomatique. Pourtant, de nombreuses richesses émanent d’un cadre général que l’on pourra décliner selon les envies et les besoins !
Mais que sont les axiomes ? - La tentative de Zermelo pour éliminer les paradoxes - L’axiome du choix, si naturel, et pourtant si étonnant... - L’axiomatisation du hasard - Aux sources de la topologie - Dix problèmes en patatesPermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=19925
in Tangente. Hors-Série Bibliothèque > n°61 (décembre 2017) . - p. 3/155[article] Les ensembles : aux fondements des mathématiques : dossier [texte imprimé] / Pierre Cartier, Auteur ; Michel Criton, Auteur ; Bertrand Hauchecorne, Auteur ; [et al.], Auteur . - 2017 . - p. 3/155.
Langues : Français (fre)
in Tangente. Hors-Série Bibliothèque > n°61 (décembre 2017) . - p. 3/155
Sujets : Algèbre de Boole ; axiome ; Borges (Jorge Luis) ; Cantor (Georg) ; Carroll (Lewis) ; Diagramme ; Gödel (Kurt) ; groupe (mathématique) ; Infini (Math) ; mathématique moderne ; Théorie des ensembles ; Topologie ; Von Neumann (John) Mots-clés : bijection Résumé : "La théorie des ensembles a laissé un souvenir à tous ceux qui sont passés par les « maths modernes ». Son cadre axiomatique, que certains ont pu percevoir comme rigide, permet de « dérouler » l’ensemble du savoir mathématique. Comment ? C’est ce que propose de découvrir cet ouvrage en levant le voile sur l’origine et la construction de cette théorie.
Tout est parti d’un malaise scientifique profond, la crise des fondements. L’édifice mathématique, que l’on croyait solide et inaltérable, était en fait morcelé de contradictions et d’objets mal définis ! L’introduction des ensembles à la fin du XIXe siècle a permis d’assainir la situation, tout en donnant naissance à son lot de paradoxes, d’impossibilités, de situations défiant l’intuition...
Un ensemble est une collection d'objets entre lesquels peuvent exister des relations diverses. C’est ainsi qu’émergent les notions de structures et de fonctions, qui régissent la majorité des concepts mathématiques. La construction des nombres et une nouvelle approche de la géométrie en découlent de manière naturelle. Une telle simplicité conceptuelle confère aux ensembles et aux fonctions une efficacité redoutable !" (Présentation sur le site de l'éditeur)Note de contenu : Sommaire :
Dossier : Histoire d’une théorie révolutionnaire
La théorie des ensembles est l’archétype même d’une théorie structurante. Cette architecture abstraite n’est pas sortie de nulle part : elle trouve son origine dans des problèmes relatifs aux fondements des mathématiques durant le XIXe siècle.
L’œuvre mathématique de Bourbaki - Une approche des mathématiques qui dérange - Lewis Caroll, vers la logique moderne - Premières utilisations des ensembles - Le jeu de Dobble - Borges, la Bibliothèque de Babel - L’hôtel de Hilbert
Dossier : Ensembles, relations, applications : une nouvelle approche
Au-delà de leur représentation naïve en «patatoïdes» connue sous le nom de «diagrammes de Venn», les ensembles offrent un cadre à une formalisation rigoureuse applicable à tous les domaines des mathématiques.
De la collection d’objets à l’ensemble - L’ensemble et ses parties - Les diagrammes en patate, une idée qui donne la frite - Relations et applications : structurer les ensembles - Éblouissantes relations binaires - La médaille Hausdorff - Construire des nombres, une histoire au long cours - Un pour un - Le nom des éléments d’un ensemble
Dossier : Opérations, structures, nombres
Les nombres sont au centre de l’édifice mathématique. Après un long règne de l’intuition, le besoin d’une axiomatique rigoureuse s’est fait sentir. Celle introduite par Péano pour définir les entiers naturels en est le plus bel exemple. Les opérations, elles aussi, entrent dans un cadre structurel d’une grande richesse.
Kurt Gödel et l’indécidabilité - Adhérez aux groupes ! - Qu’est-ce qu’un groupe ? - La dimension fractale de l’ensemble triadique - La naissance des concepts algébriques - L’algèbre logique de George Boole.
Dossier : Infini et paradoxes
Une étude des axiomes sur lesquels la théorie des ensembles est fondée fait émerger la notion d’infini, mais aussi des paradoxes : un ensemble peut-il être membre de lui-même ? Combien de types d’infinis existent-ils ?
Une brève histoire de l’infini - Georg Cantor : passer du fini à l’infini - La multiplicité des infinis - Le roman de Lotfi Zadeh - Les ensembles flous : modéliser les appartenances incertaines - John von Neumann, mesure et démesure
Dossier : Axiomatique
On reproche souvent à la théorie des ensembles son caractère formel, abstrait, axiomatique. Pourtant, de nombreuses richesses émanent d’un cadre général que l’on pourra décliner selon les envies et les besoins !
Mais que sont les axiomes ? - La tentative de Zermelo pour éliminer les paradoxes - L’axiome du choix, si naturel, et pourtant si étonnant... - L’axiomatisation du hasard - Aux sources de la topologie - Dix problèmes en patatesPermalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=19925 Kurt GÔdel (1906-1978) in Diagonales. Les Cahiers Mathématiques du Cned, n°4 (juin 2008)
PermalinkLa logique : dossier / Hervé Lehning in Tangente. Hors-Série Bibliothèque, n°38 (janvier/mars 2010)
PermalinkMathématiques et informatique / M. Brilleaud in Tangente. Hors-Série Bibliothèque, n°52 (juillet 2014)
PermalinkLes maths de l'impossible / Philippe Boulanger in Tangente. Hors-Série Bibliothèque, n°49 (janvier 2014)
PermalinkLes maths peuvent se tromper ou comment un jeune logicien de 25 ans a définitivement rabattu le caquet des matheux / Robin Jamet in Science & Vie Junior, n°195 (décembre 2005)
Permalink