Note relative
β Scribed by J. L. A. Le Cointe
- Publisher
- Springer
- Year
- 1863
- Tongue
- English
- Weight
- 229 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0373-3114
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Auzeige eiuiger Vci-besserungen der Uranus -Tafelii dcs Hewn Bozcvccrd. D i e Epoche fiir 4800 (Pariser niitternacht) ist i n der Einlcitung = xyzo 78' 29",1 angegebeq , die Tafeln &id aher iiach einer 2" hleineren = 192' 79' 2?",I berechnet. Die Sideral-Bewegung in eineru Julianischen Jahre
## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~Ξ²~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~Ξ±~ for the same theory is more efficient than __A__~Ξ²~ is II~2~βhard. Several