Timeline for Herbrand's consistency proof
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 5 at 13:57 | history | edited | solatia | CC BY-SA 4.0 |
Minor fixes on emphasis and grammar
|
| Oct 5 at 13:50 | comment | added | solatia | @provocateur Ah yep it's from 1970. I have no idea where I got 2014 from! | |
| Oct 5 at 13:48 | history | edited | solatia | CC BY-SA 4.0 |
Corrected date of Dreben and Denton paper
|
| Oct 5 at 12:59 | comment | added | provocateur | The Dreben and Denton paper is from 1970, not 2014, right? | |
| S Oct 5 at 10:13 | history | suggested | Naïm Favier | CC BY-SA 4.0 |
fixed french titles
|
| Oct 5 at 8:26 | review | Suggested edits | |||
| S Oct 5 at 10:13 | |||||
| S Oct 5 at 2:50 | review | First questions | |||
| Oct 5 at 7:05 | |||||
| S Oct 5 at 2:50 | history | asked | solatia | CC BY-SA 4.0 |