我算故我在分享 http://blog.sciencenet.cn/u/metanb

博文

数学的要义在于“彻底性”。

已有 2898 次阅读 2019-3-14 22:05 |个人分类:心路里程|系统分类:科研笔记

 

                                                     This is an in-mail from TYUST.
              新入の者--> What is going on ? (redirected) new
                               
本期开始分组发送邮件,搭载数学类学院等链接
今日学院:暂无。|| 新闻+ || 符号大全上下标.|| 常用:↑↓ π ΓΔΛΘΩμφΣ∈  ∪ ∩ ⊆ ⊇ ⊂ ⊃ ≤ ≥ ⌊ ⌋ ⌈ ⌉ ≠ ⁻⁰ ¹ ² ³ ᵈ ₀ ₁ ₂ ₃ ᵢ .

数学的要义在于“彻底性”。
.
(接前:13 12 11) 命题5.5的温习.
叙述 a b; 证明 Step1 Step2 a b c Step3 Step4 Step5a b Step6
.
昨天主温Step5,也连带复习Step6.
---- 期间产生一个疑问...
---- 命题是要证明某种序列的长度是有上界的.
---- 若此,Step6提到的引理2.17已经达成上界.
---- 但原作给该上界又找了一个上界. Why ?
.
带着这个问题睡了一晚. 今早想明白了:
---- 引理2.17达成的上界仅是 “中间态”(参Step6):
 l +1 ≤  μRφ
---- 左端的 l 是序列的长度(多加个1不要紧).
---- 右端上界 “不彻底”(含 Θ、等对象型成分).
---- 原作大费周章后给出此上界的上界:
 μRφ*Θ ≤ 1/u
---- 右端的 u 仅依赖于 d 和 n (而 n 仅依赖于 d 和 eps'). 
评论:最终的上界达至“最外沿” —— 纯数字关系.
---- 看来在代数几何中,归到纯数字关系,就算走到头了(形成逻辑树上的叶子),或者说达成了“彻底性”. 
---- 追求彻底性可看做方法(类似于“完备”、“圆满”).
---- 期待后文体现出这种彻底性带来的 “好处”.


https://blog.sciencenet.cn/blog-315774-1167593.html

上一篇:做“习题”培养不出数学家。
下一篇:教科书与数学家是“不连通”关系
收藏 IP: 223.11.176.*| 热度|

4 郑永军 刘全慧 朱晓刚 ljxm

该博文允许注册用户评论 请点击登录 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-4-25 21:11

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部