The Math Forum

Search All of the Math Forum:

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

Math Forum » Discussions » sci.math.* » sci.math

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

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]

Posts: 1,968
Registered: 12/4/12
Re: Matheology § 233
Posted: Mar 27, 2013 10:12 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

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

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."


Not that WM could understand a word of the above.

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© The Math Forum at NCTM 1994-2018. All Rights Reserved.