惯性聚合 高效追踪和阅读你感兴趣的博客、新闻、科技资讯
阅读原文 在惯性聚合中打开

推荐订阅源

N
News and Events Feed by Topic
Malwarebytes
Malwarebytes
Threat Intelligence Blog | Flashpoint
Threat Intelligence Blog | Flashpoint
C
Cybersecurity and Infrastructure Security Agency CISA
F
Future of Privacy Forum
C
Cisco Blogs
T
The Exploit Database - CXSecurity.com
A
Arctic Wolf
S
Securelist
K
Kaspersky official blog
S
Schneier on Security
T
ThreatConnect
T
Tenable Blog
Spread Privacy
Spread Privacy
T
True Tiger Recordings
AWS News Blog
AWS News Blog
F
Fox-IT International blog
量子位
T
Threatpost
V
Vulnerabilities – Threatpost
C
CERT Recently Published Vulnerability Notes
Cisco Talos Blog
Cisco Talos Blog
GbyAI
GbyAI
宝玉的分享
宝玉的分享
腾讯CDC
G
Google Developers Blog
aimingoo的专栏
aimingoo的专栏
Cyberwarzone
Cyberwarzone
有赞技术团队
有赞技术团队
S
SegmentFault 最新的问题
OSCHINA 社区最新新闻
OSCHINA 社区最新新闻
V
Visual Studio Blog
U
Unit 42
雷峰网
雷峰网
cs.CV updates on arXiv.org
cs.CV updates on arXiv.org
Simon Willison's Weblog
Simon Willison's Weblog
O
OpenAI News
freeCodeCamp Programming Tutorials: Python, JavaScript, Git & More
The GitHub Blog
The GitHub Blog
The Register - Security
The Register - Security
MyScale Blog
MyScale Blog
小众软件
小众软件
A
About on SuperTechFans
Last Week in AI
Last Week in AI
Y
Y Combinator Blog
博客园 - 三生石上(FineUI控件)
美团技术团队
Google Online Security Blog
Google Online Security Blog
P
Proofpoint News Feed
MongoDB | Blog
MongoDB | Blog

博客园_首页

