Descripteurs
Documents disponibles dans cette catégorie (5)
Affiner la recherche
Anthologie des grandes résolutions. 2, Kurt Gödel, le fossoyeur du rêve de Hilbert / Paul Rozière / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions. 2, Kurt Gödel, le fossoyeur du rêve de Hilbert Type de document : texte imprimé Auteurs : Paul Rozière, Auteur Editeur : Pour la Science, 2012 Article : p.115 Note générale : Bibliographie.
in Pour la science. Dossier > 074 (01/2012)Descripteurs : mathématicien / théorème Résumé : Présentation des travaux du logicien Kurt Gödel, qui énonça le théorème d'incomplétude, remettant en cause le programme de Hilbert. Nature du document : documentaire Genre : Article de périodique [article]
Anthologie des grandes résolutions. 2, Kurt Gödel, le fossoyeur du rêve de Hilbert
de Paul Rozière
In Pour la science. Dossier, 074 (01/2012), p.115
Présentation des travaux du logicien Kurt Gödel, qui énonça le théorème d'incomplétude, remettant en cause le programme de Hilbert.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 013940 Disponible Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ? / Ariane Mézard / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ? Type de document : texte imprimé Auteurs : Ariane Mézard, Auteur Editeur : Pour la Science, 2012 Article : p.117 Note générale : Bibliographie, webographie.
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / mathématicien / théorème Résumé : Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat. Nature du document : documentaire Genre : Article de périodique [article]
Anthologie des grandes résolutions. 4, Andrew Wiles : comment faire compliqué avec un énoncé simple ?
de Ariane Mézard
In Pour la science. Dossier, 074 (01/2012), p.117
Présentation des travaux d'Andrew Wiles qui démontra, avec Richard Taylor, le théorème de Fermat.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 013940 Disponible L'incomplétude, le hasard et la physique / Jean-Paul Delahaye / Pour la Science (2012) in Pour la science. Dossier, 074 (01/2012)
[article]
Titre : L'incomplétude, le hasard et la physique Type de document : texte imprimé Auteurs : Jean-Paul Delahaye, Auteur Editeur : Pour la Science, 2012 Article : p.68-73 Note générale : Bibliographie, webographie.
in Pour la science. Dossier > 074 (01/2012)Descripteurs : démonstration mathématique / problème mathématique / théorème Résumé : En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamment certains problèmes posés par Hilbert, en montrant que certaines informations mathématiques étaient indépendantes du monde physique. Explication du théorème de Gödel et de la démonstration de Levin. Nature du document : documentaire Genre : Article de périodique [article]
L'incomplétude, le hasard et la physique
de Jean-Paul Delahaye
In Pour la science. Dossier, 074 (01/2012), p.68-73
En 2002, le logicien Leonid Levin a démontré que l'on ne pouvait s'affranchir du théorème d'incomplétude énoncé par Kurt Gödel en 1930, selon lequel tout système formel non contradictoire contient des propositions indécidables. Il réfuta notamment certains problèmes posés par Hilbert, en montrant que certaines informations mathématiques étaient indépendantes du monde physique. Explication du théorème de Gödel et de la démonstration de Levin.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 013940 Disponible Merci origami ! / Robin Jamet in Science & vie junior, 376 (janvier 2021)
[article]
Titre : Merci origami ! Type de document : texte imprimé Auteurs : Robin Jamet, Auteur Année : 2021 Article : p. 86-87
in Science & vie junior > 376 (janvier 2021)Descripteurs : pliage / symétrie / théorème Résumé : Comment vérifier des théorèmes en faisant de l'origami : parité des plis au sommet, théorèmes de Maekana, de Kawasaki. Nature du document : documentaire [article]
Merci origami !
de Robin Jamet
In Science & vie junior, 376 (janvier 2021), p. 86-87
Comment vérifier des théorèmes en faisant de l'origami : parité des plis au sommet, théorèmes de Maekana, de Kawasaki.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 023688 Disponible Le petit livre des grandes idées mathématiques / Robert Solomon / Dunod (2009)
Titre : Le petit livre des grandes idées mathématiques Type de document : texte imprimé Auteurs : Robert Solomon, Auteur ; Véronique Bordelles, Traducteur Editeur : Dunod, 2009 Collection : Le petit livre des... Description : 222 p. Format : 17 cm ISBN/ISSN : 978-2-10-052592-8 Prix : 12 € Note générale : Index Langues originales : Anglais (eng) Descripteurs : loi scientifique / mathématique / théorème Résumé : Présente 175 lois, principes, théories, équations, modèles, systèmes, paradoxes et autres idées qui constituent les fondements des mathématiques, classés par ordre chronologique et avec le savant qui a formulé l'idée pour la première fois et le lieu de sa découverte. Nature du document : documentaire Niveau : Lycée
Le petit livre des grandes idées mathématiques
de Robert Solomon
Dunod, 2009, 222 p. (Le petit livre des...)
Présente 175 lois, principes, théories, équations, modèles, systèmes, paradoxes et autres idées qui constituent les fondements des mathématiques, classés par ordre chronologique et avec le savant qui a formulé l'idée pour la première fois et le lieu de sa découverte.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité 510 SOL documentaire Espace Lycée 012418 Disponible