- 在线时间
- 5 小时
- 最后登录
- 2024-4-11
- 注册时间
- 2010-6-9
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 83 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 37
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 24
- 主题
- 2
- 精华
- 0
- 分享
- 0
- 好友
- 3
升级   33.68% TA的每日心情 | 奋斗 2013-5-29 10:42 |
|---|
签到天数: 1 天 [LV.1]初来乍到
|
【不懂逻辑和公理化思想,你的几何白学了?】----------(刘 钝 汪晓勤 王哲然)1 M$ `1 ^5 x- o( Z9 Z
3 g( o9 I' x% e, k
【让几何学精神在中国大地生根|返朴】(2023年07月27日 20:02 新浪网 作者 中科大胡不归)
2 V Q8 m- R& U2 A* |
" w, Y* |( w. }( 一个成功的公理系统应当满足三个基本条件:一是独立性(不能多),二是完备性(不能少),三是自洽性(同一系统不能存在互相矛盾的命题)。)6 ` j. o; s5 _" P
( 本书译者张卜天学养深厚、著译等身。他翻译的书多可归入科学与西方现代性的起源这一范畴,这一次他的致力算是最接近西方科学的源头了)) M8 n% j% ?9 s* e; z7 Y
" e8 M4 E: g2 F$ |7 W* P% U
**************** 本文原为张卜天译《几何原本》(商务印书馆,2020年7月)“刘钝”所写序文。****************$ u) v' Q- V. L2 F& F% _# Q1 o
) o3 g; X% N! K1 U' |# q! Y
) R) u4 W. l9 H0 U
0 D- o. a( ~: y, k0 }6 A: {, \, r
5 Q& g: V& n- k# h! {; j$ y+ L: l% s; S. G( D& m/ C7 D
5 Q% r1 b1 s+ c
1 P3 W7 h, s) {5 N (为什么会出现讨论“三等分角”的情况? 1:很多老师会告诉中学生们,数学中存在“不可能”的内容。 2:“三等分角”的“不可能”是用与数域扩张有关的数学理论“解决”的,提前告诉学生有“数域扩张”这个数学内容。)
- }- a* [/ r' E, \: Y& U5 r2 [
# Z% y I; u. c' g. s0 }8 m: r, B# a v& g/ G+ G
(数学基础如果是“完美无缺”的,这种数学基础也恐怕等同于“死亡”。如果没有在数学基础内给出新的东西,中国就不可能获得数学强国之称,中国只能是别人所给出的数学基础框架指导下的“技术员”和“打工仔”。所以,在数学基础领域内“找漏洞”这是一项必须做的工作。)
) `7 W% G# e! R0 Y' g& l9 Q( O2 l* C
& ]/ q1 {+ C. M4 Q8 N2 a5 D
2 x- \" Q0 E6 F1 p1 W" x4 Z" y- ?
(需要认真观察“解决”“三等分角”是“不可能”的历史和证明内容,找出当代所需要的数学基础内容。)- z1 f9 ?* Y5 x# I( [
6 B" M7 g( y9 P, ?2 F {: Y2 @! u
" r! k3 E2 E+ b7 W+ R/ e
6 T( K' j1 T; F/ w8 e! ~9 y2 b- e- X$ [7 W- c
5 w, m0 d3 g7 \- h5 n+ @& H
【数学诗的欣赏与创作 大罕】
+ b6 x' W2 N/ W
/ U d5 ]% s1 X5 u8 c0 B【李尚志教授在《湖南省普通高中课程标准实验教科书选修3-6》的章头写了一首七律诗《三等分角与数域扩张》(p75):
* H8 U/ v& s2 n Q# E' l4 _, j2 [8 `( ~$ w# M
一角三分本等闲,尺规限制设难关。! h0 B# o* E# k5 z4 ~6 g; I
, g- i3 h R& R5 L4 ^
几何顽石横千载,代数神威越九天。步步登攀皆是二,层层寻觅杳无三。
+ T$ `' s! m! E3 I! X9 u, J9 ~0 K& @6 Q
黄泉碧落求真谛,加减乘除谈笑间。& { \; I$ r% U1 c _# o
" z+ L2 C2 a, a C- U8 O随后有三个注解加以说明。6 @. i- a$ s7 F/ s' E
& `$ ?9 _- E. n3 U, r8 Z: ]2 {& }2011年左右,有一个网名叫bua1s2d3的网友(他是上海某大学的一位老先生),揪住李教授的这首诗不放,写了题为“李尚志对中学生们不负责地写下了的一首数学诗”的文章,散发到许许多多论坛里,以及寄到一些数学家本人,说“李尚志通过这首诗以及通过他所编写的教材,每年向成千上万名中学生们讲述了一个有数学内容的“皇帝的新衣”的故事”,来误导学生。所谓误导,是指李教授在数学诗里把三等分角讲错了!
1 a$ ^, a# X0 K& u
! F! X# v2 w3 F! Q( W6 }0 E. B风波在后面。很不幸的是,2015年,刘培杰主编的《数学奥林匹克与数学文化》第五辑中,“读者反馈”一栏收入了buals2d3的这篇文章。激起了李尚志极大的反弹,认为刘培杰是站在反科学的立场上,才支持这一类似于“鼓吹永动机”的文章,并且认为发表这篇文章是“为百家争鸣提供一个平台”。而且,凡刘培杰参加了的微信群李教授都要退出。
. t9 W: H% J( ]% ~$ w7 J& y
9 R7 f* A3 [( Q+ D& k2 m2018年元月出版的《大罕数学诗文》一书的“编辑手记”里,刘培杰写道:“由于考虑不慎,把一篇不应录入的文章录入进来”(p329) 这事才终于翻篇。】 ' ^, z% Z) i; S: ?6 \
' L9 Z! |3 M9 a) \8 ]2 n, E' y+ Q
2 y$ V; w3 f, n9 ~2 J, F2 N: x
6 ?7 m! M4 Z7 [; \3 n
: m- n$ m( M ]3 m. P3 ]只要中国还想成为数学强国,李尚志永远翻不了篇 。因为只有给出数学基础领域内的东西才能成为数学强国。“三等分任意角”恰恰与数学基础有关。
# H% ]# ~2 t4 X# I" @( X% C; k0 ?5 H& u3 S& g0 m9 D7 ^3 w
7 j3 j7 r. w5 o8 D
9 P: p! p6 ]' j0 N! S# S
\: H$ z, t% X* Q
/ X! a! I! {' K/ F# ~3 U/ N3 x+ G
# m3 m9 s- @4 F4 F' [9 [8 J) y4 Z9 u% J8 Z2 u, A) p. g2 i, m
+ Z, t$ h. J! _9 i
2 y: f, _9 w( k( T0 U# U 三等分任意角
! s! e2 m* _' Q: j% G6 E* I$ v2 Y4 p8 _
7 Y, G" W9 i, j1 a! ]; W2 [+ \' G' |" D, X Z' k f- u# Q9 ^
2020年9月16日。李尚志在石家庄二中西校区说:“数学的最高境界是简洁的逻辑美。”。 w% K: c, ]7 a5 T8 {! ]
! Z6 F: M. a) D5 v! s$ \+ R) q' m- Z, T, P x( k. o$ k, }
. [0 p/ h6 |7 ~, Q9 s- R
“三等分角”是一个古老的数学难题。& e1 T! r2 g) Y# w% m( z& F" V
6 e! P! Q/ j" X1 m' }; @- S 华罗庚对“三等分角”的讨论作过一个“说明”,华罗庚通过“说明”告诉人们:“用圆规直尺三等分任意角是不可能的。”。华罗庚用--------“用圆规直尺三等分任意角就如步行上月球一样不可能”--------来强化华罗庚他的这个“说明”。
J' m' d- p, r' C/ l 也因为华罗庚作下了这样的结论,被人们误以为:“即使华罗庚给出的与‘三等分角’相关的讨论仅仅是一个‘说明’,可以说,这个‘说明’还是强有力的,不可辩驳的。”。所以,对关于“三等分角”相关内容的辩难在中国数学界内是不被允许的。
! @- F, r! y! C m; [& k
" P; `( Z( J! A( h& B3 N7 w 在“说明”中,华罗庚告诉人们:“两根线段相乘的结果是可以用圆规直尺作出来的。”。% a1 S. l" R: H U" a- O* H
怎么样能够作出图来?华罗庚先随意给出一根线段,并且设定这根线段为单位1。然后将两根已经给出的线段与作为设定是单位1的线段组合成相应的比例关系。通过这种比例关系作出新的线段。这根新作出的线段就可以是两根线段相乘的结果。( 1:a=b:ab 其中1就是随意给出用作单位的线段,a和b就是已经给定的两根线段,ab线段就是给出的结果。这里,要作出一根作为结果的线段需要多个作图步骤,几何作图的作图步骤越多,误差就会越大。)" q. \- j2 f4 ^: Q% s
###########################################################################
0 b! N! X; a( i6 @' D( _1 h1 V 其实不用作图就可以给出两根线段相乘的结果:“令两根线段其中的一根线段是单位1,则另一根线段就是两根线段相乘的结果。(任何数乘上单位1的结果可以是这个数)。”。精准零误差和简单。
* P) A+ O. Q/ [6 b7 F ##########################################################################6 ^+ q1 Q, m3 ]9 D j
人们追求数学运算的结果精准和推导过程简洁。所以,华罗庚所给出的作图办法不怎么样。
2 \8 {* @% B' A" V2 }# N) w. p* s# v
华罗庚在“说明”中是这样说:“如果某一线段的长(某一点的坐标)是由已知的线段的长(或已知点的坐标)经有限次的加减乘除及开平方(指开正数的平方)后得出来的,则此线段(或此点)一定可以用圆规及直尺作出来。”华罗庚的这段话也就是通常所理解的尺规作图可能判别准则。华罗庚的这段话没有出现突出强调“设定一根线段为单位1”是必不可少内容。但是,在实际操作作图时,基本会出现“设定一根线段为单位1”这个内容,否则很难作图。
+ q& R5 |- C+ K1 Y$ w) |7 k
" n7 x" S! y8 ^5 R9 B# t8 m 华罗庚一方面设定一根线段为单位1,另一方面又作出任意长度的线段。华罗庚试图用线段长度之比来确定“数”,以此作为“说明”的材料。3 |5 [0 g; M& C6 ^1 u
+ z& Q/ T, @- P4 [5 h4 N
华罗庚他是在实施混淆不同概念的操作。因为任意长度的线段它不表示是什么数。华罗庚需要解释的是他所理解的一定长度的线段就是单位1这样的数的设定的合理性。6 w$ B; k8 F0 u* f U
) S- h8 L4 |' p6 ^) Z5 ? 可以看到,在“说明”中,华罗庚所给出的作图办法中有一个情况:【如果给出了不一样长度的线段作为单位1,华罗庚“说明”中所给出的线段ab的长度也会相应地起变化,这里看不到数学的确定性在“说明”中的体现。(已经给出的两根线段的长度在欧几里德几何内是唯一确定的,那么如果有两根线段需要相乘,它们相乘的结果理应是唯一确定的。)】。
$ S: o' O; P6 q1 w
# X2 h( N* ~2 e" P- b0 K 可以观察到:5 f; v5 D9 C" y8 X; u, T: `6 ^
华罗庚在处理二等分任意角时理应施用以任意长度的线段为出发点。( q" c& F' I8 \- K
华罗庚在处理三等分任意角时不得不施用以设定为单位1的线段为出发点。) K: w1 C' b m0 w: N* z
在处理所有“等分任意角”问题中,华罗庚必定会施用两个不同的出发点来作图和论证。这是华罗庚回避不了的。: J t' N+ x& O* G- Z( m% Y
0 I) ~+ \# N& R$ U6 v/ h- [
混淆不同的概念和对数学确定性的认识不足是华罗庚讨论“三等分角”的硬伤。
9 _1 ^2 F1 o' f7 P, c' g" m/ Z3 S" l; M {也许有人对此言论表示不屑一顾。华罗庚只是接受了别人(甚至是许多世界著名的数学家)的东西,以此用作“说明”。华罗庚举出这个例子说明用代数的方法解决几何问题是很好的办法。}
5 x7 G/ h4 I' L$ v: ~ 这也是在学术讨论中,需要不需要和会不会主动去独立地思考已经成为定论的学术内容。
7 T' L+ t; C) A4 _- A* t* V 只是华罗庚已经去世,没有办法与华罗庚对等讨论了。
3 [ L9 p+ h( X0 n+ L- k5 u1 ]+ U" W, V
在今天,也曾经与活着的人讨论过。/ q; g4 {4 _( C- J# ]) s( x
例程代展。
. I: |+ U: N7 N5 X. K$ [/ V# c 程代展就在科学网中提到过五次方程根式解和三等分角。
3 H9 d0 m' E8 c6 Y1 U8 u# W* u8 b( v 程代展称继续研究五次方程根式解和三等分角的人是民科。民科冲击正确科学知识传播,(民科是)赘瘤。4 v3 v. \: u9 D8 M& _+ o- f
程代展豁命放胆“愿为真理轻荣辱”。很多年过去了,程代展的命还在,东西却没有豁出来。
" ^4 h0 K* L: ^0 |8 t+ m 程代展-----中科院数学研究员,关肇直的研究生。
8 j: w: b. k; P0 Q! L
) ?6 D$ O }5 g 还有李尚志。 O7 T' a- v7 }; _) ?5 v/ d
李尚志曾经写了一本书-----“三等分角与数域扩充”,也因此写了一首诗。4 I& p8 m3 I6 y! n: X5 x
哈尔滨工业大学出版社刘培杰总编辑出书收录过“李尚志对中学生们不负责地写下了的一首数学诗”一文。引起了李尚志的“反弹”。
$ V0 p! D, S! M9 ^7 B 李尚志通过彭翕成在网上发表文章:& y8 ]& P: G8 J& v0 u/ @
(别把我吹捧成伽罗瓦 李尚志 彭翕成讲数学 2017-05-07)9 z5 a9 h2 j6 p
(李尚志:关于百家争鸣的对话 彭翕成讲数学 2017-05-23)7 R& g6 r5 O! i6 s( t9 I2 {
李尚志在文中称别人是“民科”“草寇”。
! M% {3 c9 {+ \- s 李尚志一会儿说:“三等分角不是李尚志解决的,而是伽罗瓦解决的”,一会儿又说:“而是伽罗瓦的理论彻底解决的”。
9 Y! I, ?( n. g 比较李尚志的“伽罗瓦”和“伽罗瓦的理论”两个用词。李尚志在混淆使用不同的概念和缺乏相关的数学史知识。; [1 C8 m% }8 B! I- a5 U4 D
3 D' G$ |. T# A' M( \1 s X
李尚志还说:“杨修猜破谜底……被曹操杀了。杨修不明白……自己找死”。
: \( C+ i8 c2 U4 k0 B% z 批评李尚志一诗的作者与彭翕成在华东师范大学内作了简短的交谈。" ]" Z0 f+ V5 @3 o, B z& i
彭翕成发表了-----【彭翕成的公开道歉 2017-07-31 09:44】一文。1 `' T4 h2 H# O6 W; l# ~
李尚志说过:“假如在学习奥数的同时也学到了对伽罗瓦的质疑,甚至变成民科去搞三等分角,虽然还不是黄赌,但也是中了毒了。”。- \% e8 q. x6 Q; H
在三等分角问题的讨论中,彭翕成的公开道歉说明了李尚志对身边的人(彭翕成)都说服不了。0 [. U8 v: b7 ]4 w1 z" j
+ S! @& W3 I. E8 U$ U1 V 李尚志是华罗庚学生曾肯成的学生。也担任过中科大数学系系主任。
' j- h5 e. M( ^$ B
9 [( P9 @: z! i5 b 李尚志和华罗庚在处理三等分角的问题中混淆了不同的概念。李尚志更是缺乏相关的数学史知识。4 M+ H5 t7 ~! K: ~% _5 V
华罗庚、程代展和李尚志缺乏相应的文化素养,对伽罗瓦或者伽罗瓦的理论(包括他人;甚至是前人)所涉及的内容作不出独立的分析和判断。三等分角还是需要继续独立地作分析和判断的学术内容。
# j- p. b& C7 \; a5 E3 F3 }9 C
( j# r/ ]1 P8 I. q. _ 中科院最近成立了中科院哲学研究所,这是一个可喜的消息。
* W* c+ P! b: k, s 希望有更多的人继续关心尺规作图(包括三等分任意角等)的讨论。% D8 Z& u% l: s- B7 [% Q8 x3 {2 k
也希望在进一步认识以往三等分角的问题的讨论的过程中,提升我国数学界的数学素养,为我国提供有用的数学内容。" u, X$ t* u7 x$ v: [
7 S5 b8 M7 m% [* ?& l
5 x6 X0 {! w: g% [2 p3 @9 T% `" f. f
' @( m5 L+ \& |% V" N9 X; C: l3 x! f6 x/ V" [6 o1 Z: ]: I5 Y0 I
/ a& s' ~: r+ i8 [; I3 e
$ p8 C0 v ?" r; A' _
*****************************************************************************, x4 M: i1 v# A% O1 s6 Z. Q
" K1 e3 E, |: k) E) q& O0 f/ s; W
; D) b! P$ H, [. @# `. O/ C4 X& v- t ` @0 b. c8 c$ B
附:
" |5 { v u& U0 z, I- _( `' ^9 w6 K' _
(《几何原本》是古希腊数学家欧几里得创作的一部数学著作,成书于公元前300年左右。)
" Q8 P. N+ Z/ s+ W张卜天:《几何原本》译后记:
& S; \7 i {& i3 p9 P' b/ ]! v/ a5 U# t! ` E0 K8 \; f
【《几何原本》在思想史上有双重意义。首先,它把新的严格性标准引入了数学推理,这种逻辑严格性直到19世纪才被超越;】
& i) L6 M3 V* s& }! B' _- Y0 H8 q% ?) N* G* }5 T+ g
8 O4 g% k% B8 I# L7 E; U
" O& {# [0 S& C! w1 e( V; P
张卜天译《几何原本》卷一定义:# V: T% O1 `' V7 \* U
& R1 Z# d( V( V
【1 点是没有部分的东西】6 T' u S0 l# i' |! w
^+ m+ @. t+ e# u! N# p& z
【3 线之端是点】
. L# N% m, v! F2 F( K+ X) i; _6 y# F' |0 w; Y- }! {/ i) w* x
【4 直线是其上均匀放置着点的线】* i0 N; k6 c5 Q" |/ p
0 O: b2 @$ A0 a8 M! g0 R
- _9 i' e I, N2 U' B' C& m
" o+ o% q' V0 f问题:仅有的两个“其上均匀放置着”点的结果是线段、曲线、直线还是什么? N/ i0 R# e8 [2 P
q1 d' x& W1 l N
线是由点组成的,但是点从来没有明确过作为线的单位(单元?)。一根线段的单位(单元?)是合理给出的,或者是随意指定和特别指定的?: H4 F/ K' ~& M8 {4 A* _& B
& R2 M& n, w, C1 B
. S& L9 n, W/ k1 R. I) b$ q9 G
- F, f$ E7 a) N# f+ d, Y" Q% A张卜天译《几何原本》卷七定义:
& b! ]. T" _% }* X
/ N6 ~0 {4 R, b$ e4 M$ B【1每一个存在的事物凭借单元而称之为一。】
Q P+ D* p3 _; O2 _ D# G0 q; \2 n: x' l1 K
【2一个数是由若干单元组成的“多少”。】
" C$ S, t/ ^! d2 Y# a' O
4 K; g ]1 i7 o8 ~7 a& Q5 E
9 U6 n# F5 m- M/ u I- S n4 r: i- W: v- W
张卜天译《几何原本》卷7第16命题中讨论了两个数相互相乘的内容。3 Q, R* Q$ d$ v( T
& v# n2 g- ]$ R
7 o+ V) \" R! l5 H5 z+ o: @
. V2 \1 p' J5 ]问题是:
9 }& m% X- r6 \- c2 Z. I0 u9 R
6 M8 u. L$ h3 i9 L4 |在讨论中出现了A、B、C、D、E 五根线段。作为单位(单元?)的E线段是怎么来的?
9 p* ]# N7 L! v1 G4 e m. y8 r6 V3 ?5 F5 r
******************************************! o- ^8 f, m2 d% D) b
5 s2 R0 R1 v D在平面几何中,什么样的几何图形能够作为“线段”这个几何图形的单位(单元?)?
! q X4 @0 d- v- b9 A! e
! m* r8 K% N+ w7 T$ v- n5 P( z0 v: f* Y) ?5 x+ B
|
|