Beefy Boxes and Bandwidth Generously Provided by pair Networks
Keep It Simple, Stupid
 
PerlMonks  

Re2: MOPT-01 - assumptions and spaces

by mstone (Deacon)
on Dec 16, 2002 at 22:00 UTC ( [id://220376]=note: print w/replies, xml ) Need Help??


in reply to Re: MOPT-01 - assumptions and spaces
in thread MOPT-01 - assumptions and spaces

Or is there some sort of proof that all spaces can be categorized into one of seven types of information spaces?

Hardly.. we haven't even touched things like modular spaces, yet.

Don't put too much weight on anything I say as a complete and accurate statement of mathematical truth. I'm chopping things up like mad, to keep from overloading everyday humans with the kinds of details necessary to be mathematical rigorous. At the same time, I'm trying not to stray too far from what a real mathemetician would be willing to accept in casual conversation.

Languages like Macsyma handle irrational numbers nicely.

Hmm.. interesting.

Personally, I'd call that an algebraic package rather than a numerical package per se, but that's really not a point I'd want to argue in any detail. You're right that the formula in question does represent a whole set of irrationals, which just goes to show that you can change the ground rules completely by changing your basic assumptions. ;-)

Replies are listed 'Best First'.
Re: Re2: MOPT-01 - assumptions and spaces
by toma (Vicar) on Dec 18, 2002 at 05:13 UTC
    Don't put too much weight on anything I say as a complete and accurate statement of mathematical truth.

    I think it would be better to at least attempt to make sure that your statements are correct, even if they finesse rigor or completeness. If there are statements that are just flat wrong, it would be better to fix them somehow. Otherwise, the meditation is in danger of being only psychobabble, and unworthy of being corrected by those here who know better.

    It should work perfectly the first time! - toma

Log In?
Username:
Password:

What's my password?
Create A New User
Domain Nodelet?
Node Status?
node history
Node Type: note [id://220376]
help
Chatterbox?
and the web crawler heard nothing...

How do I use this?Last hourOther CB clients
Other Users?
Others perusing the Monastery: (4)
As of 2024-03-28 08:40 GMT
Sections?
Information?
Find Nodes?
Leftovers?
    Voting Booth?

    No recent polls found