Hao Wang (acadêmico)
| Hao Wang | |
|---|---|
| Nascimento | 20 de maio de 1921 Licheng District |
| Morte | 13 de maio de 1995 (73 anos) Nova Iorque |
| Cidadania | Estados Unidos, República da China |
| Alma mater |
|
| Ocupação | matemático, filósofo, lógico |
| Distinções | |
| Empregador(a) | Universidade Harvard, Universidade Rockefeller, Universidade de Oxford |
Wang Hao, também conhecido por Hao Wang, (Chinês: 王浩, 20 de maio de 1921 — 13 de maio de 1995) foi um matemático e filósofo sino-americano.
Biografia
[editar | editar código-fonte]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.[1]
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.[2] 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.[3] 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.[4] 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".[5] 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
[editar | editar código-fonte]- Les Systèmes axiomatiques de la Théorie des Ensembles, Gauthier-Villars; Paris, 1953. [Wang 1953a, com Robert McNaughton].[6][7][8]
- 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]. ISBN 0-486-67632-3. Reimpressão de Dover 2014.[9]
- Beyond Analytic Philosophy: Doing Justice to What We Know. Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. ISBN 0-262-23124-7.
- Reflections on Kurt Gödel. Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. ISBN 0-262-73087-1.
- Computation, Logic, Philosophy. A Collection of Essays. Beijing: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. ISBN 7-03000211-3.
- A Logical Journey: From Gödel to Philosophy. Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. ISBN 0-262-23189-1.[10]
Ver também
[editar | editar código-fonte]Referências
- ↑ «Brief Biography | Harry R. Lewis»
- ↑ Wang, Hao (1960), «Toward Mechanical Mathematics», IBM Journal of Research and Development, 4 (1): 2–22, doi:10.1147/rd.41.0002 [Wang 1960a].
- ↑ [Wang 1960a].
- ↑ [Wang 1974 and 1985a]
- ↑ [Wang 1996a, 1987a, and in 1974a].
- ↑ Halmos, Paul R. (1954). «Review: Les systèmes axiomatiques de la théorie des ensembles par Hao Wang et Robert McNaughton» (PDF). Bull. Amer. Math. Soc. 60 (1): 93–94. doi:10.1090/s0002-9904-1954-09769-0
- ↑ Allendoerfer, Carl B. (1937). «The imbedding of Riemann spaces in the large». Duke Mathematical Journal. 3 (2). doi:10.1215/S0012-7094-37-00324-7
- ↑ Borgers, Alfons (1954). «Reviewed work: Les Systèmes Axiomatiques de la Théorie des Ensembles, Hao Wang, Robert McNaughton, with a preface by P. Destouches-Fevrier». The Journal of Symbolic Logic. 19 (1): 64. JSTOR 2267667. doi:10.2307/2267667
- ↑ Stenger, Allen (30 de novembro de 2015). «Review of Popular Lectures on Mathematical Logic by Hao Wang». MAA Reviews, Mathematical Association of America
- ↑ 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.
Ligações externas
[editar | editar código-fonte]- Hao Wang (em inglês) no Mathematics Genealogy Project
- 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.
