用户zhangbeijing的RSS http://blog.sciencenet.cn/?320682 <![CDATA[欧拉特称量词模型的改进]]>http://blog.sciencenet.cn/blog-320682-1297675.html zhangbeijing2021-07-30 08:24:49<![CDATA[准备着,做下一个图灵!]]>http://blog.sciencenet.cn/blog-320682-1063977.html zhangbeijing2017-07-01 10:55:12<![CDATA[希尔伯特圆梦的佐证]]>http://blog.sciencenet.cn/blog-320682-993569.html zhangbeijing2016-07-30 07:13:41<![CDATA[广义相对论时空计算]]>http://blog.sciencenet.cn/blog-320682-985247.html zhangbeijing2016-06-17 06:53:42<![CDATA[数理逻辑的中国声音]]>http://blog.sciencenet.cn/blog-320682-984117.html zhangbeijing2016-06-12 02:58:14<![CDATA[人工智能的新制高点!]]>http://blog.sciencenet.cn/blog-320682-978413.html zhangbeijing2016-05-19 08:42:48<![CDATA[两个字定义“智能”!]]>http://blog.sciencenet.cn/blog-320682-977423.html zhangbeijing2016-05-15 09:31:29<![CDATA[为什么图灵计算=递归函数计算?]]>http://blog.sciencenet.cn/blog-320682-975432.html zhangbeijing2016-05-06 06:30:33<![CDATA[百度和Google的科学分野]]>http://blog.sciencenet.cn/blog-320682-975296.html zhangbeijing2016-05-06 10:03:48<![CDATA[递归函数的通俗解释]]>http://blog.sciencenet.cn/blog-320682-974114.html zhangbeijing2016-05-01 06:30:18<![CDATA[逻辑的灵魂与意义]]>http://blog.sciencenet.cn/blog-320682-971247.html zhangbeijing2016-04-19 07:07:39<![CDATA[递归函数的历史和家族]]>http://blog.sciencenet.cn/blog-320682-970653.html zhangbeijing2016-04-17 09:43:04<![CDATA[希尔伯特第24个数学问题]]>http://blog.sciencenet.cn/blog-320682-970123.html zhangbeijing2016-04-14 07:42:51<![CDATA[希尔伯特梦后百年]]>http://blog.sciencenet.cn/blog-320682-969874.html zhangbeijing2016-04-13 07:00:12<![CDATA[证明论的百年成就]]>http://blog.sciencenet.cn/blog-320682-969167.html zhangbeijing2016-04-10 07:08:12<![CDATA[数学证明方法有多少种?]]>http://blog.sciencenet.cn/blog-320682-969157.html zhangbeijing2016-04-10 05:35:06<![CDATA[引力波的探测历程与未来展望]]>http://blog.sciencenet.cn/blog-320682-969051.html zhangbeijing2016-04-10 09:08:14<![CDATA[哥德尔证明有了汉译文!]]>http://blog.sciencenet.cn/blog-320682-969028.html zhangbeijing2016-04-10 06:20:26<![CDATA[什么是超数学?]]>http://blog.sciencenet.cn/blog-320682-968967.html zhangbeijing2016-04-09 08:22:13