Timeline for First use of corner quotes for Gödel numbers
Current License: CC BY-SA 4.0
24 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 10, 2023 at 17:24 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
deleted 1 character in body
|
| Sep 28, 2022 at 0:20 | vote | accept | Frode Alfson Bjørdal | ||
| Sep 27, 2022 at 18:49 | answer | added | user103227 | timeline score: 4 | |
| Sep 23, 2022 at 14:17 | history | edited | user44143 | CC BY-SA 4.0 |
added question mark, italicized book titles, changed one tense, linked to online source
|
| Sep 23, 2022 at 14:09 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
Not found in Davis' The Undecidable or the books by Kleene or Moztowski.
|
| Sep 23, 2022 at 14:06 | comment | added | Frode Alfson Bjørdal | Thanks for the re-opening. I edited in some more information. | |
| Sep 23, 2022 at 14:05 | comment | added | Frode Alfson Bjørdal | @CarloBeenakker Yes, and neither answered there. | |
| Sep 23, 2022 at 5:59 | comment | added | Carlo Beenakker | also asked at hsm.stackexchange.com/q/14817/1697 | |
| Sep 23, 2022 at 4:05 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
added 149 characters in body
|
| Sep 22, 2022 at 9:09 | comment | added | user57888 | I don't have a precise reference, but I am sure some people would call them "Quine corners". I think that they appear in the writings of Quine significantly before Shoenfield. | |
| Sep 22, 2022 at 6:36 | comment | added | Joel David Hamkins | I voted to reopen, since I find the question interesting on this site. (The fact that a question would also fit on another site is not a reason to close on any one of them, since many questions fit on several sites.) | |
| Sep 22, 2022 at 6:34 | history | reopened |
Dattier Alex M. András Bátkai Frode Alfson Bjørdal Joel David Hamkins |
||
| Sep 22, 2022 at 6:33 | history | edited | Martin Sleziak | CC BY-SA 4.0 |
a minor typo
|
| Sep 21, 2022 at 13:07 | history | edited | Frode Alfson Bjørdal | CC BY-SA 4.0 |
added 6 characters in body; edited tags
|
| Sep 21, 2022 at 13:07 | comment | added | Frode Alfson Bjørdal | @Wojowu It is not the same question, as there is more information. There is a [reference]-tag, here, so I cannot see that the question is off-topic. Also, I see that there is a [notation]-tag, which I now edited in. | |
| Sep 20, 2022 at 21:47 | review | Reopen votes | |||
| Sep 22, 2022 at 6:36 | |||||
| Sep 20, 2022 at 21:02 | history | closed |
LSpice Andrej Bauer Qiaochu Yuan Wojowu Sam Hopkins |
Not suitable for this site | |
| Sep 20, 2022 at 20:39 | comment | added | Nik Weaver | Probably derives from Quine's quasi-quotation marks. | |
| Sep 20, 2022 at 20:33 | review | Close votes | |||
| Sep 20, 2022 at 21:04 | |||||
| Sep 20, 2022 at 20:15 | history | edited | Andrej Bauer | CC BY-SA 4.0 |
edited body
|
| Sep 20, 2022 at 20:12 | comment | added | LSpice | I’m voting to close this question because it would be better for HSMSE. | |
| Sep 20, 2022 at 19:58 | comment | added | Sam Sanders | The "history of science and math" stackexchange is perhaps the place to ask such questions? | |
| Sep 20, 2022 at 19:54 | comment | added | Wojowu | The question has already been asked, and then deleted, last month: mathoverflow.net/questions/427226/… | |
| Sep 20, 2022 at 18:38 | history | asked | Frode Alfson Bjørdal | CC BY-SA 4.0 |