File:Proofstrength.png
Proofstrength.png (575 × 595 pixels, file size: 60 KB, MIME type: image/png)
Summary
[edit]| 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
[edit] | I, the copyright holder of this work, hereby release it into the public domain. This applies worldwide. If this is not legally possible: |
 | This file is a candidate to be copied to Wikimedia Commons.
Any user may perform this transfer; refer to Wikipedia:Moving files to Commons for details. If this file has problems with attribution, copyright, or is otherwise ineligible for Commons, then remove this tag and DO NOT transfer it; repeat violators may be blocked from editing. Other Instructions
| ||
| |||
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:
