Harvey Friedman

Photo de Friedman, Harvey
Prénom : Harvey
Nom : Friedman
Date de naissance : 01-01-1959
Lieu de naissance : Pittsburgh, Pennsylvania, USA

Informations de Wikipedia (v2.1 – 04/08/2025 05:31:11)
Harvey Friedman

Harvey Friedman (23 septembre 1948) est un mathématicien logicien à l'université d'État de l'Ohio

Il est particulièrement connu pour ses travaux de mathématiques à rebours : un projet pour « remonter aux axiomes » à partir des théorèmes principaux des mathématiques

Ces dernières années, il travaille sur un projet de livre qui regroupe l'ensemble de ses recherches, intitulé Boolean Relation Theory, afin de démontrer la nécessité des axiomes de grands cardinaux pour la démonstration de certaines propositions. Harvey Friedman a obtenu son Ph

D

en soutenant une thèse sur les sous-systèmes de l'analyse, sous la direction de Gerald Sacks. Son frère Sy Friedman est également logicien.

Prix et distinctions

En 2002, il est Gödel Lecturer avec une conférence intitulée Issues in the foundations of mathematics.

Ces informations proviennent du site Wikipedia (v2.1 – 04/08/2025 05:31:11). Elles sont affichées à titre indicatif en attendant un contenu plus approprié.

Tous les rôles de Harvey Friedman actuellement dans le mediabrol

  • Acteurs

    Version en cache

    04/08/2025 05:31:11 Cette version de la page est en cache (à la date du 04/08/2025 05:31:11) afin d'accélérer le traitement. Vous pouvez activer le mode utilisateur dans le menu en haut pour afficher la version plus récente de la page.

    Document créé le 01/05/2020, dernière modification le 14/04/2025
    Source du document imprimé : https://www.gaudry.be/personne/friedman-harvey.html

    L'infobrol est un site personnel dont le contenu n'engage que moi. Le texte est mis à disposition sous licence CreativeCommons(BY-NC-SA). Plus d'info sur les conditions d'utilisation et sur l'auteur.