Essay Abstract
Built upon formal mathematical systems, physical models are subject to the limitations of those systems. Gödel's Incompleteness theorems state these formal systems are incomplete, and therefore so are the physical models built upon them. Expanding the axioms of the formal mathematical system can resolve the incompleteness of the original system, even though the expanded system remains incomplete. Given these two levels, of physical models built upon mathematical tools, we should consider whether we have adequate mathematical tools to describe physical reality and whether we have an accurate model of reality. Can we find aspects of reality that expand our models and are there expanded mathematical tools for us to build new models upon?
Author Bio
Trained as a mathematician, Donald Palmer has followed the world of computers in his career. He received a BA in Mathematics from Earlham College, then a Masters in Mathematics from Villanova University. He ran his own computer services and software development company for 11 years, before entering the bio-pharmaceutical world, where he now works designing software. He has worked on numeric representational concepts and written a short book on modeling of scale in the physical world.