Search All of the Math Forum:

Views expressed in these public forums are not endorsed by NCTM or The Math Forum.

Notice: We are no longer accepting new posts, but the forums will continue to be readable.

Topic: Matheology � 233
Replies: 37   Last Post: May 12, 2014 10:24 AM

 Messages: [ Previous | Next ]
 fom Posts: 1,968 Registered: 12/4/12
Re: Matheology § 233
Posted: Mar 27, 2013 10:12 PM

On 3/27/2013 4:56 PM, WM wrote:
>
> So the structure of the tree is something very special. Uncountability
> seems to be a matter of how numbers are written.
>

No. Uncountability is a logical delineation.

The justification for making that delineation is
an argument scheme that applies to syntactic representations
intended to prove a specific claim.

The fact that syntactic representations cannot faithfully
represent the claim leads to defining systems in which
the substance of the claim may be subjected to mathematical
analysis.

Thus one obtains a definition of countability.

Thus one obtains the logical form of genus and species.

Genus -
number system

Species -
countable number system

Coordinate species -
uncountable number system

"For falsity and truth involve combination and division."

Aristotle

Not that WM could understand a word of the above.

Date Subject Author
3/27/13 Virgil
3/28/13 mueckenh@rz.fh-augsburg.de
3/28/13 fom
3/28/13 fom
3/28/13 fom
3/28/13 rt servo
3/28/13 fom
3/28/13 fom
3/28/13 Virgil
3/28/13 fom
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 fom
3/30/13 ross.finlayson@gmail.com
3/30/13 Virgil
3/30/13 Virgil
3/30/13 mueckenh@rz.fh-augsburg.de
3/30/13 Virgil
3/30/13 ross.finlayson@gmail.com
3/31/13 Virgil
3/30/13 fom
5/12/14 ross.finlayson@gmail.com
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
3/31/13 mueckenh@rz.fh-augsburg.de
3/31/13 fom
3/31/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 fom
4/1/13 Virgil
4/1/13 mueckenh@rz.fh-augsburg.de
4/1/13 Virgil
4/2/13 mueckenh@rz.fh-augsburg.de
4/2/13 Virgil
3/27/13 fom