科学网

 找回密码
  注册

blog 博文

最新发表的博文| 推荐阅读的博文

感谢韩国高旻喜元旦来电(2026.1.1)
黄安年 2026-1-1 21:26
感谢韩国高旻喜元旦来电 ( 2026.1.1) 黄安年文 黄安年的博客 /2026年01月01日发布,第3845 7 篇 今天韩国高旻喜教授三次来电,前两次阴差阳错没接着, 第三次接着了。去年秋她赴美探亲并游览欧洲, 10月底回到韩国,为照料大女儿身体而忙碌,在今天的电话里她谈到今年秋 ...
1449 次阅读|没有评论
X.WANG玄妙定理如何为数学形式化带来革命性意义(下)
王雄 2026-1-1 21:23
第三篇:未来的蓝图——形式化玄妙定理本身与远景展望 第九章:自我指涉的奇点:形式化玄妙定理的宏伟工程 对X.WANG玄妙定理本身的完全形式化,是形式化领域的“登月计划”,也是一场深刻的 自我指涉 :在一个系统(单值类型论)中,去形式化一个关于该系统本身(等价于∞-拓扑斯)的定理。 这项工程将需要: ...
690 次阅读|没有评论
X.WANG玄妙定理如何为数学形式化带来革命性意义(中)
王雄 2026-1-1 21:23
第二篇:宏伟的桥梁——X.WANG玄妙定理如何引领革命 X.WANG玄妙定理的深刻之处在于,它并非仅仅是一个需要被形式化的“对象”,它本身就是一幅关于形式化未来图景的“蓝图”,一座连接符号与实在、语法与语义的宏伟桥梁。 第四章:定理核心:统一的元框架 让我们先以最精炼的语言重述其核心结论: 存在一个(∞,2)-范 ...
927 次阅读|没有评论
X.WANG玄妙定理如何为数学形式化带来革命性意义(上)
王雄 2026-1-1 21:22
2026新年第一篇,这是一篇关于X.WANG玄妙定理如何为数学形式化带来革命性意义的万字长文。我们将从历史与现状出发,深入剖析其核心困境,最终揭示该定理如何如同一座宏伟的桥梁,指引我们通往数学形式化的全新纪元。 X.WANG玄妙定理与数学形式化的革命:从“手工作坊”到“大科学时代”的宏伟蓝图 ** 引言:数学的“确 ...
756 次阅读|没有评论
奇点
李天煜 2026-1-1 21:14
如果确实存在一个奇点,能够作为大爆炸宇宙起源的起点,那就需要说明奇点是怎样来的,奇点的体积有多大,即其有多小?存身何处,奇点处物质的存在形式和状态:基本粒子,中子,或其他什么的物质粒子。奇点处的温度有多高,能量大到什么程度,密度有多高;和一个中子星相比,情况怎么样?和一个大质量的黑洞相比怎么样?如 ...
4034 次阅读|没有评论
人活着,就是要做自己喜欢的事情
热度 5 王涛 2026-1-1 21:12
去做喜欢的事情,并不是一件容易的事情。现实会有很多约束,或者要求,和喜欢的事情想抵触。 小的时候家里很穷,父母也不是太会过日子的样子,所以我就总是在权衡,应该去琢磨工作赚钱,还是继续沉浸在自己的世界里继续思考自己喜欢的问题。 这里的问题是 ...
3161 次阅读|13 个评论 热度 5
匆匆走过
刘永红 2026-1-1 21:10
匆匆走过 武汉理工大学:刘永红 风还是风 我还是我 我匆匆走过 却把风惊醒
2783 次阅读|没有评论
文心苏韵——江苏省图书馆文创成果展
王启云 2026-1-1 20:59
图谋按: 2026年1月1日,图谋到连云港市图书馆参观,图书馆三楼电梯口的文心苏韵——江苏省图书馆文创成果展吸引了我的注意力。因为图书馆文创是圕人堂热点话题之一,2025年11月部分成员进行了较为热烈的讨论。我将该展览图文信息“第一时间”在圕人堂QQ群内进行了分享,并在此基础上进一步梳理成本文。 前言 ...
2088 次阅读|1 个评论
耕地质量的“三高”与“三低”
蒋高明 2026-1-1 20:48
耕地质量的“三高”与“三低” 蒋高明 1.耕地质量的“三高” 由于盲目学习美国的高效农业模式,我国农业生产一直坚持“高投入、高产出”模式,耕地长期高强度、超负荷利用,耕地质量呈现出“三高”与“三低”的态势。“三高”指中低产田比例高、耕地质量退化比例高、污染耕地占比高;“三低”指的是有机质含量低 ...
2791 次阅读|没有评论
吕启祥、黄安年敬挽 春耕兄永生(2025.11.04)【《曹雪芹研究》2025.4】
黄安年 2026-1-1 20:41
吕启祥、黄安年敬挽 春耕兄永生( 2025.11.04)【《曹雪芹研究》2025.4】 吕启祥、黄安年挽 2026年1月1日发布 第38457篇 按:这里发布今天收到《曹雪芹研究》 2025年第4期(12月15日出刊),首页刊登了北京曹雪芹学会、《曹雪芹研究》编辑部《深切缅怀红学家、版本收藏家杜春耕先生》悼文。 ...
1427 次阅读|没有评论

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

GMT+8, 2026-2-26 11:33

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部