ilogic - 博客园

Even if solipsism is true, it is unknowable

摘要： The proposition expressed by the title is what I've found recently. Anyone who has or knows similar ideas please let me know. Other comments are also welcome.A paraphrase of solipsism: no one is possible to know what anyone else knows. More precisely, for any $x$ and $y$, if $x$ is not $y$ then 阅读全文

posted @ 2010-08-19 01:28 ilogic 阅读(174) 评论(0) 推荐(0) 编辑

多主体语义博弈

摘要：今天发现Loohuis和Venema在Review of Symbolic Logic上的一篇关于多主体语义博弈的文章。其基本思想与我（和鞠）在2008年发表的那篇文章非常相似。只是他们这篇文章加入了代数方面的刻画，这样显得技术含量更高，尽管我认为本质上那个逻辑是非常简单的。看到这篇文章也深感自己在研究上的一个弱点：浅尝辄止，有了基本思想后不善于对其进行延拓和深化，因而写不出令人满意的文章。顺便说... 阅读全文

posted @ 2010-08-18 20:15 ilogic 阅读(184) 评论(0) 推荐(0) 编辑

金牙与肉屑

摘要：钱钟书的《围城》有很多精妙的比喻。上个礼拜坐火车重读《围城》，读到一个比喻十分有趣，必须记录。他说，说中文的人有时会在中文里夹杂英文，这有两种情况：一种情况是夹杂的英文是中文里没有或不好表达的词汇，另一种情况是中文完全能够表达但为了炫耀而故意满口洋文的。他说前者中的英文就像牙齿里镶的金牙，不但好看，而且有实用性；后者中的英文则像牙缝里的肉屑，只表明吃得好，此外没有任何用处。肉屑的比喻实在很是恰当，... 阅读全文

posted @ 2010-08-18 11:03 ilogic 阅读(345) 评论(0) 推荐(0) 编辑

什么是好的数学？

摘要：哈代认为美的和严肃的（serious）的数学才是好的数学。其中严肃的数学有两个标准：普遍性（generality）和深刻性（depth）。普遍性不是指抽象性，在抽象性的意义上，所有数学都是普遍的。“一个有意义的概念，一条严肃的数学定理，将在下述意义上被认为是‘普遍的’。数学概念应该是许多数学构造的要素，应能应用于许多不同种定理得证明。定理则应能被广泛地推广，而且应是所有同类型定理中的典型。即使它最... 阅读全文

posted @ 2010-08-18 10:37 ilogic 阅读(355) 评论(0) 推荐(0) 编辑

科学研究的动机以及雄心

摘要：继续摘录哈代的自白：“有许多相当高尚的动机引导人们去从事某项研究，但有三点比别的更重要：首先（没有这一点其余的都站不住脚）是智力上的好奇心，希望探知真理；其次是职业上的自豪感，渴望对自己的工作满意，任何自尊的数学家，当他的工作成绩与其才能不相称时，耻辱感会压倒他们；最后是要有雄心，期望得到名声、地位，甚至随之而来的权利和金钱。当你的工作给别人带来了幸福或减轻了痛苦，你当然会获得良好的感受，但这不是... 阅读全文

posted @ 2010-08-18 09:42 ilogic 阅读(420) 评论(0) 推荐(0) 编辑

适度的自我吹嘘

摘要：摘一段哈代的自白：“任何一门学科的教授，其首要的责任之一，就是要对自己所从事的学科的重要性以及他本人在其中的重要性作适度的夸张。一个人如果总是唠叨‘我干的是否值得’‘由我干是否合适？’那不仅会使他自己一事无成，而且也会让别人灰心丧气。他应该眯起眼睛，把他的学科和他本人看高一点。这不难做到，难的是完全闭上眼睛却又不说瞎话”（哈代：《一个数学家的辩白》，大连理工大学出版社，2009，p. 19）阅读全文

posted @ 2010-08-17 23:20 ilogic 阅读(231) 评论(0) 推荐(0) 编辑

关于本站

摘要：记录一切有趣的东西。阅读全文

posted @ 2010-08-17 22:57 ilogic 阅读(123) 评论(0) 推荐(0) 编辑