Skip to main content
8 events
when toggle format what by license comment
Jan 16, 2020 at 4:05 comment added Martin Sleziak ...link to the corresponding pdf file.
Jan 16, 2020 at 4:04 comment added Martin Sleziak I see that this answer was recently edited to update the dead links. Just in case, here are also links to Wayback Machine: Invariant Maximal Cliques and Incompleteness, Boolean Relation Theory and Incompleteness and ...
Jan 16, 2020 at 1:21 history edited Timothy Chow CC BY-SA 4.0
Updated dead hyperlinks
Jan 16, 2020 at 1:17 comment added Timothy Chow Friedman continues to come up with fresh examples, although the pace at which he announces new results far outstrips the pace at which he releases proofs of his results. As of this writing, his latest announcement is this post on the Foundations of Mathematics mailing list.
May 4, 2013 at 14:59 vote accept Oksana Gimmel
May 4, 2013 at 0:52 comment added Timothy Chow Regarding an "explanation," see Friedman's own succinct summary of the general methodology for coming up with these statements, which I reproduced here: mathoverflow.net/questions/27864/…
May 4, 2013 at 0:46 comment added Timothy Chow My favorite example of Friedman's is one that I mentioned in my answer to a related MO question mathoverflow.net/questions/1924/… . It appears at the end of Martin Davis's Notices article: ams.org/notices/200604/fea-davis.pdf
May 3, 2013 at 21:49 history answered aws CC BY-SA 3.0