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: Then answer to Frege's two objections to formalism.
Replies: 17   Last Post: Apr 9, 2013 7:56 AM

Advanced Search

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

Posts: 2,665
Registered: 6/29/07
Re: Then answer to Frege's two objections to formalism.
Posted: Apr 5, 2013 9:47 AM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

On Apr 5, 2:25 pm, Zuhair <> wrote:
> I just want to argue that
> "Mathematics is analytic processing fictional or real"

I wanted just to add an abbreviation that is "virtual reality" this
can signify what I described as a fiction that is in proximity with
the real world. So interesting mathematics would be nothing but the
body of Analytic facts about a logically driven (rule following)
virtual reality (OR actual reality! itself)

Now those facts would be significant if that logically driven virtual
reality world is consistent or near consistent. An what I mean by near
consistent is that if the physical world proves to be way beyond a
finite limit on the amount of elementary material in it and if all of
what occurs in the physical world also is way below some finite limit,
lets call this limit L, then any logically driven theory T having the
shortest proof of its inconsistency built of more than L many
characters, then T is said to be near consistent and it qualifies as
virtual reality, and it would be prone to have application in the
world, i.e. it would be likely that concrete objects in the real world
would have properties and relations that proximate those of that
virtual world. So Analytics about that virtual world would be
interesting in the sense of possible applicability. Of course if we
have a strong proof of the consistency of T this would be more than
enough to qualify it as virtual reality, and thus Analytics about it
would be interesting math.


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.