Timeline for Nontrivial circular arguments?
Current License: CC BY-SA 2.5
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 11, 2020 at 23:12 | comment | added | LSpice | Here's another attempt to link the Löb's theorem Wiki article: en.wikipedia.org/wiki/Löb%27s_theorem . | |
| May 9, 2012 at 23:55 | vote | accept | David Feldman | ||
| Jan 27, 2011 at 21:16 | comment | added | Andrés E. Caicedo | yudkowsky.net/rational/lobs-theorem | |
| Jan 27, 2011 at 19:43 | comment | added | Joel David Hamkins | David, that different-font S was a typo. Here is a link to Loeb's theorem on Wikipedia: en.wikipedia.org/wiki/L%C3%B6b's_theorem (watch out for the apostraphe, which somehow causes a problem). And thank you, Adam, I'm glad you like it! | |
| Jan 27, 2011 at 19:33 | comment | added | Adam Hughes | This is a really nice answer Joel. | |
| Jan 27, 2011 at 19:33 | comment | added | David Feldman | Thanks! Löb's theorem is new to me. Did you you mean to vary the typeface of "S" that once? | |
| Jan 27, 2011 at 19:15 | history | edited | Joel David Hamkins | CC BY-SA 2.5 |
edited body; added 2 characters in body; added 1 characters in body; deleted 2 characters in body
|
| Jan 27, 2011 at 19:04 | history | answered | Joel David Hamkins | CC BY-SA 2.5 |