Timeline for Tarski's Theorem and Gödel's Second Incompleteness Theorem
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 8, 2016 at 15:24 | answer | added | Saeed Salehi | timeline score: 1 | |
| Nov 17, 2012 at 13:02 | history | edited | user9072 | CC BY-SA 3.0 |
umlauts
|
| Nov 17, 2012 at 5:08 | answer | added | Sridhar Ramesh | timeline score: 6 | |
| Nov 17, 2012 at 4:12 | history | asked | invalidity | CC BY-SA 3.0 |