On 4/20/13, John Carlson <[email protected]> wrote: > How do these handle infinite sets? >
:D You have to handle infinity the same way a computer does: make up a special symbol and let it use different rules. You make up a name and describe the behaviour of the thing named by logical statements that can be encoded in the notation. Several people have experimented with number notation systems inspired by or layered on top of the boundary/name-based notation, but the basic system is strictly binary logical, not numerical. I'm playing with expressions that denote circuits that compute mathematical functions, which is the obvious "natural" way to express numbers and "do math" with the notation, and of course anything a computer can be made to do (floating point, NaN, Infinity, etc) can be expressed in the notation. I'm hardly a sophisticated source for this stuff- I'm in way over my head -but there is a lot of rich and detailed information at the websites mentioned. Warm regards, ~Simon >> >> C. S. Pierce, Existential Graphs, circa 1890 >> >> Spencer-Brown, "Laws of Form" >> >> Bricken, http://iconicmath.com/ >> >> Shroup, http://www.lawsofform.org/ >> >> Burnett-Stuart, http://www.markability.net/ >> "The history of mankind for the last four centuries is rather like that of an imprisoned sleeper, stirring clumsily and uneasily while the prison that restrains and shelters him catches fire, not waking but incorporating the crackling and warmth of the fire with ancient and incongruous dreams, than like that of a man consciously awake to danger and opportunity." --H. P. Wells, "A Short History of the World" _______________________________________________ fonc mailing list [email protected] http://vpri.org/mailman/listinfo/fonc
