Re: math development curiosity question


Robert Low wrote:
david petry wrote:
Robert Low wrote:

david petry wrote:

So what I propose is the we (mathematicians) first develop a theory of
finite precision real numbers, which can be represented as rationals
plus a measure of uncertainty. Then a theory of differential equations
can be developed using those finite precision reals,
And we could give it a cool name, like, say, interval analysis.
Except that it's distinctly different from interval analysis.

It is? So it exists already? Don't keep it to yourself, share
it with us.

The notion of uncertainty is a probabilistic notion.


Or if it doesn't, develop it and prove what you say. Everybody
else seems to think that mathematics is trundling along quite
acceptably, so it would be nice to see this better way in action.

This was something I was interested in when I was in graduate school
quite a few years ago. I believed that I could develop a foundation
for mathematics which would make the transfer of our mathematical
knowledge to a computer (i.e. an artificial intelligence) especially
easy. I encountered a tad bit of condescension and hostility to my
ideas, so I quit.

And by the way, not *everybody* else thinks everything is just fine in
the foundations of mathematics.

.

Relevant Pages

  • Re: Cantorian pseudomathematics
    ... consideration the uncertainty associated with the measurement. ... finite precision reals as the uncertainty goes to zero. ... The claim I made that started this thread is that mathematics may be ...
    (sci.math)
  • Re: math development curiosity question
    ... can be developed using those finite precision reals, ... theory can be recovered by considering the limit as that uncertainty ... For example, "rationals plus ... mathematics of real numbers is much simpler. ...
    (sci.math)
  • Re: math development curiosity question
    ... plus a measure of uncertainty. ... Then a theory of differential equations ... can be developed using those finite precision reals, ... And we could give it a cool name, like, say, interval analysis. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... consideration the uncertainty associated with the measurement. ... finite precision reals as the uncertainty goes to zero. ... error distribution or its exact size are equally irrelevant. ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... consideration the uncertainty associated with the measurement. ... finite precision reals as the uncertainty goes to zero. ... it makes sense to build up the symbolic strings in the language ...
    (sci.math)
Quantcast