Loading AI tools
Da Wikipédia, a enciclopédia livre
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.
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 |
Prêmios | |
Empregador(a) | Universidade Harvard, Universidade Rockefeller, Universidade de Oxford |
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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.