Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, — ) foi um matemático e filósofo sino-americano.
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 bacharelado em matemática pela National Southwestern Associated University em 1943 e um mestrado em filosofia pela Universidade de Tsinghua em 1945, onde seus professores incluíram Feng Youlan e Jin Yuelin, após o qual ele se mudou para os Estados Unidos para continuar seus estudos de pós-graduação. Ele estudou lógica na Universidade de Harvard, culminando em um Ph.D. em 1948. Ele foi nomeado para um cargo de 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 computador IBM 704 um programa que em apenas 9 minutos provou mecanicamente várias centenas de teoremas de lógica matemática de Whitehead e no Principia Mathematica de Russell. [Wang 1960a]. Em 1961, foi nomeado Professor Gordon McKay de Lógica Matemática e Matemática Aplicada em Harvard. De 1967 a 1991, chefiou o grupo de pesquisa lógica na Rockefeller University 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 EUA à República Popular da China.
Uma das contribuições mais importantes de Wang foi a telha Wang.[Wang 1960a]. Ele mostrou que qualquer máquina de Turing pode ser transformada em um conjunto de peças Wang. O primeiro exemplo notável de ladrilhos aperiódicos é um conjunto de ladrilhos Wang, cuja inexistência Wang havia conjecturado, descoberto por seu aluno Robert Berger em 1966.[Wang 1974 and 1985a] Um filósofo por direito próprio, Wang também desenvolveu uma interpretação penetrante posterior na filosofia da matemática de Ludwig Wittgenstein, que ele chamou de "antropologismo".[Wang 1996a, 1987a, and in 1974a]. Ele narrou as ideias 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.
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. Peking: Science Press; Amsterdam: North-Holland, 1962. [Wang 1962a]. From Mathematics to Philosophy. London: Routledge & Kegan Paul, 1974. [Wang 1974a]. Popular Lectures on Mathematical Logic. New York: Van Nostrand, 1981. [Wang 1981a]. . Reimpressão de Dover 2014. Beyond Analytic Philosophy: Doing Justice to What We Know. Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. . Reflections on Kurt Gödel. Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. . Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. . A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. .Rodríguez-Consuegra, Francisco. "Philosophy in Hao Wang's Conversations with Gödel: Review of Hao Wang, A Logical Journey. From Gödel to Philosophy." Modern Logic 8, no. 3–4 (2001): 137–152.
Ver também Algoritmo de Wang
Ligações externas
Obituário - The New York Times. Entrevista em vídeo com Hao Wang e Robin Gandy (e retrato de Wang) "A Bibliography of Hao Wang" da Philosophia Mathematica. As referências entre colchetes são para esta fonte.
Categoria:Matemáticos da China Categoria:Lógicos da China Categoria:Matemáticos dos Estados Unidos