Harvey Friedman

Harvey Friedman Obrázek v Infoboxu. Harvey Friedman v roce 2011. Životopis
Narození 23. září 1948
Chicago
Státní příslušnost americký
Výcvik Massachusetts Institute of Technology
Činnosti Matematik , logik , univerzitní profesor
Sourozenci Sy Friedman
Jiná informace
Pracoval pro Ohio State University
Dozorce Gerald Sacks
Ocenění Guggenheim
Gödel Přednášející Grant (2002)

Harvey Friedman (23. září 1948) je matematik logiků na Ohio State University . On je zvláště známý pro jeho práci v reverzní matematice  : projekt "vrátit se k axiomům  " z hlavních teorémů matematiky. V posledních letech pracoval na knižním projektu, který spojuje veškerý jeho výzkum s názvem Boolean Relation Theory , aby demonstroval potřebu axiomů velkých kardinálů pro demonstraci určitých tvrzení.

Harvey Friedman získal titul Ph.D. v diplomové práci o subsystémech analýzy pod vedením Geralda Sackse .

Jeho bratr Sy Friedman je také logik.

Ocenění a uznání

V roce 2002 byl lektorem Gödel na konferenci s názvem Problémy v základech matematiky.

externí odkazy

Reference

  1. Příručka filozofické logiky , ( ISBN  0-7923-7018-X ) , s. 38.
  2. Booleovská teorie vztahu a neúplnost . Rukopis na 819 stranách, 13. června 2011.