记忆：1995 年天津大学百年校庆研究生院学术报告会（一等奖论文）证书，整整 30年（三十年，叁拾年）

  术语 terminology / terminologies

P对NP： P vs NP, P versus NP problem

确定型图灵机： DTM, deterministic Turing machine

非确定型图灵机： NTM, non-deterministic Turing machine

集合论： set theory

策梅洛-弗兰克尔集合论： ZF, Zermelo–Fraenkel set theory

幂集： power set

幂集公理： axiom of power set

数学基础： foundations of mathematics

   在 1995-10-03 下午，30年（三十年，叁拾年）之前的下午，“庆祝北洋大学-天津大学建校一百周年，天津大学研究生学术报告会，主题:二十一世纪科技发展与人类生活展望”，一九九五年十月三日下午2时30分开始，我做了“特邀报告：从NP 的结构到超级计算机分类理论”。

   1.题目:从NP 的结构到超级计算机分类理论(特邀报告)

   作者:杨正瓴 单位:天津大学自动化系九四博

   摘要:

   对有穷计算机模型对应的无穷模型进行分类,证明了从必要性上,NP的结构与连续性假设有关,并与集合论的有关结果结合,建立了一种超级计算机的必要性分类理论。

   “从NP结构到超级计算机分类理论”，天津大学百年校庆研究生院学术报告会（一等奖论文），1995年10月。

   “A supercomputer classification theory from the hierarchy of NP problem”, the Student Academic Symposium of Graduate School to Celebrate the 100th Anniversary of the Founding of Tianjin University, October 1995. The first prize paper.

说明：

   上面的“连续性”应为“连续统”。当时似为打字错误。

   连续统， continuum。

   连续统假设， continuum hypothesis。

（1）证书的封皮

（2）证书的内容

“P对NP”问题上已经发表的论文等：

[1] 1995年10月之前，我还写过一篇论文参加了“挑战杯”比赛。不过我没有任何材料可以证明这个。

[2] 杨正瓴. 从NP结构到超级计算机分类理论 [R]. 天津大学百年校庆研究生院研究生学术报告会（一等奖论文），和天津大学百年校庆自动化系学术报告会，1995年10月.

[3] 杨正瓴. 人脑有多复杂？[J]. 百科知识，1997，7（总第216期）：pp39 – 40.

[4] 杨正瓴. 人脑复杂性的估计及其哲学意义[M]，《中国新时期社会科学成果荟萃》，1999，第1卷p296。卢继传 主编，中国经济出版社，北京，ISBN 7 – 5017 – 4100 – X/G. 374，（第2编，哲学，第4章，自然辩证法）.

[5] 杨正瓴，林孔元. 人类智能模拟的“第2类数学（智能数学）”方法的哲学研究 [J]. 哲学研究，1999, (4): 44-50.

[6] 杨正瓴. 密码学与非确定型图灵机 [J]. 中国电子科学研究院学报, 2008, 3(6): 558-562.

doi:  10.3969/j.issn.1673-5692.2008.06.002

https://d.wanfangdata.com.cn/periodical/Ch9QZXJpb2RpY2FsQ0hJTmV3UzIwMjUwMTE2MTYzNjE0EhFkemt4anNwbDIwMDgwNjAwMhoIMTI1MW95ZG0%3D

https://www.cqvip.com/doc/journal/965772631?sign=0695dbf10c7f251312e6b93709c7619810be4b95515d58cec495b11fc1a6fe71&expireTime=1744321759348&resourceId=965772631

https://kns.cnki.net/kcms2/article/abstract?v=_dzes7vZToNVoPowmQw1gARVMfmQJCdq0clFD1JTfcrHse_BDMYF0yHSj3byjEqD6KVYWT_UcsmeHJuKaa2QaqaX1wVwrV0qkvVoDZZZpkyiedcs7nAtDt5u2PVym21ya8X164JT-oTQSDCyfKKIRyBpGU5jQ58vFb0Vga06quIl6mRrF18mVw==&uniplatform=NZKPT&language=CHS

