SHORT THEOREMS WITH LONG PROOFS

被引：5

|

作者：

SPENCER, J

机构：

来源：

AMERICAN MATHEMATICAL MONTHLY | 1983年 / 90卷 / 06期

关键词：

D O I：

10.2307/2975571

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：365 / 366

页数：2

相关论文

共 50 条

[31] EFFECTIVE SPEED-UP AND LONG PROOFS OF TRIVIAL THEOREMS IN FORMAL THEORIES
HARTMANIS, J
REVUE FRANCAISE D AUTOMATIQUE INFORMATIQUE RECHERCHE OPERATIONNELLE, 1976, 10 (03): : 29 - 38
[32] Irrational proofs for three theorems of Stanley
Beck, Matthias
Sottile, Frank
EUROPEAN JOURNAL OF COMBINATORICS, 2007, 28 (01) : 403 - 409
[33] SOCIAL PROCESSES AND PROOFS OF THEOREMS AND PROGRAMS
DEMILLO, RA
LIPTON, RJ
PERLIS, AJ
COMMUNICATIONS OF THE ACM, 1979, 22 (05) : 271 - 280
[34] Brief proofs of Arrovian impossibility theorems
Cato, Susumu
SOCIAL CHOICE AND WELFARE, 2010, 35 (02) : 267 - 284
[35] Bijective Proofs of Proper Coloring Theorems
Sagan, Bruce
Vatter, Vincent
AMERICAN MATHEMATICAL MONTHLY, 2021, 128 (06): : 483 - 499
[36] Brief proofs of Arrovian impossibility theorems
Susumu Cato
Social Choice and Welfare, 2010, 35 : 267 - 284
[37] Simple proofs of Olevskii type theorems
Veits, BE
MATHEMATICAL NOTES, 1996, 59 (3-4) : 241 - 246
[38] Statistical proofs of some matrix theorems
Rao, C. Radhakrishna
INTERNATIONAL STATISTICAL REVIEW, 2006, 74 (02) : 169 - 185
[39] New proofs for Levine's theorems
Sato, Iwao
LINEAR ALGEBRA AND ITS APPLICATIONS, 2011, 435 (05) : 943 - 952
[40] Simple proofs to three parity theorems
Caro, Y
ARS COMBINATORIA, 1996, 42 : 175 - 180

← 1 2 3 4 5 →