Centre
Bruxellois de
Documentation
Pédagogique
Sujets
> SCIENCES > sciences naturelles > mathématique > logique mathématique
logique mathématique
Commentaire :
13650005
|
(54)
Ajouter le résultat dans votre panier Affiner la recherche
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 Pour une classe réussie en MS : livret pédagogique / Marie-Christine Looten
Exemplaires (1)
Cote Code-barres Support Section Disponibilité 7112LOO2005P 7062 Livre RESERVE Exclu du prêt Constructions logiques : dossier in Diagonales. Les Cahiers Mathématiques du Cned, n°4 (juin 2008)
[article]
Titre : Constructions logiques : dossier Type de document : texte imprimé Année de publication : 2008 Article en page(s) : p. 3/28 Langues : Français (fre) Sujets : logique mathématique ; notion de quantificateur Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=13259
in Diagonales. Les Cahiers Mathématiques du Cned > n°4 (juin 2008) . - p. 3/28[article] Constructions logiques : dossier [texte imprimé] . - 2008 . - p. 3/28.
Langues : Français (fre)
in Diagonales. Les Cahiers Mathématiques du Cned > n°4 (juin 2008) . - p. 3/28
Sujets : logique mathématique ; notion de quantificateur Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=13259 Contes mathématiques russes / Jeanne Gucker in Cosinus, n°69 (février 2006)
[article]
Titre : Contes mathématiques russes Type de document : texte imprimé Auteurs : Jeanne Gucker, Auteur ; Léonide Moïsseïevitch Likhtarnikov, Auteur Année de publication : 2006 Article en page(s) : p. 22/25 Langues : Français (fre) Sujets : conte ; logique mathématique ; mathématique ; Russie Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=13561
in Cosinus > n°69 (février 2006) . - p. 22/25[article] Contes mathématiques russes [texte imprimé] / Jeanne Gucker, Auteur ; Léonide Moïsseïevitch Likhtarnikov, Auteur . - 2006 . - p. 22/25.
Langues : Français (fre)
in Cosinus > n°69 (février 2006) . - p. 22/25
Sujets : conte ; logique mathématique ; mathématique ; Russie Permalink : https://www.cocof-cbdp.irisnet.be/opac_css/index.php?lvl=notice_display&id=13561 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 Le développement durable à partir de tâches complexes : dossier / Stéphanie Thinet in Au fil des maths, n°544 (avril /juin 2022)
PermalinkÉnigmes mathématiques et logiques / Augustin Genoud
PermalinkEnseignons en jouant / Yolande Noël-Roch
PermalinkEnseignons en jouant / Yolande Noël-Roch
PermalinkÉtat des connaissances des élèves de Terminale S sur le raisonnement par récurrence / Denis Gardes in Petit X, n°100 (janvier 2016)
PermalinkUne étude didactique de quelques éléments de raisonnement mathématique et de logique / Charlotte Fabert in Petit X, n°87 (2011)
PermalinkFaire vivre les énoncés contingents dans la classe de mathématiques : pourquoi et comment ? / Véronique Cerclé in Petit X, n°110/111 (décembre 2019)
PermalinkFichier mathématiques GS sur Noël / Odette Chevaillier in La Classe Maternelle, n°104 (décembre 2001)
PermalinkIndyGo 2B / Stéphanie Bral
PermalinkInitiation au raisonnement logique CE : observer comprendre analyser mettre en relation déduire conclure / Sandra Ros
Permalink