2026第四届LitCTF网络安全挑战赛Pwn的wp 给句子做个“语义审计”:从词向量到句子向量的方法论 当AI“卡壳”在生产环境:MCP Server 如何帮我们破局 ofdkit-harmony 0.2.0 发布:鸿蒙原生 OFD 阅读库,已上架 ohpm 有了AI测试工具,还需要掌握Playwright、Pytest、Selenium这些框架吗? 组织转型实录——我把传统研发团队改成AI驱动,踩了无数坑 为什么 AI Coding 难进生产环境?深入了解 Everything-Claude-Code ! 到底 TMD 用哪个: npm, pnpm, Yarn, Bun, Deno? 傻瓜, 当然用 npm 啦 上周热点回顾(5.18-5.24) [对比学习LangChain和MAF-04]针对消息的设计 TrueAsync Server 为 PHP 带来了原生的高性能 HTTP 服务器 规则漂移 帆软市场部为什么能成为高人效增长系统? 22. LangChain LCEL,用 | 串联AI的魔法语言 - 老陈说编程 完整学习LLM(二):大模型到底是什么 洛谷-P11942 [KTSC 2025] 重塑矩阵 题解 哈哈哈哈哈打不过我吧,没有办法我(vllm)就是这么强大! Hermes Edu Skills 从 170 到 188:一次中文教育 Agent Skill Pack 的工程化升级 一个外行,半年搞定机械臂:我的从0到1踩坑实录 新写了个直播录制工具,可录制抖音快手斗鱼直播 15天学会AI应用开发(一)搭建AI大模型应用开发环境 Childhood,23款童年卡牌游戏复刻 Github Copilot配置GPT5.5报错:'temperature' does not support 0.1 with this model. Only the default (1) value is supported. - Eric zhou 单曲循环 ClassIn 在 Linux 下无法播放音频 把 TeXstudio / LaTeX 工程交给 AI:texstudio-mcp 功能详解 .NET 8 Web开发入门(六):Blazor 全栈开发——告别 JavaScript 焦虑 别让 LLM 写文件:一套 Agent 进度跟踪的工程化范式 - BurningFish Qt Bridges for C# 深度技术解析 Multus 多网卡方案:IPVLAN 模式 被流量逼出来的架构:从一台服务器到云原生的 17 次蜕变 —— 集群、缓存、MQ、微服务、Docker、K8S 的前世今生 Claude Code安装全流程 Windows保姆级教程 awk 命令练习(从入门到进阶) Java + Spring实现Hermes Agent之龙虾、Skills、Mcp和沙箱代码执行环境思路 轨迹的蓝图:方程求解与交点计算 Agent新技术分享-Forge论文已被ACM接受 PowerMem 记忆系统的遗忘设计,从神经元到代码工程 我用了FastApiAdmin后,连夜把踩过的坑都整理出来了 一个程序员眼中的 AI 核心概念,讲透 LLM 、Agent 、MCP 、Skill 、RAG... 网络安全在线就能打的内网靶场推荐 & Dawn Breaker 单域靶场 WP CTF 中如何用提示词发挥大模型的最大实力:从聊天助手到大手子 PyTorch KernelAgent 源码解读 ---(6)--- Composer 高光谱拼接算法(一)扫推式成像和航带拼接算法 一文看懂fofa常用语法,告别混淆,精准打击! 从零搭建量化投资系统:用 Qlib 一行代码搞定均线分析 企业 AI 落地,第一件事不是买模型,而是建好企业知识库 如何在Oracle Agent Factory中配置国内厂商的LLM? Codex 换模型太麻烦?这个开源桌面工具帮你一键切换 Avalonia中的动画 2026软考|十大管理超全通俗笔记,备考闭眼记! rv1126b内置phy接hub交换机芯片 React 可拖拽列宽 + 点击行选中 ProTable 封装笔记 五大实锤证据:AI不会终结低代码,只会倒逼技术进化 【硬核脑洞】16位实模式最后的疯狂:我们能否在 640KB 常规内存里手搓一个 MD 模拟器? 基于.Net的NetCoreKevin框架中AgentFramework实现AI智能体Skill和工具动态管理和加载 PostgreSQL 高可用集群 patroni 自动故障转移测试 自己使用C++开发的仿OpenClaw、Hermes智能体工具 记一次 .NET 某集群管理软件 内存暴涨分析 StarBlog番外(5) 从1.6到1.10,基于Avalonia AOT 开发的 Publisher 半年进化之路 Anthropic 把 SOC 误报率从 33% 砍到 7%,真正在干活的不是 Claude SM2演示所有 PEM 功能(生成、加解密、签名/验签) 用 Solon AI 从零构建 MCP 工具服务:让 AI Agent 拥有真实世界的能力 完整学习LLM(一):为什么我要系统学习大模型 Agent Harness Runtime 架构深度解析:工具循环、状态外置与长程任务调度 [对比学习LangChain和MAF-03]完全不同的Agent设计哲学 毫不夸张地说,这将是目前最全的AI测试教程!测试必看! AI Coding 为什么选择 TUI ,前端的新机会在哪里? 无需安装cc switch,10行命令帮你配置Claude Code+deepseek Context Engineering 到 Harness Engineering —— 大模型时代软件工程的新范式 OpenClaw.NET 兼容性目录指南(Compatibility Catalog) Nginx 上游健康检查插件 nginx-healthcheck-module 三角形数 AScript异步执行与await关键字 - rockey627 Vector Quantization for Recommendation 笔记 21. “|”不只是按位或,90%的人不知道 这 3 年做教育相关项目,我把一些经验整理成了一个开源 Agent Skills 项目 2026 西安本土 GEO 测评:灵怡云凭差异化站稳第一梯队 PortSwigger SQL注入LAB7 & LAB8 & LAB9 Splay 学习笔记 这款爆款激光粒度仪凭何全球狂销5000台?揭秘百特Bettersize2600“常青树”背后的硬核实力 十分钟学习 TypeScript 【学习笔记】《Python编程 从入门到实践》第1章学习笔记:Python环境搭建与Hello World(完整版) 初试 vibe coding:Tauri + React + Rust 构建的 windows 本地番茄钟 从 Vibecoding 入门,到 Agent 差点入土 IDEA Maven 手动替换第三方Jar包完整教程 填充与积累:积分与面积的可视化 告别 Django Admin!这个 NodeJS 全栈框架让你在 DTO 中直接配置 Table/Form 渲染 重建 AI 认知第 1 篇:基础认知——一张地图看懂 AI Landscape VAPD AgentKit:可组合 Agent 前端通用库实践 SolonCode v2026.5.21 发布,Web 能看项目,IM 能找队友 从 LangGraph 回到 Model-Tool Loop:更聪明的模型,正在让 Agent 架构重新变简单 从人工同步到自动闭环:跨 Java/.NET 代码转换工具的工程化实践 你的显卡能跑多少算子?用 55 个检查项,给 PyTorch GPU 环境做一次冒烟测试 Claude Code 快速开始 2分钟搞定全网巡检:一个脚本+五大必备 Python 库,让你一天干别人一周的活 最近面完 30 个想转 AI 测试的人,我麻了:80% 都踩了这 4 个坑! 4.3、多体交叉存储器、Cache的基本原理、相联存储器、 Cache地址映射与变换方法 简译项目的项目落地 OpenClaw Dreaming 记忆流水线底层架构:状态分层、证据留痕与检索回流 .NET 10 桌面 UI 框架的范式演进:Jalium.UI 与 MewUI 架构深度对比
断尺问题:戴德金分割现实悖论
风在这里徘徊 · 2026-05-25 · via 博客园_首页

