BASE DE DONNÉES
DES REVUES DE LA FDE
Liste des revues dépouillées
de la Faculté d'Éducation de l'Académie de Montpellier.
Pour connaître la disponibilité d'un numéro, reportez vous au catalogue BIU
CRD11
CRD30
CRD34
CRD48
CRD66
A partir de cette page vous pouvez :
Retourner au premier écran avec les dernières notices... |
Détail de l'auteur
Auteur Michael Harris |
Documents disponibles écrits par cet auteur
Affiner la recherche
Livres : mathématicien une profession de foi / Michael Harris in La Recherche (Paris. 1970), 558 (04/2020)
[article]
Titre : Livres : mathématicien une profession de foi Type de document : texte imprimé Auteurs : Michael Harris, Personne interviewée ; Philippe Pajot, Intervieweur ; Claire Voisin, Auteur Année de publication : 2020 Article en page(s) : p.68-73 Langues : Français Mots-clés : thème littéraire science mathématique mathématiques Résumé : Entretien avec le mathématicien Michael Harris à propos de son livre "La Mathématique, une vocation problématique" dont l'objet est de faire connaître la pratique mathématique. Extraits du livre de Claire Voisin "Faire des mathématiques" sur l'abstraction en mathématique. Présentation d'ouvrages : "C.Q.F.D." de Yan Pradeau ; "Tales of Impossibility" de David S. Richeson ; "Un café avec Archimède" de Stefan Buijsman.
in La Recherche (Paris. 1970) > 558 (04/2020) . - p.68-73[article] Livres : mathématicien une profession de foi [texte imprimé] / Michael Harris, Personne interviewée ; Philippe Pajot, Intervieweur ; Claire Voisin, Auteur . - 2020 . - p.68-73.
Langues : Français
in La Recherche (Paris. 1970) > 558 (04/2020) . - p.68-73
Mots-clés : thème littéraire science mathématique mathématiques Résumé : Entretien avec le mathématicien Michael Harris à propos de son livre "La Mathématique, une vocation problématique" dont l'objet est de faire connaître la pratique mathématique. Extraits du livre de Claire Voisin "Faire des mathématiques" sur l'abstraction en mathématique. Présentation d'ouvrages : "C.Q.F.D." de Yan Pradeau ; "Tales of Impossibility" de David S. Richeson ; "Un café avec Archimède" de Stefan Buijsman. Les mathématiciens face au défi des machines / Michael Harris in Pour la science, 535 (05/2022)
[article]
Titre : Les mathématiciens face au défi des machines Type de document : texte imprimé Auteurs : Michael Harris, Auteur Année de publication : 2022 Article en page(s) : p.26-34 Langues : Français Mots-clés : raisonnement scientifique intelligence artificielle logique mathématique Résumé : Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques.
in Pour la science > 535 (05/2022) . - p.26-34[article] Les mathématiciens face au défi des machines [texte imprimé] / Michael Harris, Auteur . - 2022 . - p.26-34.
Langues : Français
in Pour la science > 535 (05/2022) . - p.26-34
Mots-clés : raisonnement scientifique intelligence artificielle logique mathématique Résumé : Réflexion sur la place de l'humain face aux performances grandissantes des machines dans le domaine des mathématiques : la confirmation pour la première fois en 2020 d'un théorème par un logiciel sans vérification humaine, l'usage ancien des machines en mathématiques, l'apport des ordinateurs dans le développement des mathématiques, la formulation de conjectures par les mathématiciens sur la base de données produites par les ordinateurs, la polémique liée au statut d'une preuve mathématique non vérifiable par l'être humain, la formalisation des preuves en mathématiques, l'importance de ne pas mettre en compétition êtres humains et machines et de ne pas oublier la part de créativité que l'homme apporte aux mathématiques.