File:Proofstrength.png
No higher resolution available.
Proofstrength.png (575 × 595 pixels, file size: 60 KB, MIME type: image/png)
Summary
| Description |
Describes the hierarchy of different proof systems, when there's an arrow A->B then there is a translation from every proof in system A to system B with at most a polynomial increase in length, a dotted arrow means we don't know whether there is a translation or not. Lastly if two systems are written in the same bubble then it means that A<->B in the same sense as above. |
|---|---|
| Source | |
| Date |
08:51, 18 June 2010 (UTC) |
| Author | |
| Permission (Reusing this file) |
See below.
|
Licensing
File history
Click on a date/time to view the file as it appeared at that time.
| Date/Time | Thumbnail | Dimensions | User | Comment | |
|---|---|---|---|---|---|
| current | 14:50, 23 November 2010 | | 575 × 595 (60 KB) | EmilJ (talk | contribs) | Remove incorrectly placed extended resolution |
| 08:57, 18 June 2010 |  | 575 × 595 (64 KB) | Bynne (talk | contribs) | Nicer edges | |
| 08:51, 18 June 2010 |  | 575 × 595 (9 KB) | Bynne (talk | contribs) | {{Information |Description = Describes the hierarchy of different proof systems, when there's an arrow A->B then there is a translation from every proof in system A to system B with at most a polynomial increase in length, a dotted arrow means we don' |
You cannot overwrite this file.
File usage
The following 3 pages use this file:
