Math Forum / Mathematics / Mathematical Logic / December 2008

PROPOSAL
"Representation is a necessary condition of reference." That is, if
there is no means of representation, then no object can be referenced or
theoretically described. The symbol "infinity", or infinities, neatly

I have indicated in previous posts that digits and symbols, as numbers,
are not necessarily odd or even, finite or infinite, discrete or
non-discrete, ordered or not ordered. Whether such descriptions are of
properties which arise as a consequence of digits being expressed in

Hi, here is a quote from this website
http://www.earlham.edu/~peters/courses/logsys/nonstbib.htm#combinatory

Logics that replace variables with functions in order to clarify

PROPOSAL
It is inconceivable that Godel could have created a method of proving
consistency (or inconsistency), given that the only existential options
open to us for presenting a consistency are either that we stumble upon

I am glad I interjected this Calculus preview before the chapter
itself because it clarifies the meaning of
the Second Decimal Point on New Reals which thence replaces the limit
in Calculus.

I was playing around today with drawing functions on the sphere
surface and trumpet hyperbolic surface.
That was alright because I have a coordinate system for both elliptic
and hyperbolic geometry. So I

Does anyone know about any software which I can use to play movies on
messenger?
I will really appreciate if someone could help me out here.
Thank you and advance

Alright, I had a very good detour there with chapter 2 in ironing out
the correct models of NonEuclidean
Geometry, something I failed to do in the 1st edition but have now
found success in this 2nd edition.

A set x is said to be hereditarily finite if x is finite and every
member of the transitive closure of x is finite.
Now is ZFC, is the set of all hereditarily finite sets countable or
not?

As everyone knows, ZFC is reflexive, that is, proves the consistency
of each of its finite subtheories. More is true, however: ZFC proves
not only the consistency of each of its subtheories, but also their
soundness, in the form of the uniform reflection schema. In more

How often do you find you're in an uneven negotiation where the power
seems to be with your adversary? What do you do? How do you develop
the discipline to discover what you don't know?
Mike Settle. michaelsettle@gmail.com www.startwithno.com. I know what

I wrote this for alt.philosophy, but it is a chance to see how logic,
formal or ordinary language, might help us out in questions about the
world. No excuses offered.
----------------

PROPOSAL
Against standard theory, I argue that the "Dedekind cut" describes a
gap. That is, the Dedekind cut is unplaced: it does not fall on a line.
To restore the concept of the Dedekind cut it would be better to

In the beginning, there was nothing, not even a beginning.
Yet the beginning begat a begun, the plague of existence.
The Big Bug theory resolves existence as a bug in nothing.
Riddle of the day.  Is the Big Bug a locus?

A natural number means an element of the set {1, 2, 3, ...}, with or
without zero.
So is "the set of natural numbers" the same as "the natural numbers"?
DISCUSSION