[7] 杨正瓴. 第二类计算机构想 [J]. 中国电子科学研究院学报, 2011, 6(4): 368-374.

doi:  10.3969/j.issn.1673-5692.2011.04.009

https://d.wanfangdata.com.cn/periodical/Ch9QZXJpb2RpY2FsQ0hJTmV3UzIwMjUwMTE2MTYzNjE0EhFkemt4anNwbDIwMTEwNDAwORoIaWFnbnR5dDU%3D

https://www.cqvip.com/doc/journal/955236059?sign=30e3a846a9f5cce0aa9328fb10ae2ef236a390a85f609490178b876ac810c6b1&expireTime=1744321539659&resourceId=955236059

https://kns.cnki.net/kcms2/article/abstract?v=_dzes7vZToOaJyR7v744ry0H4PSZF-8tV_7FKh-WDhizTtBvUWUfqQMmn84g_zByyxRn4o4reoKcMRtlFcsH-w629GsqeKHRRSJu0Xxrc2mHtmdTfj5wEGyOIMhtJXgRREzpwU5wAexouFmRFWqGg49HLhpxq-ZAGaRYm8s1WWBx3M5wPZmLzg==&uniplatform=NZKPT&language=CHS

[8] YANG Zhengling (杨正瓴). A non-canonical example to support that P is not equal to NP [J]. Transactions of Tianjin University, 2011, 17(6): 446-449.

doi:  10.1007/s12209-011-1593-5

https://doi.org/10.1007/s12209-011-1593-5

https://link.springer.com/article/10.1007/s12209-011-1593-5

https://lib.cqvip.com/Qikan/Article/Detail?id=40032670&from=Qikan_Search_Index

以前的《科学网》相关博文链接：

[1] 2025-10-2 19:40，热烈庆祝天津大学（北洋大学）建校130周年！

https://blog.sciencenet.cn/blog-107667-1504461.html

[2] 2024-12-25 22:49，[打听] “一个数学问题的算法复杂性的P与NP分类(多项式时间算法与非多项式时间算法)没有绝对性”的出处

https://blog.sciencenet.cn/blog-107667-1466038.html

[3] 2025-04-27 22:32，[请教，往日] P对NP（二）：思考 P vs NP 的几个关键事件点

https://blog.sciencenet.cn/blog-107667-1483683.html

[4] 2023-07-18 15:37，[小结] “P对NP, P vs NP, P versus NP”问题的博文汇集

https://blog.sciencenet.cn/blog-107667-1395804.html

[5] 2023-07-11 18:22，[请教，讨论] P对NP（十）：一些相关的说明（研究思路、过渡参考资料等）

https://blog.sciencenet.cn/blog-107667-1394993.html

[6] 2023-02-11 14:49，[随笔] “P对NP, P vs NP, P versus NP” Problem 问题：问题与求解方法

https://blog.sciencenet.cn/blog-107667-1375792.html

[7] 2015-05-22 21:54，The kernel of "P vs NP Problem": Axiom of power set!

https://blog.sciencenet.cn/blog-107667-892400.html

[8] 2011-12-05 22:32，TTU论文《A non-canonical example to support that P is not equal to NP》已经刊出

https://blog.sciencenet.cn/blog-107667-515297.html

[9] 2011-09-15 17:50，A FULL PROOF to the P versus NP problem “P对NP（P versus NP, P vs NP）”问题的一个“完全证明”

https://blog.sciencenet.cn/blog-107667-486692.html

[10] 2011-09-06 23:55，My report and papers on "the P versus NP problem" (P vs NP)

https://blog.sciencenet.cn/blog-107667-483639.html

[11] 2019-07-02 16:11，记忆：南开大学2008年《科学素质教育课程骨干教师高级研修班》

https://blog.sciencenet.cn/blog-107667-1187783.html

感谢您的指教！

感谢您指正以上任何错误！

感谢您提供更多的相关资料！