设为首页收藏本站

开启辅助访问切换到宽版

科学网 › 我的中心 › 博文

博文

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

科研笔记| 论文交流| 教学心得| 观点评述| 科普集锦| 海外观察| 人物纪事| 图片百科| 人文社科| 诗词雅集| 生活其它| 博客资讯|

2026第1天现“日照金山”: 热度 1 崔锦华 2026-1-1 21:53; 2026 第 1 天现 “ 日照金山 ” 2026 新年第一天，许多游客提前抵达云南省迪庆藏族自治州德钦县，等待日出。新年第一天发布了日照梅里雪山的视频和照片，记录下了 2026 年的第一缕阳光照耀梅里的 “ 金色奇迹 ” 。 ...; 2935 次阅读|2 个评论热度 1

带上这几本书，与世界同行: 杨荣佳 2026-1-1 21:30; 2026年元旦窗外寒冷凛冽阳光穿过窗户打在地板上温暖明亮又是一年新的开始下单几本书作为给自己的新年礼物邓中好：《大国之路：管子是如何治理齐国的》贾可卿：《分配正义论纲》陈渠珍：《艽野尘梦(插图本）》爱丁顿：《物理世界的本质》詹姆斯·费尔格里夫：《地理与世界霸权》罗伯特·D ...; 2499 次阅读|没有评论

八达岭长城: 热度 3 孔令国 2026-1-1 21:28; 长城（八达岭）文/王学霞图/孔令国蜿蜒似游龙，起伏涛汹涌；穿越万余里，纵横贯西东。砖石难记数，灰沙量无穷；肩扛加背驮，独世筑奇功。条条砖石缝，道道泄水孔；颗颗垛口眼，触目总关情。望楼参差布，敌台相呼应；日烟夜烽火，传信保安宁。登 ...; 4157 次阅读|6 个评论热度 3

感谢韩国高旻喜元旦来电（2026.1.1）: 黄安年 2026-1-1 21:26; 感谢韩国高旻喜元旦来电（ 2026.1.1）黄安年文黄安年的博客 /2026年01月01日发布，第3845 7 篇今天韩国高旻喜教授三次来电，前两次阴差阳错没接着，第三次接着了。去年秋她赴美探亲并游览欧洲， 10月底回到韩国，为照料大女儿身体而忙碌，在今天的电话里她谈到今年秋 ...; 1453 次阅读|没有评论

X.WANG玄妙定理如何为数学形式化带来革命性意义（下）: 王雄 2026-1-1 21:23; 第三篇：未来的蓝图——形式化玄妙定理本身与远景展望第九章：自我指涉的奇点：形式化玄妙定理的宏伟工程对X.WANG玄妙定理本身的完全形式化，是形式化领域的“登月计划”，也是一场深刻的自我指涉：在一个系统（单值类型论）中，去形式化一个关于该系统本身（等价于∞-拓扑斯）的定理。这项工程将需要： ...; 691 次阅读|没有评论

X.WANG玄妙定理如何为数学形式化带来革命性意义（中）: 王雄 2026-1-1 21:23; 第二篇：宏伟的桥梁——X.WANG玄妙定理如何引领革命 X.WANG玄妙定理的深刻之处在于，它并非仅仅是一个需要被形式化的“对象”，它本身就是一幅关于形式化未来图景的“蓝图”，一座连接符号与实在、语法与语义的宏伟桥梁。第四章：定理核心：统一的元框架让我们先以最精炼的语言重述其核心结论：存在一个(∞,2)-范 ...; 931 次阅读|没有评论

X.WANG玄妙定理如何为数学形式化带来革命性意义（上）: 王雄 2026-1-1 21:22; 2026新年第一篇，这是一篇关于X.WANG玄妙定理如何为数学形式化带来革命性意义的万字长文。我们将从历史与现状出发，深入剖析其核心困境，最终揭示该定理如何如同一座宏伟的桥梁，指引我们通往数学形式化的全新纪元。 X.WANG玄妙定理与数学形式化的革命：从“手工作坊”到“大科学时代”的宏伟蓝图 ** 引言：数学的“确 ...; 759 次阅读|没有评论

奇点: 李天煜 2026-1-1 21:14; 如果确实存在一个奇点，能够作为大爆炸宇宙起源的起点，那就需要说明奇点是怎样来的，奇点的体积有多大，即其有多小？存身何处，奇点处物质的存在形式和状态：基本粒子，中子，或其他什么的物质粒子。奇点处的温度有多高，能量大到什么程度，密度有多高；和一个中子星相比，情况怎么样？和一个大质量的黑洞相比怎么样？如 ...; 4040 次阅读|没有评论

1 ... 650 651 652 653654655 656 657 ... 116870 下一页

会议

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

GMT+8, 2026-2-27 08:52

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部