Timeline for Is there an recursively axiomatized system with infinitely many proofs for some propositions or a proposition [closed]
Current License: CC BY-SA 3.0
17 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 25, 2013 at 16:06 | history | closed |
Andreas Blass Andrés E. Caicedo Andrej Bauer user6976 Andy Putman |
not a real question | |
| Jun 25, 2013 at 3:02 | review | Close votes | |||
| Jun 25, 2013 at 16:06 | |||||
| Jun 23, 2013 at 11:54 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
corrected spelling
|
| Jun 23, 2013 at 11:33 | history | edited | user9072 |
edited tags
|
|
| Jun 23, 2013 at 3:59 | answer | added | none | timeline score: 3 | |
| Jun 23, 2013 at 2:06 | vote | accept | XL _At_Here_There | ||
| Jun 23, 2013 at 2:05 | vote | accept | XL _At_Here_There | ||
| Jun 23, 2013 at 2:06 | |||||
| Jun 23, 2013 at 2:04 | vote | accept | XL _At_Here_There | ||
| Jun 23, 2013 at 2:05 | |||||
| Jun 23, 2013 at 1:59 | answer | added | Noah Schweber | timeline score: 7 | |
| Jun 23, 2013 at 1:24 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
corrected spelling
|
| Jun 23, 2013 at 1:18 | comment | added | XL _At_Here_There | Actually,I do not like the reduced proof being defined in such way,but it is very easy to define it in such a way | |
| Jun 23, 2013 at 1:14 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
fixed grammar
|
| Jun 23, 2013 at 1:00 | comment | added | XL _At_Here_There | @Qiaochu,Sorry,what I want to know is not such a trivial argument,please see the edited post and the following answer and comments. | |
| Jun 23, 2013 at 0:55 | history | edited | XL _At_Here_There | CC BY-SA 3.0 |
improved formatting
|
| Jun 23, 2013 at 0:33 | comment | added | Qiaochu Yuan | Yes, but for trivial reasons. At any point in a proof you can insert, say, $p \to p \text{ and } q$ and then insert $p \text{ and} q \to p$. | |
| Jun 23, 2013 at 0:33 | answer | added | Andreas Blass | timeline score: 6 | |
| Jun 23, 2013 at 0:25 | history | asked | XL _At_Here_There | CC BY-SA 3.0 |