Changes

Jump to navigation Jump to search
111 bytes added ,  01:48, September 15, 2009
no edit summary
Line 8: Line 8:     
::: Looks great! I do wonder about why Zeno's paradox is listed as undecidable... I think the matter of infinite series is now fairly well understood.  I'd be willing to believe that something related is undecidable, but there must be a precise, logical formulation of exactly the statement of the paradox: "how can infinitely many events string together into a single event?" is not something whose logical meaning is clear to me.  I'm removing it for now, but if I'm mistaken, please add back! --[[User:MarkGall|MarkGall]] 21:02, 14 September 2009 (EDT)
 
::: Looks great! I do wonder about why Zeno's paradox is listed as undecidable... I think the matter of infinite series is now fairly well understood.  I'd be willing to believe that something related is undecidable, but there must be a precise, logical formulation of exactly the statement of the paradox: "how can infinitely many events string together into a single event?" is not something whose logical meaning is clear to me.  I'm removing it for now, but if I'm mistaken, please add back! --[[User:MarkGall|MarkGall]] 21:02, 14 September 2009 (EDT)
 +
 +
:::: Good call. The Church-Turing thesis also doesn't belong there (its not even a mathematical statement...)
23

edits

Navigation menu