하오왕(학)

Hao Wang (academic)
하오왕
태어난(1921-05-20)1921년 5월 20일
죽은(1995-05-13)13 1995년 5월
모교
로 알려져 있다.왕타일
왕비머신
과학 경력
필드
기관
박사학위 자문위원윌러드 판 오르만 콰인
박사과정 학생

호왕(중국어: 王浩; 핀인: Wang Hao; 1921년 5월 20일 – 1995년 5월 13일)는 중국계 미국인 논리학자, 철학자, 수학자, 커트 괴델에 대한 해설자였다.

전기

중화민국(오늘날 중화인민공화국) 산둥(山東)성 진안(陳安)에서 태어난 왕(王)은 중국에서 조기 교육을 받았다. 1943년 국립서남연방대학교에서 수학 학사 학위를, 1945년 칭화대학교에서 철학 석사 학위를 취득했으며, 그의 스승들은 펑율란진유엘린을 포함했고, 그 후 그는 추가 대학원을 위해 미국으로 건너갔다. 그는 하버드 대학에서 논리를 공부했고 1948년에 박사학위를 취득했다. 그는 같은 해 하버드 대학교 조교수직에 임명되었다.

1950년대 초 왕 교수는 주리히에서 폴 버네이스와 함께 공부했다. 1956년 옥스퍼드 대학의 수학철학 독자로 임명되었다. 1959년, Wang은 IBM 704 컴퓨터에 불과 9분 만에 WhiteheadRussellPrincipia Mathematica에서 수 백 의 수학 논리 이론들을 기계적으로 증명하는 프로그램을 썼다.[1] 1961년 고든 맥케이 하버드대 수학논리학과 응용수학부 교수로 임명되었다.[2] 1967년부터 1991년까지 뉴욕시 록펠러 대학에서 논리연구단장을 맡아 논리학 교수로 재직했다. 1972년 왕 교수는 미국에서 중화인민공화국으로의 첫 번째 대표단으로 치쿵젠이 이끄는 중국계 미국인 과학자 그룹에 가입했다.

왕씨의 가장 중요한 공로 중 하나는 왕기였다.[3] 그는 어떤 튜링 기계라도 왕 타일 세트로 변할 수 있다는 것을 보여주었다. 가장 먼저 눈에 띄는 주기적 타일링의 예는 왕씨가 1966년 제자 로버트 버거에 의해 발견한 왕타일 세트다. 그 나름대로 철학자였던 왕 교수는 루드비히 비트겐슈타인의 후기 수학철학을 '인류주의'라고 하는 통찰력 있는 해석도 발전시켰다.[4] 그는 커트 괴델의 철학적 사상을 고증하고 그 주제에 관한 여러 권의 책을 저술하여 현대 학자들에게 괴델의 후기 철학적 사상을 해명하는 많은 통찰을 제공하였다.[5]

1983년 그는 국제 인공지능 공동회의 후원으로 자동화된 정리-프로빙을 위한 첫 번째 마일스톤 상을 받았다.[6]

책들

  • 레시스테메스 공리학 테오리앙상블, 게시에 빌라르, 1953년 파리 [왕 1953a, 로버트 맥노튼과 함께.[7]
  • 수학적 논리학의 조사. 북경: 사이언스 프레스; 암스테르담: 노스홀랜드, 1962년 [왕 1962a].
  • 수학에서 철학으로. 런던: Routrege & Kegan Paul, 1974년. [왕 1974a].
  • 수학 논리에 대한 인기 있는 강의. 뉴욕: 반 노스트랜드, 1981. [왕 1981a]. ISBN0-486-67632-3.
  • 분석 철학을 넘어서: 우리가 알고 있는 것에 대한 정의를 행하다. 메사추세츠주 케임브리지: MIT 프레스, 1985. [왕 1985a] ISBN 0-262-23124-7
  • 커트 괴델에 대한 반성. 메사추세츠주 케임브리지: MIT 프레스, 1987. [왕 1987a. ISBN 0-262-73087-1
  • 계산, 논리, 철학. 에세이 모음집. 베이징: Science Press; Dordrecht: Kluwer Academy, 1990. [왕90a]. ISBN 7-03000211-3.
  • 논리적 여정: 괴델에서 철학으로. 메사추세츠주 케임브리지: MIT 프레스, 1996. [왕 1996a]. ISBN 0-262-23189-1.[8]

참조

  1. ^ Wang, Hao (1960), "Toward Mechanical Mathematics", IBM Journal of Research and Development, 4 (1): 2–22, doi:10.1147/rd.41.0002 [왕 1960a].
  2. ^ "Brief Biography Harry R. Lewis".
  3. ^ [왕 1960a].
  4. ^ [왕 1974년과 1985a]
  5. ^ [왕 1996a, 1987a, 1974a]
  6. ^ Loveland, Donald W.; Bledsoe, W. W. (1984). Automated theorem proving: after 25 years. Providence, Rhode Island: American Mathematical Society. p. 47. ISBN 0-8218-5027-X.
  7. ^ 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.
  8. ^ 프란시스코 로드리게스 콘세그라 "고델과의 대화 속의 철학: 논리적 여정 하오왕에 대한 평론적 여정. 괴델에서 철학으로." 모던 로직 8, no. 3–4(2001): 137–152.

외부 링크

상세한 참고 문헌 목록