Détail de l'auteur
Auteur Michael Harris |
Documents disponibles écrits par cet auteur (2)
Affiner la rechercheLivres : mathématicien une profession de foi / Michael Harris / Sophia Publications (2020) in La Recherche, 558 (04/2020)
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 Editeur : Sophia Publications, 2020 Article : p.68-73 Langues : Français (fre)
in La Recherche > 558 (04/2020)Descripteurs : thème littéraire Mots-clés : mathématiques science mathématique 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. Nature du document : documentaire Genre : Article de périodique/Entretien, interview [article]
Livres : mathématicien une profession de foi
de Michael Harris, Philippe Pajot, Claire Voisin
In La Recherche, 558 (04/2020), p.68-73
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.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 022990 Disponible
Titre : Les mathématiciens face au défi des machines Type de document : texte imprimé Auteurs : Michael Harris, Auteur Editeur : Pour la Science, 2022 Article : p.26-34 Langues : Français (fre)
in Pour la science > 535 (05/2022)Descripteurs : intelligence artificielle / logique mathématique Mots-clés : raisonnement scientifique 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. Nature du document : documentaire Genre : Article de périodique [article]
Les mathématiciens face au défi des machines
de Michael Harris
In Pour la science, 535 (05/2022), p.26-34
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.Réservation
Réserver ce document
Exemplaires(1)
Cote Section Localisation Code-barres Disponibilité ARCHIVES documentaire CDI 025106 Disponible
