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

Comment on

( #3333=superdoc: print w/ replies, xml ) Need Help??

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. ;-)


In reply to Re2: MOPT-01 - assumptions and spaces by mstone
in thread MOPT-01 - assumptions and spaces by mstone

Title:
Use:  <p> text here (a paragraph) </p>
and:  <code> code here </code>
to format your post; it's "PerlMonks-approved HTML":



  • Posts are HTML formatted. Put <p> </p> tags around your paragraphs. Put <code> </code> tags around your code and data!
  • Read Where should I post X? if you're not absolutely sure you're posting in the right place.
  • Please read these before you post! —
  • Posts may use any of the Perl Monks Approved HTML tags:
    a, abbr, b, big, blockquote, br, caption, center, col, colgroup, dd, del, div, dl, dt, em, font, h1, h2, h3, h4, h5, h6, hr, i, ins, li, ol, p, pre, readmore, small, span, spoiler, strike, strong, sub, sup, table, tbody, td, tfoot, th, thead, tr, tt, u, ul, wbr
  • Outside of code tags, you may need to use entities for some characters:
            For:     Use:
    & &amp;
    < &lt;
    > &gt;
    [ &#91;
    ] &#93;
  • Link using PerlMonks shortcuts! What shortcuts can I use for linking?
  • See Writeup Formatting Tips and other pages linked from there for more info.
  • Log In?
    Username:
    Password:

    What's my password?
    Create A New User
    Chatterbox?
    and the web crawler heard nothing...

    How do I use this? | Other CB clients
    Other Users?
    Others imbibing at the Monastery: (11)
    As of 2014-11-27 10:57 GMT
    Sections?
    Information?
    Find Nodes?
    Leftovers?
      Voting Booth?

      My preferred Perl binaries come from:














      Results (183 votes), past polls