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

 Messages: [ Previous | Next ]
 Zaljohar@gmail.com Posts: 2,665 Registered: 6/29/07
Re: Then answer to Frege's two objections to formalism.
Posted: Apr 5, 2013 9:47 AM

On Apr 5, 2:25 pm, Zuhair <zaljo...@gmail.com> 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
real
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.

Zuhair