科学网—liuyu2205的博文

设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文 › liuyu2205的博文

liuyu2205

https://blog.sciencenet.cn/?2322490

在中法文化之间流连| 不确定性问题和算法讨论| 智能哲学| NP理论| 非经典逻辑与中国传统逻辑| 英语博文| 图灵论著专研与精译工作群| AI伦理与社会群| 周剑铭论中国思想与中西文化系列文章| 在法国教逻辑课| 教学中的文化视角| 师徒对话| Paul Jorion的书译文| 解读哥德尔不完全性定理| 波普尔的《科学发现的逻辑》| 《易经》学习| 系统思维|

图灵致马克斯·纽曼关于逻辑的通信（c.1940）: 柳渝 2023-11-7 01:47; 在 Copeland 的书 “The Essential Turing” 中收集了图灵 1940 年写给他的老师、同事和朋友的两封信，其中一封中图灵写道： “ 哥德尔的论文终于到了我手里。我现在对它非常怀疑，但我还得再研究一下 Zermelo–v. Neumann 系统，然后才能把反对意见白纸黑字写下来。 ” 也就是说，图灵在 1940 年才读到哥德尔的原文 ...; 个人分类: 解读哥德尔不完全性定理|2307 次阅读|没有评论

乔治·萨顿（George Sarton）与《希腊化时代的科学与文化》: 热度 2 柳渝 2021-6-22 22:57; 现代科学技术的高速发展，出现科学与人文渐行渐远的现象，人的价值和意义陷入科学与人文两种文化难以弥合的鸿沟，滋生着对不确定性的恐惧，对此诸多有识之士早有担忧。乔治 · 萨顿（ George Sarton ， 1884 年－ 1956 年），比利时科学史家，大声疾呼要在科学与人文之间建立一座桥梁，这座桥梁 ...; 个人分类: 在中法文化之间流连|8841 次阅读|4 个评论热度 2

数学中的三个危机：逻辑主义、直觉主义和形式主义 - 译文（2）：直觉主义: 热度 1 柳渝 2021-6-21 05:20; 这个学派大约在 1908 年由荷兰数学家布劳威尔（ L.E.J.Brouwer ， 1881-1966 ）开创。直觉主义以一种与逻辑主义完全不同的方式来看待数学基础：逻辑主义从不认为经典数学有什么问题，他们固执想表明经典数学是逻辑学的一部分；而直觉主义则相反，他们认为经典数学存在很多问题。到 1908 年，康托尔的集合论 ...; 个人分类: 在法国教逻辑课|9720 次阅读|2 个评论热度 1

数学中的三个危机：逻辑主义、直觉主义和形式主义 - 译文（1）：逻辑主义: 柳渝 2021-6-19 14:37; 亚伦道弗尔奖（ Carl B. Allendoerfer ）是美国数学协会（ MAA ）每年颁发的一个数学奖项，旨在奖励在《数学杂志》（ Mathematics Magazine ）上发表的论述清晰的论文。《数学杂志》是美国数学协会的双月刊，其受众主要是大学数学老师以及数学系学生，刊登的文章主要为数学概念和数学理论提供例子、应用 ...; 个人分类: 在法国教逻辑课|8705 次阅读|没有评论

数学基础的危机与计算机理论的诞生 - 图灵的壮举: 柳渝 2021-6-14 03:18; 图灵的论著和工作为计算机理论的诞生奠定了基础，为了理解这一壮举的背景，需要回顾 20 世纪初那场著名的数学基础危机。一，数学基础危机【 1 】对于数学基础的关注和研究，可追溯至古代，但在较长的历史阶段中，基本上只限于对单科数学基础的讨论，至于作为整个数学基础的探索，乃是 20 ...; 个人分类: 不确定性问题和算法讨论|6471 次阅读|没有评论

苏菲·热尔曼（Sophie Germain）：数学王国的“花木兰”: 柳渝 2021-6-9 04:31; 一千多年前，在中国的北魏有代父充军，驰骋疆场的飒爽英姿的 “ 花木兰 ” 。一千多年后，在遥远的法国巴黎却有化身男儿指点江山，驰骋在数学王国的苏菲 · 热尔曼（ Sophie Germain ， 1776 年－ 1831 年）！一，图书馆里的童年苏菲 - 热尔曼于 1776 年 4 月 1 日出生 ...; 个人分类: 在中法文化之间流连|8033 次阅读|没有评论

皮埃尔·迪昂（Pierre Duhem）与科学哲学、科学史（*）: 热度 2 柳渝 2021-5-31 00:55; 皮埃尔 · 迪昂（ Pierre Duhem ， 1861 － 1916 ），法国物理学家、科学史家与科学哲学家， 19 世纪末 20 世纪初科学界最卓越、最有创见的人物之一。迪昂的研究兴趣十分广泛，大体分为几个阶段： 1884 ～ 1900 年，他的兴趣在热力学和电磁学方面； 1900 ～ 1906 年，他集中研究流体力学； 1892 ...; 个人分类: 在中法文化之间流连|6896 次阅读|4 个评论热度 2

归纳与演绎溯源 - 解读亚里士多德的一个例子: 热度 2 柳渝 2021-4-27 04:28; 归纳与演绎是科学研究中运用最为广泛的逻辑思维方法，贯穿着整个西方逻辑史和哲学史。然而，归纳与演绎及二者的关系也是学习和理解逻辑的难点，其中涉及诸多相互纠缠的基本概念。亚里士多德在《前分析》中给出一个例子将归纳与演绎纳入三段论的框架，我们通过解读这个例子追本溯源归纳与演绎。 ...; 个人分类: 在法国教逻辑课|7938 次阅读|4 个评论热度 2

“三段论（Syllogism）”简介: 柳渝 2021-4-20 20:59; 在传统逻辑中， “ 三段论（ Syllogism ） ” 指从两个命题（ “大前提”和“小前提”）推导出 “ 结论 ” 的一种推理形式，是数学证明、科学研究及日常沟通交流中常用的一种推理。在希腊语中， syllogism 由 syn （与）和 logos （语言）组成，本意指 “ （一个命题）与（另一个 ...; 个人分类: 在法国教逻辑课|12241 次阅读|没有评论

我们祖先的土地 - 介绍一篇关于“北京人”的文章: 热度 1 柳渝 2021-4-18 15:41; 今年是 “ 北京人 ” 挖掘 100 周年，此事件见证了那时中国地质学界的国际化面貌！德日进（ Pierre Teilhard de Chardin ， 1881 － 1955 ，法国哲学家，神学家，古生物学家，耶稣会神父，中国旧石器时代考古学的开拓者和奠基人之一）在 1928 年的一篇《现代中国知识界的趋势》如是说： “ 如果 ...; 个人分类: 在中法文化之间流连|4549 次阅读|1 个评论热度 1

12 3 4 下一页

会议

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

GMT+8, 2024-4-25 16:13

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部