不确定性的困惑与NP理论分享 http://blog.sciencenet.cn/u/liuyu2205 平常心是道


  • Université de Picardie Jules Verne,其它,副教授

    • 信息科学->计算机科学->计算机科学的基础理论

    扫一扫,分享此博客主页
你需要登录后才可以留言 登录 | 注册


zhengbojin 2022-12-2 13:10
https://blog.sciencenet.cn/home.php?mod=space&uid=241229&do=blog&id=1366200
zlyang 2020-1-1 14:08
祝您和全家人2020新年快乐!
zlyang 2019-9-13 17:29
祝柳老师和全家人2019年中秋节快乐!
查看全部
统计信息

已有 1836520 人来访过

“普通唯理语法” - Antoine Arnauld,Claude Lancelot 2023-01-30
“ 普通唯理语法( Grammaire générale et raisonné , Grammaire de Port-Royal ) ” 是西方语言学史上的一部重要著作,以清晰自然的方式解释说话 ...
(169)次阅读|(0)个评论
“前提(prémisse)” 术语溯源 2023-01-26
一个 “ 前提( prémisse ) ” 是一个命题,一个为支持结论而提出的陈述。前提一词来自拉丁文 praemissa : prae (向前),和 mittere (发送 ...
(446)次阅读|(0)个评论
Richard Whately 与“逻辑学要素”(Elements of Logic) 2023-01-24
Richard Whately ( 1787-1863 ),英国学者、修辞学家、逻辑学家、哲学家、经济学家和神学家,还曾担任爱尔兰教会都柏林的改革派大主教。他是一位领先的广 ...
(294)次阅读|(0)个评论
用一个音节的字解释哥德尔第二不完全性定理 - George Boolos 2023-01-21
一,译文 用一个音节的话解释哥德尔第二不完全性定理  - George Boolos 首先,当我说 “ 证明 ” 时,我的意思是 “ 在整个数学 ...
(385)次阅读|(0)个评论
希尔伯特计划(Hilbert’s Program) 2023-01-21
在数学领域,希尔伯特计划( Hilbert’s Program )是由德国数学家大卫 - 希尔伯特( David Hilbert )在 20 世纪早期制定的,是对数学基础危机的一种 ...
(345)次阅读|(0)个评论
乔治-布洛斯 (George Boolos) 2023-01-19
乔治 - 布洛斯 (George Boolos , 1940 – 1996) ,美国哲学家和数理逻辑学家,曾在麻省理工学院任教。 Boolos 是希腊 - 犹太后裔。他在雷 ...
(412)次阅读|(0)个评论
数学是“问题求解”还是“定理理证明”? - Carlo Cellucci 2023-01-18
Is Mathematics Problem Solving or Theorem Proving? 数学是 “ 问题求解 ” 还是 “ 定理证明 ...
(235)次阅读|(0)个评论
2023年“世界逻辑日”:倡议重读哥德尔1931年论文 2023-01-14
2020年1月14日“世界逻辑日”创建之际,联合国教科文组织总干事奥黛丽-阿祖莱女士致辞  : 为了提高人们对逻辑的重要性的认识,教科文组织宣布1月14 ...
(837)次阅读|(6)个评论

查看更多

    现在还没有记录

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

GMT+8, 2023-1-30 15:27

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部