该资源由用户: 思蝶baby 上传 举报不良内容
王浩(1921—1995),美籍华裔数学家、逻辑学家、计算机科学家、哲学家。1921年生于山东济南市。1943年毕业于西南联合大学数学系。1945年于清华大学研究生院哲学系毕业。曾师从金岳霖、王宪钧、沈有鼎等。1946年赴哈佛大学留学,师从蒯因(W. V. O. Quine),两年时间即获哈佛大学哲学博士学位。在哈佛短暂教学之后赴苏黎世与贝奈斯(Paul Bernays)一起工作。1954年—1956年,在牛津大学任第二届约翰•洛克讲座主讲,又任逻辑及数理哲学高级教职,主持数学基础讨论班。1961年—1967年,任哈佛大学教授。1967年—1991年,任洛克菲勒大学逻辑学教授。20世纪50年代初被选为美国科学院院士,后又被选为不列颠科学院外国院士。1983 年,被国际人工智能联合会授予第一届“数学定理机械证明里程碑奖”,以表彰他在数学定理机械证明研究领域中所作的开创性贡献。著有《数理逻辑概论》、《从数学到哲学》、《哥德尔》、《超越分析哲学》等专著。
尊敬的读者:
欢迎您访问我们的网站。本站的初衷是为大家提供一个共享学习资料、交换知识的平台。每位用户都可以将文件上传至网盘并分享。
然而,随着用户上传的资料增多,我们发现部分不宜或版权问题的书籍被分享到了本站。
为此,我们已经关闭了分享入口,并进行了多次书籍审查,但仍有部分内容未能彻底审查到位。
在此,我们恳请广大读者与我们共同监督,如发现任何不宜内容,请 点击此处 进行举报,我们会第一时间处理并下架相关内容。
希望我们能共建一个文明社区!感谢您的理解与支持!