科普向未来

软件开发技术深度爱好者10 天前
随笔·数学广角·科普向未来
排中律和反证法的关系要准确理解排中律(Law of Excluded Middle)与反证法(Proof by Contradiction)的关系,可以用一句话来概括:排中律是反证法成立的逻辑学底层基础,反证法是排中律在数学证明中的具体应用。
软件开发技术深度爱好者12 天前
随笔·学习心得·科普向未来
谈谈矛盾律和排中律中的“矛盾”“矛盾”这个词在日常生活中非常常见,但在逻辑学里,矛盾律与排中律中的“矛盾”是一个有着严格含义的技术概念。理解它,关键在于:逻辑里的讨论不是“对立/冲突”这么简单,而是关于命题真假如何被规则约束的讨论。
软件开发技术深度爱好者19 天前
人工智能·科普向未来
深入浅出解析AI中的Tokens随着大语言模型的普及,Token 这个概念出现在越来越多的场景中:看模型介绍时的 “128k 上下文支持”,调用 API 时按输入输出 Token 计费的规则,优化提示词时被反复提醒的 “别浪费 Token”……
软件开发技术深度爱好者22 天前
随笔·学习心得·科普向未来
如何识破一本正经的胡说乱象不实言论尤其擅长伪装成科普内容,这类言论往往会设置各类逻辑陷阱,常见的有以下几种:堆砌专业术语:用大量大众似懂非懂的专业名词(如 “量子纠缠”“磁场能量”“熵增原理”),去解释简单的养生常识或成功学道理,靠生僻概念营造高深莫测的假象。引用 “虚无” 权威:动辄声称 “西方科学家认为”“史前文明记载”,却从不给出具体的研究时间、研究者姓名和信息出处,无任何可考证依据。绝对化养生 / 成功学:将复杂的健康问题、人生发展问题简单化,归结为一个具体动作或一种食物(如 “每天拍打此处,活到一百岁不是梦”),用片面结
软件开发技术深度爱好者5 个月前
随笔·学习心得·科普向未来
逻辑推理之溯因推理介绍溯因推理由美国哲学家、逻辑学家查尔斯·桑德斯·皮尔士(Charles Sanders Peirce)于19世纪末系统提出,作为科学探究的第三种基本推理模式,与演绎、归纳并列。
软件开发技术深度爱好者9 个月前
科普向未来
轮状太空城的科学依据浅谈人住在太空,没有重力会影响人的正常活动。有人设想建造轮状太空城,它旋转时太空城的物体和居住的人就有了重力,这样有科学依据吗?
我是有底线的