View Single Post
Old
  (#2 (permalink))
Mr. Nobody
2nd degree Black Belt
Mr. Nobody has a spectacular aura about
 
Status: Offline
Posts: 292
Thanks Given: 1
Thanked 19x in 18 Posts
Join Date: Jun 2005
Rep Power: 16
   
08-27-2005, 02:08 PM

May I nickname you M&M for Matter & Motion, j/k....
Quote:
mathematical terms, not terms of real physical existence
Your model seems to alude to the idea of Mathematical Formalism, mathematics as a human invention to describe nature.
Mathematic Realism claims that mathematics is descriptive of abstract entities, of numbers and sets, that exist separately from our attempt to understand them through our mathematical systems
Goedel's second incompleteness theorem, which follows pretty straightforwardly from the first, proves that one of the things that you can't prove in a formal system of arithmetic is the consistency of that very system. So while you're working in a system you can't prove within that system that it's consistent. And of course an inconsistent system is worthless because you can prove anything in an inconsistent system. Goedel's theorems certainly seem to support MR
  
Reply With Quote