Timeline for Complete mathematics
Current License: CC BY-SA 2.5
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 7, 2011 at 4:23 | answer | added | Francis Adams | timeline score: 1 | |
| Jun 6, 2011 at 23:09 | answer | added | Gerhard Paseman | timeline score: 0 | |
| Jun 6, 2011 at 22:17 | answer | added | Gyorgy Sereny | timeline score: 2 | |
| Nov 24, 2010 at 3:05 | answer | added | anon | timeline score: 8 | |
| Jul 11, 2010 at 6:31 | vote | accept | Bubba88 | ||
| Jul 10, 2010 at 12:04 | comment | added | Carl Mummert | @Mikola: Propositional logic (with no non-logical axioms) is not a complete theory. For example, it neither proves nor disproves the propositional sentence "A". | |
| Jul 10, 2010 at 12:02 | answer | added | Carl Mummert | timeline score: 28 | |
| Jul 10, 2010 at 11:50 | history | edited | Charles Matthews | CC BY-SA 2.5 |
pctn
|
| Jul 10, 2010 at 6:35 | vote | accept | Bubba88 | ||
| Jul 11, 2010 at 6:31 | |||||
| Jul 10, 2010 at 6:29 | answer | added | user5810 | timeline score: 20 | |
| Jul 10, 2010 at 6:04 | history | edited | Yemon Choi |
added lo.logic tag
|
|
| Jul 10, 2010 at 5:59 | comment | added | Bubba88 | That means no natural numbers? | |
| Jul 10, 2010 at 5:54 | comment | added | Mikola | Propositional logic. | |
| Jul 10, 2010 at 5:38 | history | asked | Bubba88 | CC BY-SA 2.5 |