Hao Wang (acadêmico) - Hao Wang (academic)

Hao Wang
Nascer ( 20/05/1921 ) 20 de maio de 1921
Faleceu ( 13/05/1995 ) 13 de maio de 1995
Nova York , Nova York , Estados Unidos
Alma mater
Conhecido por Telhas
Wang Wang B-máquina
Carreira científica
Campos
Instituições
Orientador de doutorado Willard Van Orman Quine
Alunos de doutorado

Hao Wang ( chinês : 王浩 ; pinyin : Wáng Hào ; 20 de maio de 1921 - 13 de maio de 1995) foi um lógico , filósofo , matemático e comentarista sino-americano de Kurt Gödel .

Biografia

Nascido em Jinan , Shandong , na República da China (hoje na República Popular da China ), Wang recebeu sua educação inicial na China. Ele obteve um diploma de bacharelado em matemática pela National Southwestern Associated University em 1943 e um mestrado em filosofia pela Tsinghua University em 1945, onde seus professores incluíam Feng Youlan e Jin Yuelin , após o que ele se mudou para os Estados Unidos para continuar seus estudos de graduação. Ele estudou lógica na Universidade de Harvard , culminando em um PhD em 1948. Ele foi nomeado professor assistente em Harvard no mesmo ano.

Durante o início dos anos 1950, Wang estudou com Paul Bernays em Zurique . Em 1956, foi nomeado leitor de Filosofia da Matemática na Universidade de Oxford . Em 1959, Wang escreveu em um 704 IBM computador um programa que em apenas 9 minutos mecanicamente provou várias centenas de lógica matemática teoremas em Whitehead e Russell 's Principia Mathematica . Em 1961, foi nomeado Professor Gordon McKay de Lógica Matemática e Matemática Aplicada em Harvard. De 1967 a 1991, ele chefiou o grupo de pesquisa em lógica da Universidade Rockefeller em Nova York , onde foi professor de lógica. Em 1972, Wang se juntou a um grupo de cientistas sino-americanos liderados por Chih-Kung Jen como a primeira delegação dos Estados Unidos à República Popular da China.

Uma das contribuições mais importantes de Wang foi o ladrilho Wang . Ele mostrou que qualquer máquina de Turing pode ser transformada em um conjunto de ladrilhos Wang. O primeiro exemplo notável de ladrilhos aperiódicos é um conjunto de ladrilhos Wang, cuja inexistência Wang conjecturou, descoberto por seu aluno Robert Berger em 1966. Filósofo por seus próprios méritos, Wang também desenvolveu uma interpretação penetrante da filosofia posterior de Ludwig Wittgenstein da matemática, que ele chamou de "antropologismo". Ele narrou as idéias filosóficas de Kurt Gödel e escreveu vários livros sobre o assunto, fornecendo assim aos estudiosos contemporâneos muitos insights que elucidam o pensamento filosófico posterior de Gödel.

Em 1983, ele recebeu o primeiro Prêmio Milestone para Prova de Teorema Automatizada , patrocinado pela Conferência Conjunta Internacional sobre Inteligência Artificial .

Livros

  • Les Systèmes axiomatiques de la Théorie des Ensembles , Gauthier-Villars; Paris, 1953. [Wang 1953a, com Robert McNaughton].
  • A Survey of Mathematical Logic . Pequim: Science Press; Amsterdam: North-Holland, 1962. [Wang 1962a].
  • Da Matemática à Filosofia . Londres: Routledge & Kegan Paul, 1974. [Wang 1974a].
  • Palestras populares sobre lógica matemática . Nova York: Van Nostrand, 1981. [Wang 1981a]. ISBN   0-486-67632-3 .
  • Além da filosofia analítica: Fazendo justiça ao que sabemos . Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. ISBN   0-262-23124-7 .
  • Reflexões sobre Kurt Gödel . Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. ISBN   0-262-73087-1 .
  • Computação, Lógica, Filosofia. Uma coleção de ensaios . Pequim: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. ISBN   7-03000211-3 .
  • Uma viagem lógica: de Gödel à filosofia . Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. ISBN   0-262-23189-1 .

Referências

links externos

Bibliografia detalhada