Hao Wang (universitaire) - Hao Wang (academic)

Hao Wang ( chinois : 王浩 ; pinyin : Wáng Hào ; 20 mai 1921 - 13 mai 1995) était un logicien , philosophe , mathématicien et commentateur sino-américain sur Kurt Gödel .

Biographie

Né à Jinan , Shandong , en République de Chine (aujourd'hui en République populaire de Chine ), Wang a fait ses premières études en Chine. Il a obtenu une licence en mathématiques de la National Southwestern Associated University en 1943 et une maîtrise en philosophie de l'Université Tsinghua en 1945, où ses professeurs comprenaient Feng Youlan et Jin Yuelin , après quoi il a déménagé aux États-Unis pour poursuivre ses études supérieures. Il a étudié la logique à l'Université de Harvard , aboutissant à un doctorat en 1948. Il a été nommé professeur adjoint à Harvard la même année.

Au début des années 50, Wang a étudié avec Paul Bernays à Zurich . En 1956, il a été nommé lecteur en philosophie des mathématiques à l' Université d'Oxford . En 1959, Wang a écrit sur un IBM 704 ordinateur un programme qui , en seulement 9 minutes mécaniquement prouvé plusieurs centaines logiques mathématiques théorèmes dans Whitehead et Russell de Principia Mathematica . En 1961, il a été nommé professeur Gordon McKay de logique mathématique et de mathématiques appliquées à Harvard. De 1967 à 1991, il a dirigé le groupe de recherche en logique de l'Université Rockefeller de New York , où il était professeur de logique. En 1972, Wang a rejoint un groupe de scientifiques sino-américains dirigé par Chih-Kung Jen en tant que première délégation de ce type des États-Unis en République populaire de Chine.

L'une des contributions les plus importantes de Wang a été la tuile Wang . Il a montré que n'importe quelle machine de Turing peut être transformée en un ensemble de tuiles Wang. Le premier exemple noté de carrelage apériodique est un ensemble de carreaux de Wang, dont Wang avait autrefois supposé la non-existence, découvert par son élève Robert Berger en 1966. Philosophe à part entière, Wang a également développé une interprétation pénétrante de la philosophie ultérieure de Ludwig Wittgenstein des mathématiques, qu'il a appelé «anthropologisme». Il a fait la chronique des idées philosophiques de Kurt Gödel et a écrit plusieurs livres sur le sujet, fournissant ainsi aux chercheurs contemporains de nombreuses idées élucidant la pensée philosophique ultérieure de Gödel.

En 1983, il a reçu le premier prix Milestone for Automated Theorem-Proving , parrainé par l' International Joint Conference on Artificial Intelligence .

Livres

• Les Systèmes axiomatiques de la Théorie des Ensembles , Gauthier-Villars; Paris, 1953. [Wang 1953a, avec Robert McNaughton].
• Une enquête sur la logique mathématique . Pékin: Science Press; Amsterdam: Hollande du Nord, 1962. [Wang 1962a].
• Des mathématiques à la philosophie . Londres: Routledge et Kegan Paul, 1974. [Wang 1974a].
• Conférences populaires sur la logique mathématique . New York: Van Nostrand, 1981. [Wang 1981a]. ISBN   0-486-67632-3 .
• Au-delà de la philosophie analytique: rendre justice à ce que nous savons . Cambridge, Massachusetts: MIT Press, 1985. [Wang 1985a]. ISBN   0-262-23124-7 .
• Réflexions sur Kurt Gödel . Cambridge, Massachusetts: MIT Press, 1987. [Wang 1987a]. ISBN   0-262-73087-1 .
• Calcul, logique, philosophie. Une collection d'essais . Pékin: Science Press; Dordrecht: Kluwer Academic, 1990. [Wang 1990a]. ISBN   7-03000211-3 .
• Un voyage logique: de Gödel à la philosophie . Cambridge, Massachusetts: MIT Press, 1996. [Wang 1996a]. ISBN   0-262-23189-1 .

Les références

Liens externes

• Hao Wang au projet de généalogie mathématique
• Nécrologie du New York Times.
• Entretien vidéo avec Hao Wang et Robin Gandy (et portrait de Wang)

Bibliographie détaillée

• "Une bibliographie de Hao Wang" de Philosophia Mathematica. Les références entre crochets renvoient à cette source.