看板 [ Math ]
討論串[分析] 構造/非構造式證明
共 2 篇文章
內容預覽： 開啟 | 關閉 | 只限未讀
首頁
上一頁
1
下一頁
尾頁
#2
Re: [分析] 構造/非構造式證明
推噓8(8推 0噓 70→)留言78則，0人參與, 3年前最新作者bluepal (艾利歐呂)時間3年前 (2022/08/08 00:40), 3年前編輯資訊
0
0
0
內容預覽:
想用下面這個例子詢問一下如標題的問題:. 令r = 2^0.5. 令a_n := n/(floor(n/r)). 則我們知道a_n→r. 那這樣a_n算是2^0.5的構造性證明嗎?. (或許要先定義採用的公設? 比如除法反元素與floor函數的存在性). ----------------------
(還有2042個字)
#1
[分析] 構造/非構造式證明
推噓41(41推 0噓 165→)留言206則，0人參與, 3年前最新作者znmkhxrw (QQ)時間3年前 (2022/08/04 23:16), 3年前編輯資訊
0
0
1
內容預覽:
想用下面這個例子詢問一下如標題的問題:. 令r = 2^0.5. 令a_n := n/(floor(n/r)). 則我們知道a_n→r. 那這樣a_n算是2^0.5的構造性證明嗎?. (或許要先定義採用的公設? 比如除法反元素與floor函數的存在性). ----------------------
(還有3407個字)
首頁
上一頁
1
下一頁
尾頁