推荐序 走在剃刀边缘 “纸牌反面那句话是对的”和“纸牌反面那句话是错的”这两句话单独拎出来看互相矛盾,显然不可能同时为真,只有一句话是对的。如果把它们写到纸牌的两面,会发现无论假设哪句正确都不行,都会陷入自我矛盾的拧巴中去。这个死循环就是大家都熟悉的纸牌悖论。
比较P. A. Schilpp, ed., Albert Einstein, Philosopher—Scientist. La Salle: Open Court, 1949, p.15和H. Woolf, ed., Some Strangeness of Proportion. Reading, Mass.: Addison-Wesley, 1980, p.485。
据说爱因斯坦之所以一直定居在普林斯顿,能有机会与比他年轻27岁的哥德尔一起散步也是一个重要原因。 (资料图/图)凡是我们不能言说的,对之必须保持缄默。——维特根斯坦牛津的数学天才为一部悬疑小说撰写导言,可不是一件轻松愉快的事,因为你必须小心翼翼,不能透露太多有关凶手的信息。
江青序:忆老友王浩1983年7月3日在斯德哥尔摩举办了第九届国际血栓和止血学会会议(The Ninth International Congress of Thrombosis and Hemostasis),我的先生比雷尔(Birger Blomback)担任会议主席,邀请王浩
《西蒙娜·薇依评传》 (美)帕拉·尤格拉著 余东译 漓江出版社 2014.9帕拉·尤格拉在本书中以精准的笔触,为法国哲学家、神秘主义者和政治活动家西蒙娜·薇依刻画了一幅令人过目难忘的思想画像。薇依虽然从未正式皈依天主教,却非正式地被当作圣徒膜拜,足以媲美古代希伯来的先知。
导读:目前最火热的大模型公司莫过于OpenAI。OpenAI首席科学家Ilya Sutskever在接受采访时不断暗示,next token prediction是GPT系列大模型成功的关键,但直到2023年8月,他在伯克利理论计算机科学研究所演讲时才明确透露,GPT的数学依据是所罗门诺夫归纳法。
《奥本海默》热映,全球观众在了解“原子弹之父”的同时,也通过银幕认识了二十世纪上半叶众多的知名科学家尤其是物理学家。奥本海默虽然造出了原子弹,但并非诺贝尔奖得主。而他的这些师友到后辈里,诺奖得主却层出不穷。论在科学史上的地位,不少人比奥本海默只高不低。
来源:解放军报·中国军号 作者:毛炜豪人工智能会取代人类主宰战场吗从ChatGPT看人工智能的军事应用解放军报4月13日七版ChatGPT的潜在军事价值ChatGPT受到关注的重要原因是引入了新技术RLHF。
数学家哥德尔的“不完备性原理。”,展现了一种严谨的数学证明。并认为任何完整的逻辑系统都必须至少存在一个前提:不与自身矛盾,就无法被证明和验证。因此,“任何复杂的推理体系,都不可能建立起逻辑的连贯性,除非假设一些推理的原理,而这些原理的内部连贯性与整个体系本身一样都值得怀疑。