I'm not sure myself.
Uh ... say what?
What is your question?
first you have to prove progress is cauchy.
This is my favourite post ever on this site.
Godels incompleteness theorem seems to say we can keep on doing Mathematics (Finding interesting relationships) for eternity.
Sadly we don't have that long : (
One mathematician believed that all of the interesting questions in mathematics would be answered by the end of the 20'th century. He believed that mathematical progress was already near its end. After he made this statement many new theories were discovered.
To me, as long as the physics of Nature is not completely understood, more mathematical progress is possible.
I dunno. For me, it's goin' good so far.
Is this really true or just a loose extrapolation that somebody has made? I would very much like to see the link!
Just Google or Wiki Godel's Incompleteness Theorem.
yes but these theorems don't really add to knowledge. Its is new theories that reveal new structures and new unities that is the ultimate goal.
The point of Godel's Incompleteness theorem is that it says (oversimplying) that we can never have a truly complete theory of anything, even in principle.
The implication is that there will always be more to develop and discover.
I checked out the wiki article on Gödel 1 & 2... and no I didn't see any consequences for the limitations (or lack thereof) of the extent of mathematics. Where can I find it? Is it in the wikipedia article?
Not arguing here, I just want to find it :)
Well ... there was certainly a limit to MY mathematical progress! And if each human has a limit to their mathematical progress ... and if the number of humans who ever lived or ever will live is bounded ... then we can put an upper bound on mathematical progress.
But I doubt that we've reached it yet.
Why would 'the number of humans who will ever live' be bounded? Do you know something we don't?
I clearly said IF the universe is bounded ... THEN such and so. Not sure why an IF/THEN would be misconstrued as asserting the antecedent in this esteemed group :-)
If the future history of the universe or the future history of humanity is bounded, then the number of humans would be bounded. But of course there's no way to know whether that will turn out to be the case or not.
The lifespan of the earth is bounded by the lifespan of the sun, which is finite. To establish an upper bound (not necessarily the LUB) on "human quantity", we can take...
[tex]P = ce^t[/tex]
...where P is the number of humans currently alive, c is some constant, t is a unit of time denoting the years since the origin of the human species (t = 0). We assume that population grows exponentially (reasonable in general, though this probably overestimates population increase). To find an upper bound on the number of humans who will ever live on Earth, take...
[tex]max(h) = \int^d_0 ce^t\,dt[/tex]
...where d is the date of the complete obliteration of everything on Earth forever due to supernova and subsequent death of the Sun. It's entirely possible that humans will colonize other worlds before this time, but as t tends towards infinity, the probability of a species destroying cataclysm occurring approaches one. In probabilistic terminology, human population size is almost surely bounded.
That is funny because there is an entire topic http://en.wikipedia.org/wiki/G%C3%B6del's_incompleteness_theorems#Discussion_and_implications.
The theorems' implications are still contested, read some of Gregory Chaitin
We can keep playing with set theory and n'th order logic, so mathematicians are never going to be out of a job! (the same cannot be said of those that work on wallstreet :tongue2:)
I leave you with my favourite quote from Godel: "Either mathematics is too big for the human mind or the human mind is more than a machine"
Separate names with a comma.