Vương hạo( Hao Wang, 1921 năm 5 nguyệt 20 ngày —1995 năm 5 nguyệt 13 ngày ),Sinh ra vớiSơn Đông tỉnhTế Nam thị,Nguyên quán Sơn Đông tỉnhĐức châu thịTề hà huyện,Hoa kiều người Mỹ,Toán học gia, triết học gia, logic học giả, máy tính nhà khoa học,Nước Mỹ nghệ thuật cùng viện khoa học viện sĩ,Rockefeller đại họcVinh hưu giáo thụ.[1-2][6]
Vương hạo với 1943 năm tốt nghiệp ở Tây Nam liên hợp đại học toán học hệ, cùng năm khảo nhập đại học Thanh Hoa văn khoa viện nghiên cứu triết học bộ; 1945 năm đạt đượcĐại học Thanh HoaThạc sĩ học vị; 1948 năm đạt đượcHarvard đại họcTriết học tiến sĩ học vị; 1948 năm một 1951 năm nhậm Harvard đại học sơ cấp nghiên cứu viên; 1950 năm một 1951 năm ở Zurich Liên Bang lý công học viện toán học viện nghiên cứu làm hậu tiến sĩ nghiên cứu; 1951 năm một 1956 năm nhậm Harvard đại học trợ lý triết học giáo thụ; 1956 năm —1961 năm nhậm Oxford đại học toán học triết học cao cấp giảng sư; 1961 năm —1967 năm nhậm Harvard đại học số lý logic cùng ứng dụng toán học qua đăng · mạch khải ( GordonMacKay ) toạ đàm giáo thụ; 1967 năm —1991 năm nhậmRockefeller đại họcGiáo thụ, lãnh đạo nên giáo logic học tiểu tổ; 1995 năm 5 nguyệt 13 ngày nhân tuyến dịch lim-pha tuyến ung thư ở New York bệnh viện qua đời, hưởng thọ 74 tuổi.[4-5]
Vương hạo suốt đời tận sức với số lý logic cùng toán học triết học nghiên cứu.[2]
- Tiếng Trung danh
- Vương hạo
- Ngoại văn danh
- Hao Wang
- Quốc tịch
- Nước Mỹ
- Dân tộc
- Dân tộc Hán
- Nơi sinh
- Sơn Đông tỉnhTế Nam thị
- Sinh ra ngày
- 1921 năm 5 nguyệt 20 ngày
- Qua đời ngày
- 1995 năm 5 nguyệt 13 ngày
- Tốt nghiệp trường học
- Harvard đại học
- Chức nghiệp
- Giáo dục nghiên cứu khoa học công tác giả
- Chủ yếu thành tựu
- 1952 năm được tuyển vì nước Mỹ nghệ thuật cùng viện khoa học viện sĩ
1970 năm được tuyển vì Anh quốc viện khoa học thông tin viện sĩ - Tổ tịch
- Sơn Đông tỉnhĐức châu thịTề hà huyện
1933 năm, khảo nhập tỉnh lập Tế Nam một trung sơ trung bộ liền đọc.
1936 năm, nhập quốc lập trung ương đại học thực nghiệm cao trung liền đọc.
1939 năm, khảo nhập Tây Nam liên hợp đại học toán học hệ.
1943 năm, tốt nghiệp ở Tây Nam liên hợp đại học toán học hệ; cùng năm khảo nhập đại học Thanh Hoa văn khoa viện nghiên cứu triết học bộ, sư từPhùng hữu lan,Kim nhạc lâmChờ giáo thụ đọc triết học nghiên cứu sinh.[1]
1945 năm, đạt được đại học Thanh Hoa thạc sĩ học vị.
1945 năm —1946 năm, nhậm Tây Nam liên hợp đại học phụ thuộc trung học toán học giáo viên.[6]
1946 năm, từ đại học Thanh Hoa đề cử, hoạch nước Mỹ Quốc Vụ Viện học bổng nhập Harvard đại học, sư từKhuê nhânGiáo thụ.
1948 năm, đạt được Harvard đại học triết học tiến sĩ học vị.
1948 năm một 1951 năm, nhậm Harvard đại học sơ cấp nghiên cứu viên.
1950 năm một 1951 năm, ở Zurich Liên Bang lý công học viện toán học viện nghiên cứu làm hậu tiến sĩ nghiên cứu.
1951 năm một 1956 năm, nhậm Harvard đại học trợ lý triết học giáo thụ.
1956 năm —1961 năm, nhậm Oxford đại học toán học triết học cao cấp giảng sư.
1961 năm —1967 năm, nhậm Harvard đại học số lý logic cùng ứng dụng toán học qua đăng · mạch khải ( GordonMacKay ) toạ đàm giáo thụ.
1967 năm, gia nhập nước Mỹ quốc tịch.[2]
1967 năm —1991 năm, nhậm Rockefeller đại học giáo thụ, lãnh đạo nên giáo logic học tiểu tổ.
1991 năm, từ Rockefeller đại học về hưu, nhậm vinh hưu giáo thụ.[6]
1995 năm 5 nguyệt 13 ngày, nhânTuyến dịch lim-pha tuyến ung thưỞ New York bệnh viện qua đời, hưởng thọ 74 tuổi.[1]
- Nghiên cứu khoa học nói khái quát
Vương hạo đối số lý logic cập máy tính khoa học ứng dụng phương diện từng làm ra quá một loạt cống hiến.
Một, công lý tập hợp luận. Vương hạo ởCông lý tập hợp luậnPhương diện công tác là từ hắn đối khuê nhân ML hệ thống tu bổ bắt đầu ( khuê nhân hệ thống bao hàm ở hắn 1940 năm xuất bản 《 số lý logic 》 ( Mathematicol Logic ) một cuốn sách trung, cố tên gọi tắt ML ). Vương hạo hệ thống là từ so nguyên lai nhược công lý đẩy ra càng nhiều định lý. Vương hạo hệ thống liền cấu thành hắn tiến sĩ luận văn.[8]
1949 năm, vương hạo ở 《Nước Mỹ viện khoa học viện khan》 thượng phát biểu 《 luận sách mặc la cùng John von Neumann tập hợp luận công lý 》 một văn, trong đó bao hàm một loại tân tập hợp luận hệ thống, tức sau lại văn hiến trung thường xuyên xưng là Moore-kelly tập hợp luận cái loại này hệ thống.[8]
1953 năm, vương hạo phát biểu 《 số luận cùng tập hợp luận chi gian quan hệ 》, này thiên luận văn lần đầu tiên minh xác khu vực phânThẳng gọi tập hợp luậnCùngPhi thẳng gọi tập hợp luận,Do đó khai thác một cái tân lĩnh vực —— thẳng gọi tập hợp luận. 1953 năm, hắn còn bắt đầu rồi về ∑ hệ thống nghiên cứu, này không phải một cái đơn cái tập hợp luận hệ thống, mà là một hệ thống danh sách; một khi thành lập lên về sau, sẽ là vô cùng nhiều một cái bộ một cái tập hợp luận công lý hệ thống. 1959 năm phát biểu 《 số thứ tự cùng thẳng gọi tập hợp luận 》 liền bao hàm cái này phương diện nghiên cứu kết quả.[8]
Nhị, logic ngữ nghĩa học. 1952 năm vương hạo phát biểu 《 chân lý tính định nghĩa cùng nhất trí tính chứng minh 》 (Hiệp hội toán học Mỹ hối khanĐệ 73 cuốn ) một văn, tường tận mà thảo luận cùng chân lý tính định nghĩa có quan hệ các loại khái niệm; cải tiến 20 thế kỷ 30 niên đại sơAlfred · tháp tư cơ( Alfred Tarski ) công tác, đưa ra càng hoàn chỉnh lý luận.[8]
Tam, lý tưởng máy tính. Từ 20 thế kỷ 50 niên đại giai đoạn trước bắt đầu, vương hạo đối với bột khắc tư ( A. W. Burks ) đám người xưng là “Máy tính logic” này đổi mới hoàn toàn hưng lĩnh vực cảm thấy hứng thú, hắn đưa ra một loại tân lý tưởng máy tính. Loại này máy móc soĐồ linh cơCàng tiếp cận hiện thực máy tính. Tuy rằng nó tồn trữ mang có chỉ đọc mà không thể viết lại đặc điểm, lại có thể chứng minh: Cùng đồ linh cơ giống nhau, có thể tính toán hết thảy nhưng tính toán hàm số. Tại đây trong lúc, hắn còn cùng bột khắc tư ( A. W. Burks ) hợp viết 《 tự động cơ logic 》 một văn.[8]
Bốn, toán học định lý cơ giới hoá chứng minh. 1958 năm nghỉ hè, vương hạo dùng IBM 704 ( mỗi giây có thể sao hành 10000 điều tả hữu mệnh lệnh máy tính ) máy móc ngôn ngữ biên ba cái chứng minh trình tự, ở máy tính thượng dùng chín phút thời gian, chứng minh rồiBá đặc lan · Arthur · William · RussellCùngA phất liệt · nặc phu · hoài đặc hải( Whitehead ) hợp lại 《Toán học nguyên lý》 trung mang tập thứcGọi từ tính toánBộ phận 450 hơn định lý.[8]
Năm, phô gạch lý luận. Phô gạch lý luận ( lại xưng “Quân bài trò chơi lý luận” ) là vương hạo với 1960 năm sáng lập một loại tân thuật toán lý luận, hắn lợi dụng loại này lý luận làm công cụ tới giải quyết ∀∃∀ vấn đề ( tứcPhán định vấn đề). Này một lý luận sở nghiên cứu vấn đề, là một loại trực quan thượng phi thường rõ ràng mà đơn giản vấn đề, tức cái gọi là “Phô gạch vấn đề”.[8]
Sáu, phán định vấn đề. 1961 năm, vương hạo chứng minh ra có
Vương hạo cường điệu phát triển ứng dụng logic tân chi nhánh —— “Trinh thám phân tích” ( inferential analysis ), này đối với số lý logic ỷ lại quan hệ cùng loại với trị số phân tích ( numerical analysis ) đối với toán học phân tích ỷ lại quan hệ; kiên trì gọi từ tính toán cùngJacques · ai ngươi Brown( Herbrand ) cùngCăn sầm( Gentzen ) hình thức hóa cơ bản tác dụng; cái thứ nhất cường điệu ở ai ngươi Brown danh sách ( Herbrand expansion ) trung trước đánh tan vô dụng hạng thuật toán tầm quan trọng; đưa ra một ít suy nghĩ cặn kẽ gọi từ tính toán định lý, nhưng dùng làm tính khiêu chiến vấn đề tới trợ giúp phán đoán tân định lý chứng minh trình tự hiệu năng.[4]
- Học thuật luận
Vương hạo cả đời phát biểu 100 nhiều thiên luận văn. Chủ yếu làm có: 《A Survey of Mathematical Logic ( số lý logic khái luận ) 》 ( 1962 năm ), trong đó góp nhặt vương hạo ở 1947 năm đến 1959 năm trong lúc viết về toán học cơ sở, hình thức công lý hệ thống, máy tính lý luận cùng toán học định lý cơ giới hoá chứng minh một ít nghiên cứu luận văn cùng cái khác văn chương; 《From Mathematics to Phlcosophy ( từ toán học đến triết học ) 》 ( 1974 năm ), tác giả ý đồ dùng "Thực sự cầu thị luận" quan điểm trình bày đối một loạt triết học vấn đề, đặc biệt là toán học triết học vấn đề cái nhìn, thư trung còn bao gồm logic học giảGödelMột ít chưa phát biểu triết học quan điểm; 《Beyond Analytic Philosophy - Doing Justice to What we Know ( siêu việt phân tích triết học —— công bằng đối đãi với chúng ta có tri thức ) 》 ( 1986 năm ), tác giả đối phân tích triết học đại biểu nhân vậtBá đặc lan · Arthur · William · Russell,Ludwig · duy đặc căn tư thản,Tạp nạp phổCùngKhuê nhânĐám người tư tưởng quan điểm làm kỹ càng tỉ mỉ giới thiệu, cũng cho kín đáo phân tích cùng hữu lực phê phán, chủ yếu luận cứ là bọn họ triết học vô pháp vì nhân loại hiện có tri thức, đặc biệt là toán học tri thức cung cấp cơ sở.[4]
- Truyền thụ chương trình học
1949 năm, vương hạo tiếp nhậnKhuê nhânỞ Harvard đại học mở “Cao đẳng logic” chương trình học, dùng một loại tương đương hoàn bị phương pháp giới thiệuGödelĐịnh lý bất toàn. 1954 năm, ở Oxford đại học truyền thụ “Tập hợp luận” cùng “Số lý triết học” chờ chương trình học.[5]
Thời gian | Vinh dự khen ngợi |
|---|---|
1952 năm | Nước Mỹ nghệ thuật cùng viện khoa học viện sĩ[3] |
1970 năm | Anh quốc viện khoa học thông tin viện sĩ[1] |
1983 năm | Tự động định lý chứng minh ( Automated Theorem Proving ) đặc biệt họp thường niên lần thứ nhất cột mốc lịch sử thưởng ( Milestone Prize )[4] |
Thời gian | Đảm nhiệm chức vụ |
|---|---|
1953 năm —1954 năm | Ba lặc tư công ty nghiên cứu kỹ sư |
1959 năm —1960 năm | Bell điện thoại phòng thí nghiệmKỹ thuật chuyên gia |
1973 năm —1974 năm | Quốc tế thương nghiệp máy móc công ty ( IBM ) nghiên cứu trung tâm ghế khách nhà khoa học |
1985 năm | Bắc Kinh đại học kiêm chức giáo thụ[4] |
1987 năm | Đại học Thanh Hoa vinh dự giáo thụ[7] |
1987 năm | Gödel học được người nhậm chức đầu tiên chủ tịch[1] |
- Gia đình bối cảnh
Vương hạo phụ thânVương chúc thầnTừng nhậmSơn Đông tỉnh lập đệ nhất trường sư phạmHiệu trưởng, mẫu thân Lưu chi trừng là vị thiện lương hiền huệ cần cù tiết kiệm gia đình bà chủ. Vương hạo sau khi sinh nhân mẫu thân thiếu nãi, chỉ dựa uống nước đậu xanh sinh tồn. Hơi đại, phụ thân liền mua chút có nhân bánh kem cùng đường hạt sen vì này bổ thực.
1922 năm sau, vương hạo phụ thân nhân sáng lập tiến bộ sách báo, giới thiệu tân văn hóa thư tịch, mời nữ giáo viên cập nga người nghệ thuật khoa giáo sư chấp giáo, bị quốc dân đảng Sơn Đông tỉnh chính phủ coi là “Dị đoan phần tử” “Nguy hiểm nhân vật”. 1926 năm 10 nguyệt tao khi nhậm Sơn Đông đốc thúcTrương tông xươngTruy nã, 11 nguyệt nam trốn đến Quảng Châu. 1928 năm trở về núi đông sau, kinh vài lần dời động đến Sơn Đông tỉnh lập đệ nhị trường sư phạm dạy học sau, lại cuốn vào Sơn Đông tỉnh lập đệ nhị trường sư phạm học sinh tập diễn 《 tử thấy nam tử 》 một án, bị xa điều đếnSơn Đông tỉnh lập đệ tam trường sư phạm.Ở phụ thân gặp nạn nhật tử, tuổi nhỏ vương hạo cùng nhược huynh cô mẫu tình cảnh nhấp nhô, sinh kế gian nan, chỉ dựa ăn bánh rán cuốn hành tây, uống rau xanh canh độ nhật. Nhân với tỉnh thành khó có thể duy trì sinh hoạt, sau tùy mẫu chuyển nhàTề hà huyệnQuê quán, đến 1929 năm thu này phụ phản hồi Tế Nam sau, lại tùy mẫu trở lại Tế Nam, trụ quảng trí viện phố 24 hào, vương hạo gần đây với Tế Nam thị đệ tứ thực nghiệm tiểu học đọc xong tam, năm 4.[1]
Vương hạo thân cư hải ngoại, không vì phương tây mất tinh thần khi phong sở hoặc, dốc hết sức lực, hiến thân khoa học. Đi vào nhân sinh tráng linh vương hạo đồng thời giới lâm khoa học đỉnh, thả đã là danh quan Trung Quốc và Phương Tây, truyền bá tiếng tăm quốc tế trứ danh logic học giả, máy tính nhà khoa học cùng triết học gia.( 《Xuân thu》1997 năm đệ 1 kỳ bình )[1]
Vương hạo làm một người logic học giả, cả đời tận sức với tìm kiếm một cái đem toán học cùng triết học liên hệ lên con đường, là logic chủ đề khai thác giả, đối máy tính khoa học nổi lên thúc đẩy tác dụng cùng trọng đại thành tựu.( 《New York thời báo》 tái văn đưa tin vương hạo văn chương bình )[1]
Vương hạo ở tập hợp luận cùng toán học cơ sở, toán học định lý máy móc chứng minh chờ phương diện làm ra quá nặng muốn cống hiến.(Trung Quốc trí công đảng Sơn Đông tỉnh ủy banBình )[2]
Vương hạo là người Hoa học giả ưu tú đại biểu, được hưởng cao thượng quốc tế danh dự.( Thượng Hải khoa học kỹ thuật nhà xuất bản 《 khoa học 》 tạp chí, 2007 năm đệ 6 kỳ bình )[7]
- Mệnh đề mệnh danh
