Harvey Friedman Referências Ligações externas | Menu de navegaçãopalestras TarskiDr. Harvey Martin FriedmanRecognizing Excellence at Ohio State | The Ohio State University | University Distinguished LecturerHarvey FriedmanHarvey Friedman's homepageHarvey Friedmanexpandindo-oWorldCat9782701712048468xHarveyMFriedman156795138722684IDn8506266512036071485678
Nascidos em 1948Matemáticos dos Estados Unidos
23 de setembro1948matemáticoUniversidade do Estado de OhioOhio State UniversityColumbusOhiomatemática inversadoutoradoInstituto de Tecnologia de MassachusettsGerald SacksAlan T. Waterman AwardGuinness Book of World RecordsUniversidade de StanfordfilosofiaprofessormatemáticaSy Friedmanpalestrante convidado do Congresso Internacional de MatemáticosVancouver
Harvey Friedman | |
---|---|
![]() | |
Nascimento | 23 de setembro de 1948 (70 anos) Chicago |
Cidadania | Estados Unidos |
Irmão(s) | Sy Friedman |
Ocupação | matemático, lógico, professor universitário |
Prêmios | Gödel Lecturer, Bolsa Guggenheim |
Empregador | Universidade Estadual de Ohio |
[edite no Wikidata] |
Harvey Martin Friedman (23 de setembro de 1948)[1] é um matemático (ramo da lógica simbólica) da Universidade do Estado de Ohio (Ohio State University) em Columbus, Ohio. É conhecido especialmente por seu trabalho em matemática inversa, um projecto destinado a derivar os axiomas da matemática a partir de teoremas considerados necessários. Nos últimos anos este tem avançado com um estudo da Teoria das relações booleanas, que tenta justificar grandes axiomas cardinais, pela demonstração de sua necessidade para derivar certas proposições consideradas "concretas" .
Friedman obteve o doutorado no Instituto de Tecnologia de Massachusetts em 1967, com uma tese em Subsistemas de Análise. Seu orientador foi Gerald Sacks. Friedman recebeu o Alan T. Waterman Award em 1984. Conduziu as palestras Tarski em 2007.[2]
Em 1967 Friedman foi listado no Guinness Book of World Records por ser o mais jovem professor do mundo, quando ele ensinou na Universidade de Stanford aos 18 anos como um professor adjunto de filosofia.[1][3][4] Ele também foi um professor de matemática e um professor de música.[5]
Friedman é irmão do matemático Sy Friedman.
Foi palestrante convidado do Congresso Internacional de Matemáticos em Vancouver (1974 - Some systems of second order arithmetic and their use).
Referências
↑ ab Handbook of Philosophical Logic, ISBN 0-7923-7018-X, p. 38
↑ palestras Tarski
↑ Dr. Harvey Martin Friedman
↑ Recognizing Excellence at Ohio State | The Ohio State University | University Distinguished Lecturer
↑ Harvey Friedman
Ligações externas |
Harvey Friedman's homepage at the Ohio State University
Harvey Friedman (em inglês) no Mathematics Genealogy Project