技术栈

代数

YapingXin
10 个月前
代数·初中数学
【初中数学选讲】二次根式练习题(20240706-01)辅导初中学生数学的过程中,发现一道有意思的题目,分享如下。计算: 1 + 1 1 2 + 1 2 2 + 1 + 1 2 2 + 1 3 2 + 1 + 1 3 2 + 1 4 2 + ⋯ + 1 + 1 2010 2 + 1 2011 2 \sqrt{1+\frac{1}{1^2}+\frac{1}{2^2}}+\sqrt{1+\frac{1}{2^2}+\frac{1}{3^2}}+\sqrt{1+\frac{1}{3^2}+\frac{1}{4^2}}+\cdots+\sqrt{1+\frac{1}
lan_777
1 年前
笔记·学习·代数
《哥德尔证明》阅读笔记——哥德尔证明过程之前几节阐述了哥德尔证明的一个背景,具体脉络是,当人们在推进公理化系统时,遇到的一个核心问题:如何证明一个公理化系统是无矛盾的。人们一开始想出了模型法,即如果一个完全形式化的系统在现实中找到一个存在的模型可以对应,那么可以认为这个系统是一致的。这实际上是在模型和公理系统中做了一个一一映射,如果公理系统不一致,那么这个模型也不可能存在于现实或逻辑中。