作者xcycl (XOO)
看板logic
标题在直觉逻辑下证明 |x| < 1/n -> x = 0 ?
时间Wed Mar 4 01:26:39 2009
在古典逻辑下，我们有 (﹁p →﹁q) → (q → p) 这件事情，
也用这论述来证明当某个实数 x ，若对所有自然数 n 有 |x| < 1/n 则 |x| = 0
而证明就是假设 x 非零，则可以找到 1/n 比 x 还小矛盾。
但这在直觉主义逻辑下并不成立，那要怎麽在这系统下证明这件事情呢？
在 Bishop 的 Constructive Analysis 前面有用到这件事情，
却想不通是依据什麽成立的 ...
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 123.193.218.153
1F：推 aletheia:这要有请数龟大师 03/05 01:06