【摘要】：王浩(1921—1995)是國(guó)際知名的美籍華裔數(shù)理邏輯學(xué)家、計(jì)算機(jī)科學(xué)家和哲學(xué)家。本文分為三個(gè)部分:(1)介紹他的生平與主要論著;(2)論述他在數(shù)理邏輯、計(jì)算機(jī)科學(xué)領(lǐng)域的開(kāi)創(chuàng)性貢獻(xiàn),包括:集合論、和多米諾理論、王氏機(jī)器、定理的計(jì)算機(jī)證明以及邏輯語(yǔ)義學(xué)等5個(gè)方面;(3)評(píng)述他對(duì)哲學(xué)的貢獻(xiàn)。
[Abstract]:Wang Hao (1921-1995) is an internationally renowned Chinese American mathematical logician, computer scientist and philosopher. This paper is divided into three parts: (1) introduction of his life and main works; (2) his pioneering contributions in the fields of mathematical logic and computer science, including: set theory, and dominoes theory, Wang's machine, computer proof of theorems and logical semantics; (3) comment on his contribution to philosophy.
【作者單位】： 中國(guó)社會(huì)科學(xué)院哲學(xué)研究所;清華大學(xué)哲學(xué)系;
【分類號(hào)】：B81-092

【相似文獻(xiàn)】

相關(guān)期刊論文 前6條

1 陳紅;計(jì)算機(jī)科學(xué)家——王珊[J];中國(guó)人民大學(xué)學(xué)報(bào);1997年03期

2 李娜;孫雯;;國(guó)外邏輯學(xué)習(xí)軟件初探——兼談國(guó)內(nèi)邏輯學(xué)習(xí)軟件情況[J];邏輯學(xué)研究;2011年04期

3 ;小幽默[J];民營(yíng)科技;2007年06期

4 ;最古老的職業(yè)[J];每周電腦報(bào);1998年09期

5 ;劍橋情緣[J];程序員;2004年04期

6 ;[J];;年期

相關(guān)重要報(bào)紙文章 前8條

1 韓菊　編譯;100年后的電腦什么樣？[N];計(jì)算機(jī)世界;2010年

2 ;英計(jì)算機(jī)科學(xué)家認(rèn)為IT面臨七大挑戰(zhàn)[N];計(jì)算機(jī)世界;2005年

3 馬文方、賀宏良;靈感：來(lái)自與大師同行[N];中國(guó)計(jì)算機(jī)報(bào);2000年

4 吳鶴齡;大器晚成的計(jì)算機(jī)科學(xué)家[N];計(jì)算機(jī)世界;2000年

5 ;PC：科學(xué)與藝術(shù)的交融[N];廣西日?qǐng)?bào);2001年

6 張代蕾;誰(shuí)在跟蹤你的“電子足跡”[N];經(jīng)濟(jì)參考報(bào);2014年

7 本報(bào)記者 陳丹;學(xué)術(shù)研討,原來(lái)可以這樣做[N];科技日?qǐng)?bào);2010年

8 晶蘇傳媒首席分析師 財(cái)經(jīng)媒體專欄作家 蔡恩澤;微軟也開(kāi)始“移動(dòng)”了[N];上海證券報(bào);2014年

，

本文編號(hào)：2424010