科学网

 找回密码
  注册
古德斯坦定理(Goodstein’s theorem)(3)- 九头蛇游戏
柳渝 2021-12-28 03:36
古德斯坦定理(Goodstein’s theorem)的证明基于序数 ,为了形象阐释这个证明的意义,科比(Kirby)和帕里斯(Paris)在他们的论文《皮阿诺算术的可访独立性结果》中 给出一个古德斯坦定理的变体: “ 九头蛇游戏”, 重塑了希腊神话中的半神英雄赫拉克勒斯(Hercule)与勒拿九头蛇(Lerne)的神话故事 。 ...
个人分类: 解读哥德尔不完全性定理|2234 次阅读|没有评论
批判性思维(Critical thinking)(2)- 苏格拉底提问法
热度 1 柳渝 2021-12-27 23:05
critical thinking 中的 critical 来自希腊语 critic ,意指 critique (批评)。 批判性思维的思想根源与它的词源一样古老,可追溯到 2500 年前苏格拉底的教学实践和愿景,他通过一种探究性的提问方法发现,人们无法理性地证明他们对知识的自信主张。批判性思维的最早记录出现在柏拉图所记载的对 ...
个人分类: 在法国教逻辑课|5586 次阅读|1 个评论 热度 1
批判性思维(Critical thinking)(1)
热度 1 柳渝 2021-12-27 18:37
“ 批判性思维 ” ( Critical thinking )是一个内涵复杂的概念,泛指进行严格推理以解决问题,或分析事实以形成判断的能力和态度。 批判性思维正在教学中得到越来越多的重视,人们逐渐意识到,学校教给学生的课程内容多是关于如何正确推理,而忽略了推理互补的一面: 如何识别谬误 。 在哲学 ...
个人分类: 在法国教逻辑课|3408 次阅读|3 个评论 热度 1
古德斯坦定理(Goodstein’s theorem)(2)- 古德斯坦的证明思路
柳渝 2021-12-22 18:07
“ 古德斯坦定理 ” 是由鲁宾 · 古德斯坦提出的一条关于自然数的命题,即所有古德斯坦序列最终均结束于 0 。 一, m 的“继承n进制”表示法 一个自然数 m 的古德斯坦序列 G(m) 是一个自然数序列,是通过定义 m 的继承n进制构造出来的。 令 m 和 n 是自然数, n1 ,我们定义 m ...
个人分类: 解读哥德尔不完全性定理|3750 次阅读|没有评论
古德斯坦定理(Goodstein’s theorem)(1)- 鲁本-古德斯坦
柳渝 2021-12-20 16:16
鲁本 - 古德斯坦( Reuben Goodstein1912-1985 )是一位英国数学家,对数学哲学和教学有浓厚兴趣,是 “ 古德斯坦定理 ” 的发明人【 1 】。 1944年古德斯坦在ZF集合论中证明了 “古德斯坦定理” ,而 1982 年 Paris 和 Kirby 证明了 “古德斯坦定理” 在 皮阿诺( Peano )算术 ...
个人分类: 解读哥德尔不完全性定理|2298 次阅读|没有评论
“谢谢你”(MERCI) - 亚眠“头发飞扬”舞团向医护人员致敬的现代舞(1)
柳渝 2021-12-18 18:40
圣诞节来临,法国进入了第五次 COVID19 高峰,当万家团圆之际,医护人员却进入了与病毒作战的第一线! 我有幸参加亚眠的 “ 头发飞扬 ” 舞团向医护人员致敬的现代舞 “ MERCI”的 排练,从今年九月开始 为期一年 ,希望把这些宝贵的时光记载下来,。。。 一, “ 谢谢你 ” ( MERC ...
个人分类: 在中法文化之间流连|3765 次阅读|没有评论
米卡埃尔·洛奈与《数学的伟大小说 - 从史前时代到今天》
柳渝 2021-12-17 06:23
一个偶然的机会读到一篇“即将来临的数学(Maths à venir)”短文, 作者热情洋溢的笔触、丰富的想象力和坚实的科学和文化知识 让我印象深刻,一查 作者,叫米卡埃尔 · 洛奈( Michael Launay , 1984 - ),毕业于法国名校“巴黎高等师范学院”,概率学博士,本可以进研究所或大学作一名很有前途的学者 ...
个人分类: 在中法文化之间流连|3822 次阅读|没有评论
亚眠“头发飞扬”现代舞团(Les Echevelées)
柳渝 2021-12-6 03:47
“ 头发飞扬 ” 现代舞团( Les Echevelées )位于上法兰西大区的亚眠( Amiens )市,自 2016 年创建以来,一直致力于在不同的地方和观众中实现其编舞项目,将人和环境置于创作过程的核心。舞者的身体揭示了空间、颜色、灯光、情感或思想,被融入舞蹈中。 Chloé Lejeune 舞团艺术总监这样诠释 ...
个人分类: 在中法文化之间流连|3140 次阅读|没有评论
[转载]保持饥饿,保持无知 - 乔布斯斯坦福大学毕业典礼演讲(2005年6月12日)
热度 1 柳渝 2021-12-4 06:05
关于 乔布斯在斯坦福大学毕业典礼的著名演讲,其题目是 “Stay Hungry Stay Foolish”,一般中文资料 翻译成: “ 保持饥饿,保持愚蠢 ”。 这里我略作改动,翻译成: “ 保持饥饿,保持无知 ”,意指身体和思想上保持“空”的状态 。 以下演讲内容的 译文主要来自【 1 】【 2 】。 *** ...
个人分类: 在中法文化之间流连|4475 次阅读|1 个评论 热度 1
[转载]波普尔的《科学发现的逻辑》第一章 对于若干基本问题的考察:8,科学客观性和主观确信
柳渝 2021-11-29 01:41
“ 客观的 ” 和 “ 主观的 ” 是在历史上充满着各种矛盾用法和无结论、无 休止讨论的哲学术语。 我对 “ 客观的 ” 和 “ 主观的 ” 术语的用法不同于 Kant 。他用 “ 客观的 ” 这 个词来表示科学知识应该是可证明的,不依赖于任何人的一时想法:一个证明是 “ 客观的 ” ,假如原 ...
个人分类: 波普尔的《科学发现的逻辑》|1848 次阅读|没有评论

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

GMT+8, 2024-4-28 21:15

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部