my first blog !

Created2026-02-14|Updated2026-02-14|blog

|Post Views:

first blog

hello world
** hello world **

Author: Zzm_Leslie ⚡️

Link: http://example.com/2026/02/14/my-first-blog/

Copyright Notice: All articles on this blog are licensed under CC BY-NC-SA 4.0 unless otherwise stated.

Related Articles

software_1_lesson_2

无穷集和对角线法简单概括就是，先构造实数序列（0-1），将自然数与实数序列一一对应，然后试图构造新的一个实数序列：将第一个实数的第一位小数取反，再将实数的第二位小数取反，依次构造出不等于任何已有实数序列的新实数。 Input: 一个巨大的 std::vector<std::string>，里面存了无数个长度无限的 01 字符串。 Algorithm: 遍历这个 vector，取第 i 个字符串的第 i 位，做 !bit 操作。 Result: 得到一个新的 string。 Assertion: find(vector.begin(), vector.end(), new_string) == vector.end() 永远为真。）希尔伯特的野心：万能判定机希尔伯特在 1928 年提出这个挑战时，他的设想非常宏大。他想知道：是否存在一个算法（程序），当你输入任何一个数学命题（用逻辑符号写成），它都能在有限的时间内给你一个明确的答复： True 或 False 输入：一段符合语法规则的“逻辑代码”（一阶逻辑符号系统）。处理：一个清楚明白的“验算程序”（算法）。 ...