<body><script type="text/javascript"> function setAttributeOnload(object, attribute, val) { if(window.addEventListener) { window.addEventListener('load', function(){ object[attribute] = val; }, false); } else { window.attachEvent('onload', function(){ object[attribute] = val; }); } } </script> <div id="navbar-iframe-container"></div> <script type="text/javascript" src="https://apis.google.com/js/platform.js"></script> <script type="text/javascript"> gapi.load("gapi.iframes:gapi.iframes.style.bubble", function() { if (gapi.iframes && gapi.iframes.getContext) { gapi.iframes.getContext().openChild({ url: 'https://www.blogger.com/navbar.g?targetBlogID\x3d5974596\x26blogName\x3dWhy?\x26publishMode\x3dPUBLISH_MODE_BLOGSPOT\x26navbarType\x3dBLACK\x26layoutType\x3dCLASSIC\x26searchRoot\x3dhttps://gamindu.blogspot.com/search\x26blogLocale\x3den_US\x26v\x3d2\x26homepageUrl\x3dhttp://gamindu.blogspot.com/\x26vt\x3d8079249296247105828', where: document.getElementById("navbar-iframe-container"), id: "navbar-iframe" }); } }); </script>
Why?

Why the dickens, not? 

Tuesday, November 09, 2004

Take a bite of this apple, sayeth the serpent

Assume that, our(an individual's) observations, values, beliefs and the rules used to intepret said values and beliefs, form a formal system in higher-order logic. Then, this formal system would infact represent an individuals 'understanding of the world'.

This uotw(pronounced U2) is an extrapolation of Hilbert's Program, constrained to one individuals perspective.

Hilbert's Program was proposed to formalize all existing axioms to a complete set of axioms and provide a proof that these axioms were consistent.

How did Hilbert hope to bridge these different systems? He proposed that the consistency of more complicated, higher-order logic systems could be proven in terms of simpler systems.

But, according to Godel even the simplest system strong enough to define natural numbers cannot prove it's own consistency let alone proving the consistency of anything at a higher order.

It follows that the consistency of uotw can never be proved. i.e there will always be a statement(not a theory, mind you) in uotw, that we would never be able to prove the truth or fallacy, of.

So an individual would never be able to vouch for the consistency of his uotw.Hence, our undertsanding was, is and always will be, wonky.

Wot a crock of shite. A prime example of seemingly-sceintific but grossly non-scientific thinking. More like fantasy gone bad.

urped by gumz @ 5:12 PM


© gumz 2005 - Powered for Blogger by Blogger Templates

Powered by Blogger Weblog Commenting and Trackback by HaloScan.com