Timeline for How did the Baker-Gill-Solovay paper come to be?
Current License: CC BY-SA 4.0
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 1 at 19:30 | comment | added | user6767509 | There's also a citation for something Gill wrote, which in google scholar appears as "Axiomatic Independence of the Question NP&equil; P?" This appears in Kozen's paper on subrecursive indexes, for example | |
| Dec 8, 2022 at 13:15 | answer | added | Andrii | timeline score: 4 | |
| S Aug 7, 2022 at 20:21 | history | bounty ended | Noah Schweber | ||
| S Aug 7, 2022 at 20:21 | history | notice removed | Noah Schweber | ||
| Aug 5, 2022 at 1:56 | comment | added | user44143 | Of the three authors, Gill returned to this topic the most. He also made a joke about P=NP in 1973, and this is on his CV! cap.stanford.edu/profiles/… | |
| S Jul 31, 2022 at 18:24 | history | bounty started | Noah Schweber | ||
| S Jul 31, 2022 at 18:24 | history | notice added | Noah Schweber | Draw attention | |
| Aug 21, 2020 at 3:13 | comment | added | none | @BobSolovay posts to MO sometimes. Maybe he can respond to this. | |
| Aug 20, 2020 at 11:17 | history | became hot network question | |||
| Aug 20, 2020 at 7:04 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
catpialize the title
|
| Aug 20, 2020 at 7:02 | answer | added | Bjørn Kjos-Hanssen | timeline score: 13 | |
| Aug 20, 2020 at 3:06 | history | asked | user44143 | CC BY-SA 4.0 |