先从现实中一个简单的数学问题说起吧:

假设现在你手中有一把尺子,刻度0~10,你沿着刻度4左边缘的位置把它切断(请注意,我这里并不是暗示数学死了),让右侧的断尺最小的刻度刚好是4,不多也不少,然后你摸了摸左侧那截断尺断点的位置,有个疑问涌上了你的脑海:“这一点的值是多少呢?”
如果你想用数学来解决这个问题的话,很遗憾,根据戴德金分割原理,能够得出的结论是:不仅无法求出那一点的值是多少,而且你的手确定能摸到的真实存在的那一点是不存在的。
以上这个问题就是“断尺问题:戴德金分割现实悖论”。

而戴德金分割是数学的一条公理,是数学的基石之一。不需要证明,不需要解释,“不言自明”。
根据这条公理,也可以推导出:任何一个确定的实数,它旁边是不存在任何实数的,也就是说它不和任何实数相连(或者说相邻),但实数却是连续的。。。。这听起来是不是又是一个悖论?(姑且叫做戴德金悖论吧)
那问题来了,为什么一个悖论可以作为数学的一条公理,作为数学的一个重要基石呢?公理难道不是要经过长期实践,没有观察到任何反例的吗?

断尺问题其实我之前发出来过,有人评论说:尺子不能代表实数的一部分线段,因为现实世界是离散的,而实数是连续的。那如果是尺子所占用的那段空间呢,总应该是连续的吧?那它切断之后左边那截所占用的空间,长度最大的那一点值是多少呢?是不是数学也认为空间的那一点不存在?
这时候之前说话的人可能已经意识到戴德金分割原理确实和现实逻辑相悖了,但是出于人类的天性,承认是不可能承认的了,于是他们转移话题说:数学不依赖于现实,它是一套抽象的出来的自成体系的一套自洽的逻辑体系。
这就相当于是说,他们发现有一个人说的话虽然明显不符合事实,俗称瞎编或者说谎,但是说谎的功力了得,那套谎话编得那叫一个溜儿圆,于是认定他说的就是正确的,是值得推崇的。那岂不是某个姓耶的人说的话,还有那本关于他的书,或者其他的任何一个棕较,都符合他们上面所说的那种观点?不上棕较学校真是屈才了呀。。

