
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

