SOME UNPROVABLE TRUE PROPOSITIONS IN COMPLEXITY

被引：0

作者：

洪加威 ^{[1
]}

机构：

[1] Beijing ComPuter Institute

来源：

Science Bulletin | 1983年 / 10期

关键词：

SOME UNPROVABLE TRUE PROPOSITIONS IN COMPLEXITY;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

In complexity theory, upper bounds have been improved repeatedly, but little has been obtained in the field of lower bounds.For example, the upper bounds for any NP-complete problem are exponential, but there is only a trivial linear lower bound. Thisfaet makes us think that some true propositions in complexity are unprovable. But if we get a result like the G?del’s in-

引用

页码：1429 / 1429

页数：1

共 50 条

[1] SOME UNPROVABLE TRUE PROPOSITIONS IN COMPLEXITY
HONG, JW
[J]. KEXUE TONGBAO, 1983, 28 (10): : 1429 - 1429
[2] CAN THERE BE A PROOF THAT SOME UNPROVABLE ARITHMETIC SENTENCE IS TRUE
HUGLY, P
SAYWARD, C
[J]. DIALECTICA, 1989, 43 (03) : 289 - 292
[3] True, Untrue, Valid, Invalid, Provable, Unprovable
Weber, Zach
[J]. LOGIC AND LOGICAL PHILOSOPHY, 2024,
[4] A true unprovable formula of fuzzy predicate logic
Hájek, P
[J]. LOGIC VERSUS APPROXIMATION: ESSAYS DEDICATED TO MICHAEL M RICHTER ON THE OCCASION OF HIS 65TH BIRTHDAY, 2004, 3075 : 1 - 5
[5] TRUE SENTENCES AND TRUE PROPOSITIONS
ENGLEBRE.G
[J]. MIND, 1972, 81 (323) : 451 - 452
[6] Mathematical logic - On some properties of true propositions and their application.
Herbrand, J
[J]. COMPTES RENDUS HEBDOMADAIRES DES SEANCES DE L ACADEMIE DES SCIENCES, 1929, 188 : 1076 - 1078
[7] On Necessarily True Propositions
José Ruiz Fernández
[J]. Husserl Studies, 2013, 29 : 1 - 12
[8] On Necessarily True Propositions
Ruiz Fernandez, Jose
[J]. HUSSERL STUDIES, 2013, 29 (01) : 1 - 12
[9] Purposefulness and complexity-grappling capability: Some preliminary propositions
Chakrabarti, I
Chakrabarti, SR
[J]. SYNERGY MATTERS: WORKING WITH SYSTEMS IN THE 21ST CENTURY, 1999, : 427 - 432
[10] Peirce on facts and true propositions
Atkins, Richard Kenneth
[J]. BRITISH JOURNAL FOR THE HISTORY OF PHILOSOPHY, 2016, 24 (06) : 1176 - 1192

← 1 2 3 4 5 →