事实上数学源于现实生活和工作(物理世界),也会反过来应用于(反作用于)现实生活,起码实数部分是这样子的。那么如果它和现实逻辑相悖,应用的时候很有可能就会出现问题。

这时候有人又说了:现在的数学逻辑也许是不完美的(竟然还有人能承认这一点,真的是让我莫名惊诧啊),但它是有用的,而且非常有用。你提出来的存在两个实数点相邻的论调又有什么用呢(对这论调感兴趣的人可以搜一下“怎样推翻整个现有的数学体系”前后两集)?即使真的存在所谓的相邻论,数学又为什么要因此而改变?它除了会让整个现有的数学体系崩溃之外,它有什么用啊?

这确实是一个很好的问题,问得太好了,灵魂之问啊!其实像这样的问题可谓历史悠久,比如说一两百年前就有人问:“法拉第,你这个叫发电机的玩意儿到底有什么用啊?”这么好的问题,你猛的一问,我一时还真想不出来发明个发电机到底能有点啥用。等我好好想想再告诉你吧。

言归正传,就像前面两集所说的一样:数学是错的。数学是和现实逻辑相悖的。这就像你发现有个人说话和现实不符,那他就是在说谎,不管他的谎话编得多么的溜圆儿,他说的都是错的。
其实大家对“数学是错的”这种事不用太惊讶和难以接受,因为可以肯定的是,不仅数学是错的,而且人类所掌握的一切理论体系都是错的。因为人类的认知是有限的,而这个世界是无限的。你永远无法完全掌握这个世界的真相,只能无限的逼近真相。
而最重要的其实并不在于你能否推翻数学体系,而是你能否创建一个新的、更好的、更完善的、更符合真相、更有用的理论体系去替代它。

很多人学习数学、学习科学,他从来不会去质疑课本上的知识,所以以前数学课本告诉你自然数不包含0你就认为自然数不包含0,后来数学课本改成自然数包含0你当然也就认为包含0,无需解释,“不言自明”,之前和之后都没有一丝疑虑。我觉得这样的人学科学真的是屈才了,你就应该去上棕较学校,只有棕较中的盛经和先知说的话才会不可置疑,你就应该去学那个。你的坚定不“疑”肯定会让你在棕较领域建树颇丰,而不是像现在这样碌碌无为一辈子,不是你能力不行,而是你走错路了。

而科学的任务和科学的精神就少不了要把质疑、探索和求证作为最坚定的精神基石,作为永不停歇的行动指南,如果科学的弟子没有这样的精神,那么数学和科学就不会有任何的发展,永远止步不前。也不会有集合论、相对论、量子理论的出现和不断完善。
只要你认为你是科学的弟子,那么无论谁说的话,无论什么理论,都大胆的去质疑吧!因为就像上面说的:不仅数学是错的,而且人类所掌握的一切的理论都是错的。因为人类的认知是有限的,而现实世界是无限的,你的认知只能无限的去接近世界的真相,而无法真正完全掌握它。所以只要你有质疑,就大胆的去探索吧!只要小心求证就可以了。
探索的过程中也不用在意别人的笑话,因为数学本身就是个笑话,你就当成和别人交流一下笑话好了,哈哈哈。别说是你了,人家正儿八经的知名数学家,比如康托尔,和罗副司机,提出极其重要的开创性的数学理论之后,后半辈子还一直被一大堆正儿八经的数学家攻击呢。别搞得像罗副司机那样抑郁,更没必要像康托尔那样精神崩溃。后来康托尔开创的理论已然成为数学的基础,罗副司机不也被扶正了嘛,通通归入数学的祖师堂了,而且是极其显赫的位置。所以你就不能太把别人说的攻击你的话当回事,你想啊,连数学都是错的了,那某个人说的话还有必要太在意吗?哈哈哈。
道友们,天不降相邻论,实数集万古如长夜啊。。。。赶紧留取金脑照汗青吧!

数学 #实数 #实数连续性 #戴德金分割 #相邻论 #两个实数相邻