真理必叫你们得以自由
彼拉多说：“什么是真理？”
博文
(2025-12-26 07:43:41)
不是大藤级，是藤性公校中最大的。藤的最大优点是换专业方面，双学位方便，当然还要贵，公的最大优点是橄榄球要好，每个系，和各个职业学院（医，法，商，牙）都强。儿子马上就要拿到音乐和纯数学的双学位，只需四年。他的同学也4年半拿到生物和音乐的双学位。学自己想学的，见证橄榄球冠军的荣光，又给后面申请职业学院提供了不少优势，这才是真正藤性公校的[阅读全文]
(2025-08-22 06:10:46)
这是一个常见的反驳上帝全能的逻辑论据。稍作分析，就发现其中的错误：
如果上帝是万能的，就不存在所谓＂上帝举不起的石头＂，逻辑上不可能存在。
逻辑上不可能存在的东西很多，如又圆又方的形状，结婚的单生汉之类。
[阅读全文]
(2024-12-30 09:32:24)
可证明性是语法（syntax)上的概念，真假判断是语意(semantics)上的概念。语法对应形式系统（形式逻辑），语意对应模型理论（modeltheory).形式系统只是一些符号和算子，本身没有什么意义，需要用model来interpret才有意义。了解形式系统和模型理论之间的区别和联系才能知道哥徳尔定理到底在讲什么：有些命题语意上是真的，但形式系统没法证明。
[阅读全文]
(2024-11-06 08:39:42)
对待蓝领，哈付的民主党想用收买政策，给钱买选票；川铺和文斯则是提供机会，使制造业回归，使蓝领有机会工作和成为业主，使美国再次强大。选举结果表明，美国蓝领有志气，拒绝民主党的收买，愿意凭自的努力，工作来赚钱。
川总提出了具体的方案来使制造业回归：drill,baby,drill,降低能源价格。消徐不合理的政府regulations来降低企业成本，提高效率。第三是增加关税[阅读全文]
(2024-05-17 05:22:16)
J网友问欧几理得几何体系下点和直线，线段的关系，答案是在欧式几何
的框架下，点和线的关系是无法论述清楚的。点和线的关系要在实数的公理体系下
（建议读一下实分析的课本）才能论述清楚，直线就是数轴，是整个实数集，点是实数集中的element.
另外，要讨论两直线相交，只需定义两个垂直的数轴怎么生成第个数轴（复平面）。
[阅读全文]
(2024-05-08 13:15:58)
中华文化化强调用中庸之道来修身养性，结果是毫无个性，无趣。整个社会没有避险机制，缺乏人才。
另一种文化强调个人把个性发挥到极致，所以创造性满棚，各种人材济济。整体社会上，通过民主机制的统计
平均达到中庸，使社会低风险的稳步发展。
[阅读全文]
(2024-03-28 05:51:54)
非常高兴能和J网友和露网友讨论。首先完美的存在中的存在，如果只是指现实中的存在，那么本体论的
证明就????是证明，只是一个定义。这一点露网友已清楚指出。
J网友指出黑格尔的观点，应该至少有两个世界(world)，一个是理念的世界，一个是现实的世界。
在多重世界的假设下，需要区分being和存在（exist）的区别。完美的being，如果在在理念世界中exist，就一定[阅读全文]
(2024-01-22 06:17:58)
Whatwasoriginalmeaningof“butterflyeffect”byEdwardLorenz?
Theoriginalmeaningofthe"butterflyeffect,"asproposedbyEdwardLorenz,relatestothefieldofchaostheoryinmathematicsandmeteorology.Itsuggeststhatsmallchangesininitialconditionscanleadtovastlydifferentoutcomes.Thisconceptisoftensummarizedastheideathattheflapofabutterfly'swingsinBrazilcouldsetoffatornadoinTexas.Lorenz'...[阅读全文]
(2024-01-21 18:02:58)
最早由气象学家洛轮兹提出的蝴蝶效应，不是指真实的气象系统，而是指模拟自然系统
的数学模型（非性系模型），用这种模型做长期性的预报是不可能的，因为初始条件改变一点点
，结果就会出现巨大差异。
，ChatGPTreply：Yes,youarecorrect.The"butterflyeffect"isprimarilyabouttheoutcomesobservedinmathematicalmodelsofweatherandothercomplexsystems.Ithighlightsthesensitivityofthesemodelstotheirinitial...[阅读全文]
(2023-12-07 19:07:38)
培根的工具论，提出通过受控实验，通过归纳，得出研究对象的规律。
逻辑系统，需要有公理，如果这个公理是基于受控实验归纳岀来的规律，就成了科学。
科学需要的逻辑系统工具，几千年前的欧式几何中就己大放光彩了。培根的工具论提供了科学所需的另一工具。
[阅读全文]
