comment on

Excellent post, I would like to see more of this type of analysis here.

I'll try to keep in a positive spirit and offer a few suggestions.

There are seven basic kinds of information spaces

Lest anyone get bored with having only seven information spaces, there are plenty more to explore. For example, there is Quaternions and Rotation Sequences: A Primer with Applications to Orbits, Aerospace and Virtual Reality which describes a four dimensional complex space.

I enjoyed reading Flatterland for an entertaining tour of many geometric spaces.

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

Technically, computers can't handle irrational spaces at all.

Languages like Macsyma handle irrational numbers nicely. The MACSYMA program:

integrate(sin(x)*exp(x^2),x)
[download]

returns

 
                1/4                2 %I x + 1        2 %I x - 1
              %E    SQRT(%PI) (ERF(----------) - ERF(----------))
                                       2                 2
              ---------------------------------------------------
                                       4
[download]

which seems like a reasonable way to handle the irrationals.

Update: I forgot about numeric mode in MACSYMA, it does both numeric and algebraic. As far as algebraic versus numeric, it's all just LISP as far as I know, which does both relatively efficiently.

integrate(sin(x)*exp(x^2),x,0,1)
[download]

       1/4                2 %I + 1        2 %I - 1       1/4          
+     1
     %E    SQRT(%PI) (ERF(--------) - ERF(--------))   %E    SQRT(%PI)
+ ERF(-)
                             2               2                        
+     2
 ----------------------------------------------- - -------------------
+---
                            4                                    2
[download]

End of update

It would be useful also to name a few modules that work in these different spaces, especially the builtin modules that fill the gaps where there are no appropriate keywords. For example, date operations are available in POSIX support the interval space, and complex space is supported in Math::Complex.

Thanks for the post! It has inspired me to go try out Math::Calc::Units.

It should work perfectly the first time! - toma

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

Are you posting in the right place? Check out Where do I post X? to know for sure.
Posts may use any of the Perl Monks Approved HTML tags. Currently these include the following:
<code> <a> <b> <big> <blockquote> <br /> <dd> <dl> <dt> <em> <font> <h1> <h2> <h3> <h4> <h5> <h6> <hr /> <i> <li> <nbsp> <ol> <p> <small> <strike> <strong> <sub> <sup> <table> <td> <th> <tr> <tt> <u> <ul>
Snippets of code should be wrapped in <code> tags not <pre> tags. In fact, <pre> tags should generally be avoided. If they must be used, extreme care should be taken to ensure that their contents do not have long lines (<70 chars), in order to prevent horizontal scrolling (and possible janitor intervention).
Want more info? How to link or How to display code and escape characters are good places to start.


Keep It Simple, Stupid
	PerlMonks