词条 王浩

王浩

(数学家)

王浩(1921年5月20日-1995年5月13日),华裔美籍哲学家、数理逻辑学家。1943年西南联合大学数学系毕业,1945年清华大学哲学系毕业,国内期间曾师从著名逻辑学家金岳霖。1948年哈佛大学逻辑学博士毕业,同年成为哈佛的副教授。1950年代初,随保罗·伯奈斯英语Paul Bernays在苏黎世学习。1956年获荐为牛津大学Reader in the Philosophy of Mathematics。1959年,王浩在“IBM 704计算机”上用9分钟计算时间,证明了罗素、怀特海所著《数学原理》中数百余条数理逻辑定理;因此在1983年于国际人工智能联合会议荣获首届证明自动化奖(the first Milestone Prize for Automated Theorem-Proving)。1961年任命主持哈佛“数理逻辑和应用数学的Gordon McKay英语Gordon McKay教授纪念讲座”。1967年至1991年,领导洛克斐勒大学的逻辑学小组,在那里他是数理逻辑学教授。

他证明了图灵机都可转为一组王氏砖英语Wang tile(Wang tile)。...

王浩简介资料
数理逻辑概论、从数学到哲学、哥德尔、超越分析哲学
1921年05月20日
1995年05月13日
王浩相关文献
杨浩
注释
查看全文
王浩
著作FromMathematicstoPhilosophy,HaoWang,RoutledgeKegan&Paul,June1974ISBN978-0-7100-7689-2ALogicalJourney:FromGödeltoPhilosophy,HaoWang,TheMITPress,1997ISBN978-0-262-23189-3。参考文献^《俞大维传》.作者:李元平;出版社:台湾日报社;出版日:1992年01月05日,392页;(繁体中文),01,02,增订版^Wang,Hao.TowardMechanicalMathematics.IBMJournalofResearchandDevelopment4.1960:2–22.doi:10.1147/rd.41.0002.^Loveland,DonaldW.;Bledsoe,W.W.Automatedtheoremproving:a...
查看全文
浩齐特扎萨克郡王
浩齐特扎萨克郡王世系参考资料高文德、蔡志纯.《蒙古世系》.中国社会科学出版社.赵尔巽.《清史稿·藩部世表》.中华书局.
查看全文
浩浩荡荡
【成语】浩浩荡荡 【成语】浩浩荡荡 【拼音】hàohàodàngdàng 【解释】原形容人多,水势广大的样子。后形容事物的广阔壮大,或前进的人流声势浩大。 【出自】《尚书·尧典》:“汤汤洪水方割,荡荡怀山襄陵。 【近义词】汹涌澎湃、波澜壮阔、气壮山河、铺天盖地 【反义词】风平浪静
查看全文
晋的王朝——殷浩北伐
偏安江左的晋仁人志士,无不以北伐收复中原失地为己任。后赵内乱,他们纷纷摩拳擦掌,准备大展身手。褚裒以皇太后褚蒜子父亲的身份占得先机,被任命为征讨大都督,出师北伐,结果被打得大败,褚裒也急火攻心,一病不起,不就去世,年四十七岁。 桓温向朝廷上书,要求北伐。这时候的桓温,因为灭了成汉,在朝野内外有了巨大的声望,他所统领的八个州不向朝廷缴纳赋税,全部自己支配,朝
查看全文
王浩相关标签
逻辑学家
哈佛大学校友
哲学家
中国数学家
1921年出生
台湾清华大学校友
西南联合大学校友
1995年逝世
美国数学家
数理逻辑
数学家
数学家
哲学家
家族谱大览
王氏宗谱
原书: [出版地不详] : 三槐堂, 清宣统2[1910]年重修. 26册 : 插图, 世系表. 注 : 此谱目录中漏标卷5. 目录中所列之卷4内容即为版心所标之卷5内容. 远祖 : 王翔. 居婺源武口. 始祖(1世) : (宋) 王嵩卿,字九龄,号最山,行千三. 生江西饶州乐平县流槎河. 宋末游楚,卜居蕲春之团溪.生四子 : 九龄公生四子(2世) : 王文焕,行伯四(居西王家湾) ; 王文炳,号洪州(居蕲水东王家塆,继居蕲水华桂山下及菱角塘) ; 王文灿,号昌三(居蕲水古河) ; 王文(火兴)(分居蕲水邵藤坳,虎啸湾). 麻城始祖(10世) : 王梓铭(或子明),字秀六,行三. 原籍蕲春团溪.明初迁西陵麻城亭川乡白水畈王家冲. 梓铭公生五子(11世) : 王克温,字知新 ; 王克性(子孙居罗田杜居河) ; 王克成 ; 王克章(子孙居罗田滕家堡) ; 王克顺(止). 克温公生四子(13世) : 王永松 ; 王永梅 ; 王永樯 ; 王永槐. 永槐公下二大支(15世) : 王满 ; (清) 王湘. 永松公下分二支(16世) : 王益明 ; 王保明(自白水畈徙居梅河院). 保明公下房祖(17世) : 王承家(长房) ; 王承爱(二房) ; 王承敬(三房) ; 王承应(四房). 承家公生四子(18世) : 王有德,字正扬(长房) ; 王有令(二房) ; 王有照(三房) ; 王有秩(四房). 承爱公下支祖(19世) : (清) 王启祯,字国兴 ; 王启祀,字荣先 ; 王启祈,字荣桂 ; 王启禄 ; 王启𥚑 ; 王启襟. 承应公下支祖(19世) : 王启初 ; 王启祜. 有德公下支祖(19世) : 王启祥 ; 王启福,字山猷. 有令公下分三房(20世) : (清) 王之仕,字慕君 ; 王之任,字慕伊 ; 王之俸,字慕禄. 有秩公下分三房(20世) : (清) 王之位,字陈忠 ; 王之伋,字汉中 ; 王之倓,字建中. 启祥公生三子(20世) : (清) 王之道,字尊山(长房) ; 王之进,字泽山(二房) ; 王之瑞,字恒山(三房). 启福公生八子(20世) : (清) 王之礼,字义行(长房,子孙迁河南商邑中店子) ; 王之举,字尊贤(二房,子孙迁居楼子岗) ; 王之甄,字陶贤(三房) ; 王之达,字思贤(四房) ; 王之选,字儒贤(五房,子孙居神马岗等地) ; 王之显,字丕贤(六房) ; 王之名,字世贵(七房) ; 王之寿,字梅轩(八房). 甄, 达, 显三公均居河南商邑. 行派(1至21世) : 九文均卿拱如仕 *大子克秀永尚 潮明承有(臣)启(正)之作. 注 : *为单名辈. 派行(22世起) : 祈祥荫佑 与景同升 秉义进贤 慎思广益 植槐滋茂 纪望从淮 持守宜端 经纶乃济 嘉谟斯在 懿美常昭. 散居地 : 湖北省蕲春县, 麻城县, 及河南省商城县等地. 书名据书签题, 书名页题, 及版心题编目.
浏览:100
王氏宗谱
原书: [出版地不详] : 三槐堂, 清宣统2[1910]年重修. 26册 : 插图, 世系表. 注 : 此谱目录中漏标卷5. 目录中所列之卷4内容即为版心所标之卷5内容. 远祖 : 王翔. 居婺源武口. 始祖(1世) : (宋) 王嵩卿,字九龄,号最山,行千三. 生江西饶州乐平县流槎河. 宋末游楚,卜居蕲春之团溪.生四子 : 九龄公生四子(2世) : 王文焕,行伯四(居西王家湾) ; 王文炳,号洪州(居蕲水东王家塆,继居蕲水华桂山下及菱角塘) ; 王文灿,号昌三(居蕲水古河) ; 王文(火兴)(分居蕲水邵藤坳,虎啸湾). 麻城始祖(10世) : 王梓铭(或子明),字秀六,行三. 原籍蕲春团溪.明初迁西陵麻城亭川乡白水畈王家冲. 梓铭公生五子(11世) : 王克温,字知新 ; 王克性(子孙居罗田杜居河) ; 王克成 ; 王克章(子孙居罗田滕家堡) ; 王克顺(止). 克温公生四子(13世) : 王永松 ; 王永梅 ; 王永樯 ; 王永槐. 永槐公下二大支(15世) : 王满 ; (清) 王湘. 永松公下分二支(16世) : 王益明 ; 王保明(自白水畈徙居梅河院). 保明公下房祖(17世) : 王承家(长房) ; 王承爱(二房) ; 王承敬(三房) ; 王承应(四房). 承家公生四子(18世) : 王有德,字正扬(长房) ; 王有令(二房) ; 王有照(三房) ; 王有秩(四房). 承爱公下支祖(19世) : (清) 王启祯,字国兴 ; 王启祀,字荣先 ; 王启祈,字荣桂 ; 王启禄 ; 王启𥚑 ; 王启襟. 承应公下支祖(19世) : 王启初 ; 王启祜. 有德公下支祖(19世) : 王启祥 ; 王启福,字山猷. 有令公下分三房(20世) : (清) 王之仕,字慕君 ; 王之任,字慕伊 ; 王之俸,字慕禄. 有秩公下分三房(20世) : (清) 王之位,字陈忠 ; 王之伋,字汉中 ; 王之倓,字建中. 启祥公生三子(20世) : (清) 王之道,字尊山(长房) ; 王之进,字泽山(二房) ; 王之瑞,字恒山(三房). 启福公生八子(20世) : (清) 王之礼,字义行(长房,子孙迁河南商邑中店子) ; 王之举,字尊贤(二房,子孙迁居楼子岗) ; 王之甄,字陶贤(三房) ; 王之达,字思贤(四房) ; 王之选,字儒贤(五房,子孙居神马岗等地) ; 王之显,字丕贤(六房) ; 王之名,字世贵(七房) ; 王之寿,字梅轩(八房). 甄, 达, 显三公均居河南商邑. 行派(1至21世) : 九文均卿拱如仕 *大子克秀永尚 潮明承有(臣)启(正)之作. 注 : *为单名辈. 派行(22世起) : 祈祥荫佑 与景同升 秉义进贤 慎思广益 植槐滋茂 纪望从淮 持守宜端 经纶乃济 嘉谟斯在 懿美常昭. 散居地 : 湖北省蕲春县, 麻城县, 及河南省商城县等地. 书名据书签题, 书名页题, 及版心题编目.
浏览:100
王氏宗谱
原书: [出版地不详] : 三槐堂, 清宣统2[1910]年重修. 26册 : 插图, 世系表. 注 : 此谱目录中漏标卷5. 目录中所列之卷4内容即为版心所标之卷5内容. 远祖 : 王翔. 居婺源武口. 始祖(1世) : (宋) 王嵩卿,字九龄,号最山,行千三. 生江西饶州乐平县流槎河. 宋末游楚,卜居蕲春之团溪.生四子 : 九龄公生四子(2世) : 王文焕,行伯四(居西王家湾) ; 王文炳,号洪州(居蕲水东王家塆,继居蕲水华桂山下及菱角塘) ; 王文灿,号昌三(居蕲水古河) ; 王文(火兴)(分居蕲水邵藤坳,虎啸湾). 麻城始祖(10世) : 王梓铭(或子明),字秀六,行三. 原籍蕲春团溪.明初迁西陵麻城亭川乡白水畈王家冲. 梓铭公生五子(11世) : 王克温,字知新 ; 王克性(子孙居罗田杜居河) ; 王克成 ; 王克章(子孙居罗田滕家堡) ; 王克顺(止). 克温公生四子(13世) : 王永松 ; 王永梅 ; 王永樯 ; 王永槐. 永槐公下二大支(15世) : 王满 ; (清) 王湘. 永松公下分二支(16世) : 王益明 ; 王保明(自白水畈徙居梅河院). 保明公下房祖(17世) : 王承家(长房) ; 王承爱(二房) ; 王承敬(三房) ; 王承应(四房). 承家公生四子(18世) : 王有德,字正扬(长房) ; 王有令(二房) ; 王有照(三房) ; 王有秩(四房). 承爱公下支祖(19世) : (清) 王启祯,字国兴 ; 王启祀,字荣先 ; 王启祈,字荣桂 ; 王启禄 ; 王启𥚑 ; 王启襟. 承应公下支祖(19世) : 王启初 ; 王启祜. 有德公下支祖(19世) : 王启祥 ; 王启福,字山猷. 有令公下分三房(20世) : (清) 王之仕,字慕君 ; 王之任,字慕伊 ; 王之俸,字慕禄. 有秩公下分三房(20世) : (清) 王之位,字陈忠 ; 王之伋,字汉中 ; 王之倓,字建中. 启祥公生三子(20世) : (清) 王之道,字尊山(长房) ; 王之进,字泽山(二房) ; 王之瑞,字恒山(三房). 启福公生八子(20世) : (清) 王之礼,字义行(长房,子孙迁河南商邑中店子) ; 王之举,字尊贤(二房,子孙迁居楼子岗) ; 王之甄,字陶贤(三房) ; 王之达,字思贤(四房) ; 王之选,字儒贤(五房,子孙居神马岗等地) ; 王之显,字丕贤(六房) ; 王之名,字世贵(七房) ; 王之寿,字梅轩(八房). 甄, 达, 显三公均居河南商邑. 行派(1至21世) : 九文均卿拱如仕 *大子克秀永尚 潮明承有(臣)启(正)之作. 注 : *为单名辈. 派行(22世起) : 祈祥荫佑 与景同升 秉义进贤 慎思广益 植槐滋茂 纪望从淮 持守宜端 经纶乃济 嘉谟斯在 懿美常昭. 散居地 : 湖北省蕲春县, 麻城县, 及河南省商城县等地. 书名据书签题, 书名页题, 及版心题编目.
浏览:100
王氏宗谱
原书: [出版地不详] : 三槐堂, 清宣统2[1910]年重修. 26册 : 插图, 世系表. 注 : 此谱目录中漏标卷5. 目录中所列之卷4内容即为版心所标之卷5内容. 远祖 : 王翔. 居婺源武口. 始祖(1世) : (宋) 王嵩卿,字九龄,号最山,行千三. 生江西饶州乐平县流槎河. 宋末游楚,卜居蕲春之团溪.生四子 : 九龄公生四子(2世) : 王文焕,行伯四(居西王家湾) ; 王文炳,号洪州(居蕲水东王家塆,继居蕲水华桂山下及菱角塘) ; 王文灿,号昌三(居蕲水古河) ; 王文(火兴)(分居蕲水邵藤坳,虎啸湾). 麻城始祖(10世) : 王梓铭(或子明),字秀六,行三. 原籍蕲春团溪.明初迁西陵麻城亭川乡白水畈王家冲. 梓铭公生五子(11世) : 王克温,字知新 ; 王克性(子孙居罗田杜居河) ; 王克成 ; 王克章(子孙居罗田滕家堡) ; 王克顺(止). 克温公生四子(13世) : 王永松 ; 王永梅 ; 王永樯 ; 王永槐. 永槐公下二大支(15世) : 王满 ; (清) 王湘. 永松公下分二支(16世) : 王益明 ; 王保明(自白水畈徙居梅河院). 保明公下房祖(17世) : 王承家(长房) ; 王承爱(二房) ; 王承敬(三房) ; 王承应(四房). 承家公生四子(18世) : 王有德,字正扬(长房) ; 王有令(二房) ; 王有照(三房) ; 王有秩(四房). 承爱公下支祖(19世) : (清) 王启祯,字国兴 ; 王启祀,字荣先 ; 王启祈,字荣桂 ; 王启禄 ; 王启𥚑 ; 王启襟. 承应公下支祖(19世) : 王启初 ; 王启祜. 有德公下支祖(19世) : 王启祥 ; 王启福,字山猷. 有令公下分三房(20世) : (清) 王之仕,字慕君 ; 王之任,字慕伊 ; 王之俸,字慕禄. 有秩公下分三房(20世) : (清) 王之位,字陈忠 ; 王之伋,字汉中 ; 王之倓,字建中. 启祥公生三子(20世) : (清) 王之道,字尊山(长房) ; 王之进,字泽山(二房) ; 王之瑞,字恒山(三房). 启福公生八子(20世) : (清) 王之礼,字义行(长房,子孙迁河南商邑中店子) ; 王之举,字尊贤(二房,子孙迁居楼子岗) ; 王之甄,字陶贤(三房) ; 王之达,字思贤(四房) ; 王之选,字儒贤(五房,子孙居神马岗等地) ; 王之显,字丕贤(六房) ; 王之名,字世贵(七房) ; 王之寿,字梅轩(八房). 甄, 达, 显三公均居河南商邑. 行派(1至21世) : 九文均卿拱如仕 *大子克秀永尚 潮明承有(臣)启(正)之作. 注 : *为单名辈. 派行(22世起) : 祈祥荫佑 与景同升 秉义进贤 慎思广益 植槐滋茂 纪望从淮 持守宜端 经纶乃济 嘉谟斯在 懿美常昭. 散居地 : 湖北省蕲春县, 麻城县, 及河南省商城县等地. 书名据书签题, 书名页题, 及版心题编目.
浏览:100
王氏族譜
原书: [出版地不详] : 三槐堂, 民国29[1940]年续修. 12册 : 插图, 世系表. 修谱人员 : 王朝准,号炎初 ; 王朝笏,号象轩 ; 王朝逢,号吉士 ; 王盛𡋣,字地平 ; 王朝骢,号锡哉 ; 王国晰,字清昌. 注 : 此谱多处破损缺页. 鼻祖 : (元明之际) 王仕魁,行辛大郎. 偕弟仕通. 于洪武14年由江西吉安泰和县迁湖南永州府高桥边,续徙永兴高仓. 仕魁公生三子(2世) : (明) 王文胜,行寿三(胜房) ; 王文禄,行寿四郎(禄房) ; 王文开(止). 文胜公生四子(3世) : (明) 王敬,行康二 ; 王斌,行康三 ; 王聪,行康六 ; 王珪,行康九. 文禄公生五子(3世) : (明) 王恭,行康一 ; 王敏,行康四 ; 王海,行康五 ; 王清,行康八 ; 王秀,行康十(止). 敏公下房祖(4世) : 王志富,字殷实(富房,徙居观冲) ; 王志豪,字以实(豪房,迁石坳) ; 王志兴,字隆昌(兴房) ; 王志成,字朴实(成房,居玉浆,阵牌,凤塘等地) ; 王志华,字真实(华房). 海公生七子(4世) : (明) 王志寿(止) ; 王志祥,字钟和(祥房) ; 王志祯,字钟福(祯房) ; 王志祺,字钟瑞(祺房) ; 王志宣,字钟德 ; 王志瑛,字钟华 ; 王志芳,字钟秀. 清公生一子(4世) : (明) 王志能,字钟才(能房). 台前祖(4世) : 王志贵,字荣华. 敬公之子. 龙塘下祖(6世) : (明) 王惠𦈡,字符信. 志祥公之孙. 旧班行 : 仕魁祖德尊 人文振王门 志廷惠正仁 尚思应万春 永佐盛朝国 方显祖宗兴. 新班行 : 修齐敦孝友 辅弼笃忠贞 承继延先绪 贤良世代生. 散居地 : 湖南省永兴县等地. 书名据书衣题, 及版心题编目. 书名页题 : 高仓王氏族谱
浏览:100
王氏族譜
原书: [出版地不详] : 三槐堂, 民国29[1940]年续修. 12册 : 插图, 世系表. 修谱人员 : 王朝准,号炎初 ; 王朝笏,号象轩 ; 王朝逢,号吉士 ; 王盛𡋣,字地平 ; 王朝骢,号锡哉 ; 王国晰,字清昌. 注 : 此谱多处破损缺页. 鼻祖 : (元明之际) 王仕魁,行辛大郎. 偕弟仕通. 于洪武14年由江西吉安泰和县迁湖南永州府高桥边,续徙永兴高仓. 仕魁公生三子(2世) : (明) 王文胜,行寿三(胜房) ; 王文禄,行寿四郎(禄房) ; 王文开(止). 文胜公生四子(3世) : (明) 王敬,行康二 ; 王斌,行康三 ; 王聪,行康六 ; 王珪,行康九. 文禄公生五子(3世) : (明) 王恭,行康一 ; 王敏,行康四 ; 王海,行康五 ; 王清,行康八 ; 王秀,行康十(止). 敏公下房祖(4世) : 王志富,字殷实(富房,徙居观冲) ; 王志豪,字以实(豪房,迁石坳) ; 王志兴,字隆昌(兴房) ; 王志成,字朴实(成房,居玉浆,阵牌,凤塘等地) ; 王志华,字真实(华房). 海公生七子(4世) : (明) 王志寿(止) ; 王志祥,字钟和(祥房) ; 王志祯,字钟福(祯房) ; 王志祺,字钟瑞(祺房) ; 王志宣,字钟德 ; 王志瑛,字钟华 ; 王志芳,字钟秀. 清公生一子(4世) : (明) 王志能,字钟才(能房). 台前祖(4世) : 王志贵,字荣华. 敬公之子. 龙塘下祖(6世) : (明) 王惠𦈡,字符信. 志祥公之孙. 旧班行 : 仕魁祖德尊 人文振王门 志廷惠正仁 尚思应万春 永佐盛朝国 方显祖宗兴. 新班行 : 修齐敦孝友 辅弼笃忠贞 承继延先绪 贤良世代生. 散居地 : 湖南省永兴县等地. 书名据书衣题, 及版心题编目. 书名页题 : 高仓王氏族谱
浏览:100