王浩是近代享誉国际的数学家、哲学家、逻辑学家、计算机科学家,是人工智能重要研究领域“机器定理证明”的奠基人,是“王浩瓷砖”模型、“王氏悖论”命题的提出者,是“定理证明里程碑奖”获得者。 _ 王浩早年就读于西南联大数学系,师从金岳霖、沈有鼎、王宪钧、杨武之等明师,与杨振宁是室友,与汪曾祺、何兆武交好。后在哈佛大学哲学系
关于知识与生活的札记,王浩谈哲学与生活的意义,文中提到胡塞尔、海德格尔、康德、朱熹、陆九渊等哲学家的思想。面对哲学的两大主题——自然与人类生活,对于前者王浩似乎更容易“获取”,但后者却一直困扰着王浩,是他对哲学的“惊奇”所在,“有一种理想叫尽力而为,其意或许是指以最大的干劲做自己最擅长的事”,人生...
《从数学到哲学》 近代著名数理逻辑学家王浩在数学、逻辑学、计算机科学领域有着超高天赋和开拓性成果,他一生痴迷于哲学研究,是对世界哲学作出过深刻贡献的华裔学者。 本书是王浩的代表作,是其正面集中阐释自己哲学思想的作品。循着从柏拉图...
王浩琢磨:我一个学哲学的回国能干啥。那时计算机刚出现,计算机理论都是从逻辑的分支演化出来的。王浩一开始是做自动机理论,他在坡斯特(Post)的模型上提出“王浩机”,在这个模型上编程已经很接近现代的汇编语言了。 王祝晨(王浩父亲)给王浩写信的同时也给金岳霖和冯友兰各写了一封信,说:我儿子数学学得挺好,是你们把...
“我发现你踏马是个哲学家!” 陈留对着王浩竖起了一根中指,表达了一下自己的鄙夷。 “我们现在去干嘛啊?这大清早的,你就把我给薅出来了!”王浩有些委屈的说道:“还不呲枪!” “看把你委屈的!” 陈留无语:“走吧,陪着我去做个头发!” “做头发干嘛?”王浩不解。 “既然是要去谈生意,那肯定是...
王浩(Wang Hao,1921-1995),作为著名的华裔美国逻辑学家和哲学家,他在人工智能领域的贡献不可小视。出生于中国山东的王浩,早年就展现出卓越的逻辑思维能力和学术追求。他在清华大学取得哲学学位后,赴哈佛大学继续深造,成为逻辑学博士,并与当时著名的哲学家如哥德尔等人建立了深厚的友谊。尽管他的主要研究方向是逻辑和...
梅贻琦主政清华和西南联大时,大师云集,英才辈出,涌现出李政道、杨振宁、李远哲(台湾清华)等3位诺贝尔奖得主,世界数学大师陈省身、林家翘和逻辑学大师王浩等;在1955年至1980年中国科学院三次选出的473位院士(学部委员),194清华或西南联大师生入选,占41%;23名“两弹一星”功勋科学家中,有钱学森、邓稼先、钱三强、...
这让人想起英国哲学家培根所说:“一次不公正的审判,比十次犯罪所造成的危害还要严重。因为犯罪虽无视法律好比污染了水流,而不公正的审判则毁坏法律好比污染了水源。”不公正的审判令人心寒。令人心寒的不止有不公正,不平等的审判,还有缺乏良知的推断,如南京鼓楼区法院法官王浩那句名言:“不是你撞的,你干嘛去扶?”...
2006年南京法官王浩质问彭宇:“人不是你撞的,你为什么要扶。”最后判决好心扶老人的彭宇有罪。自此中华美德和文明倒退了几百年。很多人路上看到老人摔倒都不敢扶。英国哲学家培根说:“一次不公正的审判,比十次犯罪所造成的危害还要严重,因为犯罪不过 - 田东县振山果苗
循着从柏拉图到哥德尔的“数学-哲学家”传统,王浩在书中首次对实质事实主义一般立场进行了长篇阐发;广泛、深入地讨论了数学哲学的诸议题;探索了心灵与机器、数学与计算机、知识与生活等话题;还重点考察了逻辑和数学领域的一些基本概念。此次中译本首次出版,由专业译者精心翻译,以助读者更好地理解王浩的数学哲学思想。