1 / 36

The Science and Philosophy of Unconventional Computing

Halfway Up to the Mathematical Infinity. III Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology Edward G. Belaga Université Louis Pasteur, Strasbourg. The Science and Philosophy of Unconventional Computing

davis
Download Presentation

The Science and Philosophy of Unconventional Computing

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. HalfwayUp to theMathematicalInfinity. IIIBroadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness MethodologyEdward G. BelagaUniversité Louis Pasteur, Strasbourg The Science and Philosophy of UnconventionalComputing SPUC09, Cambridge (UK), March 23-25, 2009

  2. Plan: • Metamathematics and the archeology of the century-long foundational efforts: reversing the direction of the transfer « Human intelligence Computer or Corporate intelligence » • Ptolemaic-like deadlock of High Set Theory • Primary reductionist philosophical / ideological presumptions of the foundational research confronted by the reality check of mathematical and constructivist “experimental data” • Post-Turing Halting Barrier for the verifiability of the truth of performative set-theoretical axioms of iterative nature • On the Post-Gödelian Incompleteness • Non-discrete and non-local characterization of the Continuum Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  3. Program paper: Edward G. Belaga (2009). Halfway Up To the Mathematical Infinity I. On the Ontological and Epistemic Sustainability of Georg Cantor's Transfinite Design. (arXiv:0812.3207v3) Abstract: Georg Cantor was the genuine discoverer of the Mathematical Infinity, and whatever he claimed, suggested, or even surmised should be taken seriously -- albeit not necessary at its face value. Because alongside his exquisite in beauty ordinal construction and his fundamental powerset description of the continuum, Cantor has also left to us his obsessive presumption that the universe of sets should be subjected to laws similar to those governing the set of natural numbers, including the universal principles of cardinal comparability and well-ordering -- and implying an ordinal re-creation of the continuum. During the last hundred years, the mainstream set-theoretical research -- all breakthroughs and adjustments due to Kurt Gödel's revolutionary insights and discoveries notwithstanding -- has compliantly centered its efforts on axiomatisations of Cantor's intuitive transfinite design. We demonstrate here that the ontological and epistemic sustainability of this design has been irremediably compromised by the underlying it peremptory, Reductionist mindset of the XIXth century's ideology of science. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  4. Principal Insights, Inspirations, and Research Avenues (1) The Continuum Hypothesis and the Ptolemaic-like deadlock of the ZF-based, ever extending axiomatic of the Cantorian Set Theory. (i) Questioning the legitimacy of the unrestricted applicability of the powerset axiom: E. Belaga (1988).On the Probable Failure of the Uncountable Power Set Axiom. (ii) Questioning the ontological and epistemic sustainability of Cantor’s definition of the first uncountable ordinal: E. Belaga (2009). (2) Pierre-Simon Laplace’s “Absolute Intellect” as the precursor of the Universal Turing Machine and the ascent of the deterministic local causality doctrine. (i) Evolution and education of Maxwell’s Demon. (ii) Einstein’s local causality doctrine and the EPR paradox — paradoxically hiding and distorting one of the most important physical discoveries of the XXth century. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  5. Principal Insights, Inspirations, and Research Avenues (3) « More is different » by Phil W. Anderson (1972) and the « Middle way » by Robert B. Laughlin and David Pines (2000): « … the possibility that as-yet-undiscovered organizing principles might be at work at the mesoscopic scale, intermediate between atomic and macroscopic dimensions, and the implications of their discovery for biology and the physical sciences. The search for the existence and universality of such rules, the proof or disproof of organizing principles appropriate to the mesoscopic domain, is called the middle way.» In our case, Cantor’s assumption that discrete, local causality iterativity alone should be able to produce the desired continuum (macro- and meso-) effects is flying in the face of the implications of quantum non-locality and the imperative of conceptual scalability. (4) Greek’s ontological realism and epistemic austerity. (5) Kurt Gödel’s epistemic sincerity and responsibility and Alan Turing’s computational pragmatism Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  6. The Early Dawns of the Mathematical Infinity« Heraclitus is the one who first declared the nature of the infinite and first grasped nature as in itself infinite, that is, its essence as process. »Georg Wilhelm Friedrich Hegel Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  7. Two Basic Mathematical Habitats, N and R More than two thousand years before Georg Cantor has entered the scene of Mathematical infinity, two types of infinite totalities, the denumerable N and the continuum R, were already well known « experimentally » to the mainstream Western mathematical and communities, starting apparently with those of Ancient Greece. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  8. Dismissal of the Actual Infinite Still, accepting with the characteristic realism the utility of the idea of a potential infinity, Greeks were dismissing the actual infinity. The following statement from Aristotle’s Physics (Phys. III, 7, 207b27-34), anticipates the « ultraintuionistic criticism » of the late XXth century and explicitly — quite possibly, for the first time — raises the problem of the philosophical causality principles universally but mostly implicitly underlying all mathematical queries : Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  9. « Our account does not rob the mathematicians of their study, by disproving the actual existence of the infinite ... In point of fact they do not need the infinite and do not use it. They postulate only that the finite straight line may be produced as far as they wish. It is possible to have divided in the same ration as the largest quantity another magnitude of any size you like. Hence, for the purposes of proof, it will make no difference to them to have such an infinite instead, while its existence will be in the sphere of real magnitudes.» Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  10. It is instructive to compare Aristotle’s courageous and open to compromises and amendments realism to the panicky and eschewing any ontological responsibility policy of a XXth century formalist: « My position concerning the foundations of Mathematics is based on the following two main points or principles. (i) Infinite totalities do not exist in any sense of the word (i.e., either really or ideally). More precisely, any mention, or purported mention, of infinite totalities is, literally, meaningless. (ii) Nevertheless, we should continue the business of Mathematics “as usual”, i. e., we should act as if infinite totalities really existed. » (Abraham Robinson, 1965) Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  11. Ontological and Logical Incompatibility of Discreet and Continuous The Greeks were also fully conscious of the ontological differences, if not conceptual incompatibility between two infinities, N and R, reflecting two different types of human experiences: the external and omnipresent (i.e., present everywhere at the same time and continuous), and the intellectual, inner, local, sequential, and discreet, — as it is abundantly clear from the famous paradoxes advanced by Zeno of Elea (ca. 490 BC – ca. 430 BC) Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  12. Zeno, like Heraclitus before him, clearly doubted that the two infinities could be reconciled: one can run, but one cannot adequately understand or otherwise fully and exhaustively capture in a pure intellectual way, and in particular formally, this phenomenon, because our reasoning proceeds by finite, sequential steps, by discreet, local markers or buoys occasionally dropped in the mowing waters, whereas our and the river movement – a mystery in itself – is, as an ever-changing face of a river, continuous: • « On those stepping into the same river, other and other waters flow. » (Heraclitus of Ephesus, ca. 535 – ca 475 BC) Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  13. Local Causality Worries Zeno’s paradox “Achilles and Tortoise” displays the thorough understanding of the underlying Aristotle’s pragmatism Local Causality Principle — the local, finite, and sequential propagation of all action in the Universe: Consider the setting of Zeno’s paradox “Achilles and Tortoise” consisting of two independent, simultaneously unfolding processes: Tortoise’s steady advancement along the real line R and Achilles ever shortened strides along the same line. Achilles strategy and its « man’s » realization are familiar to us: they are discrete, sequential, recursive, abiding by local causation. But what about Tortoise’s ? Why is Zeno suggesting that hers is a more enigmatic logical and mathematical enterprise? Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  14. It is not by chance that Zeno has chosen a man, Achilles, who has to catch up with a fabulously slow and yet mysteriously unattainable Tortoise. The answer, we believe, is that Zeno allots to the Tortoise the « divine ability » to calmly swim along the flow of the Continuum, whereas Achilles, the man, has no choice but to dangerously hang over the bottomless depths of the primeval continuum stream, being able to advance only by jumping from a one point-size location of this stream — the location carefully chosen and temporally frozen solid — to the next one Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  15. « Our point of view is to describe the mathematical operations that can be carried out by finite beings, man’s mathematics for short. In contrast, classical mathematics concerns itself with operations that can be carried out by God. » Errett Bishop, 1985 Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  16. In other words, Zeno’s paradox suggests that the real Continuum, in all its unfathomable richness, somehow « divinely » exists (taking Errett Bishop at his word !), both at any given moment and at any point of our probing into it — the scenario clearly implying some non-local causation — whereas, according to our experience, any precise mathematical or numerical question concerning the continuum cannot be humanly resolved but within an appropriate discrete, sequential mathematical framework abiding by local causation. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  17. Here Comes Georg Cantor, with His Actual Infinities: Called Ordinals « Following the finite there is a transfinite, that is an unbounded ascending ladder of definite modes, which by their nature are not ‡finite but infinite, but which just like the finite can be determined by definite well-defined and distinguishable numbers. » Georg Cantor, 1883 Became acquainted with Cantor’s transfinite numbers, David Hilbert didn’t mince the words to praise it: « This appears to me to be the most admirable flower of the mathematical intellect and in general one of the highest achievements of pure rational human activity. » Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  18. «The definitive clarification of the nature of the infinite has become necessary, not merely for the special interests of the individual sciences, but rather for the honour of the human understanding itself. The infinite has always stirred the emotions of mankind more deeply than any other question; the infinite has stimulated and fertilized reason as few other ideas have ; but also the infinite, more than other notion, is in need of clarification. … No one shall be able to drive us from the paradise that Cantor created for us.» David Hilbert 1925, pp. 370-371,376 Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  19. Today, Hilbert’s panegyric sounds at the very least ironically: the early illusions about the above the fray, universal and everlasting value of Cantor’s Set Theory have been lately largely dissipated, even if in the meantime several generations of mathematicians have been educated in the spirit of the strict obedience to the set-theoretical foundations of Mathematics. The current generation can freely choose between a number of valid foundational paradigms, categorical one including, or to choose no one. We believe, it is time to exorcise the last demons of Cantor’s transfinite dream. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  20. We repeat, the early illusions about the above the fray, universal and everlasting value of Cantor’s Set Theory have been lately largely dissipated, even if in the meantime several generations of mathematicians have been educated in the spirit of the strict obedience to the set-theoretical foundations of Mathematics. We believe, it is time to exorcise the last demons of Cantor’s transfinite dream. « During his early days at Durham, while Percy John Heawood was teaching a class of divinity students mathematics, one of them asked: “You have taught us to cast out the nines, can you cast out devils ?“ “Yes, I can — replied Heawood, — get out at once !“» Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  21. Aristotle and Robinson Get It Wrong:Evidences of « Necessary Uses » of the Transfinite • Alan Turing: Ordinals as Iterative Transfinite Codes In 1949, Alan Turing has given a remarkable general interpretation of explicitly defined countable ordinals as succinct symbolic notations for iterative algorithmic structures with multiple loops: the interpretation which inspired a series of remarkable results on the program verification. • Elementary Tokens of Incompleteness In 1944, Reuben L. Goodman designed an elementary problem in Peano arithmetic whose proof necessary uses the ordinal e0. • Ordinal Analysis In 1936, Gerhard Gentzen proved the ordinal «strength» of Peano arithmetic being e0. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  22. Georg Cantor's Powerset Construction:The Comprehensive Ever-Emerging System of Disparate Discrete Ascending Ladders Leading to Discernable Individual Points of the Continuum • Georg Cantor has resolved (1874) one particular aspect of « Achilles and Tortoise » paradox, formally confirming Zeno’s intuition that the Continuum is infinitely richer than the Discreet. • Using his method of one-to-one correspondence to both identify infinite totalities of the same power, or equipotent totalities, and to establish which of two totalities is bigger, Cantor gave his proofs, topological and diagonal, that the set of reals is uncountable. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  23. Georg’s Cantor's Preconceived and Peremptory Transfinite Design Encouraged by his third, Powerset proof of the uncountability of the Continuum, Cantor proceeded to definitely « dislodge » the non-sequential and not abiding by the principle of local causality specificity of the Continuum, clearly discerned already by the Greeks, — by subjecting it to invented by him universal transfinite counting procedure, well-ordering: • (1) Countable Ordinals Form a Well-Ordered Set, the Smallest Uncountable Ordinal, Thus Extending the Ordinal Hierarchy beyond the Countable. • (2) The Powerset Device is Iteratively Applicable, Extending the Hierarchy of Sets beyond the Continuum. • (3) Hence Cantor’s « Fundamental Law of Thought »: Every Set Could Be Actually Well-Ordered Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  24. Both Cantor’s Assumptions Fail, Voiding His Fundamental Law of the Universal Applicability of the Well-Ordering : • Ordinal Deadlock: In the light of the Ordinal Analysis results, the collection ω1 of countable ordinals is the authentic, universal, ever emerging and never completed formal ordinal measure scale of the power and sophistication of iterative logical arguments and methods. In particular, ω1 is a proper class. • Powerset Debacle: « This does not prove the legitimacy of the [universal] Powerset principle. For the argument is not: we have a perfectly clear intuitive picture of the continuum, and the Powerset principle enables us to capture this set-theoretically. Rather, the argument is: the Powerset principle was revealed in our attempts to make our intuitive picture of the continuum analytically clearer; in so far as these attempts are successful, then the Powerset principle gains some confirmatory support. » (Michael Hallett, 1984) Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  25. Salvaging Cantor’s Transfinite Design and the Soundness of Mathematical Logic • To save Cantor’s transfinite design, a vast axiomatic machinery has been invented, developed, and exploited during the last century, starting with Ernest Zermelo’s Axiom of Choice and his axiomatic, known today as Zermelo-Fraenkel’s, ZF or ZFC, and • Simultaneously, Bertrand Russel and his followers, sympathisers, and demurrers confronted the logical paradoxes and the intrinsic to them self-referentiality, or as it is known today circularity of formal arguments — such as Liar paradoxes, «This sentence is false» or «This sentence is not true», or circular and overreaching sets definitions, like: «The set of all sets», «The set of all sets which are not an element of itself» , «The ordinal of all ordinals», etc. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  26. Constative versus Performative Axiomatic Paradigms • Our main foundational argument concerns the nature of axioms of Set Theory, from ZF to ZFC to Axioms of Determinacy to Axioms of Large Cardinals, which are typically performative inductive principles and procedures of emergence of set-theoretical entities acting on swaths of transfinite ordinals and cardinals: Turing-like Halting Barrier for Performative Set-theoretical Axioms of Iterative Nature. There exists no general logical criterion or procedure to establish the eventual truth or ontological relevancy of a performative set-theoretical axiom of iterative nature postulating the existence of transfinite objects outside the already existing transfinite scale – otherwise than either to prove its inconsistency or « to run » the theory completed with the new axiom until it would be discovered an independent « necessary use » of the object in question. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  27. ZF-Based Axiomatic as High-Level Programming Language • There is no other modern domain of formal studies where this post-modern paradigm is so pronounced as in Set Theory and its ZF-based axiomatic. The trouble is hidden exactly where our ZF pride resides: in the powerful built-in iterative mechanisms of set generation. • In other words, ZF has gained in its creative and performative power on the expense of its descriptive power, becoming a sophisticated programming language, which is successfully mimicking some aspects of the Mathematical Infinity but whose main thrust lies with the providing to advanced « users » sophisticated options of generation of, and manipulation with artificial transfinite totalities, similarly to computer graphic imagery of video games – with the Axiom of Determinacy opening the advent of Infinite Games. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  28. ZF-Based Axiomatic embellished by ever growing number of Large Cardinal Axioms ? Post-Turing Halting Barrier for Performative Set-theo-retical Axioms of Iterative Nature. There exists neither general metamathematical principle, nor logical criterion, nor verifiably terminating computational procedure to establish the objective and substantial “truth'' of a performative set-theoretical axiom of iterative nature which postulates the existence of a transfinite object outside the already existing (say, ZF-based) transfinite scale -- otherwise that is than “to run'' the theory completed with the new axiom until it would be discovered some independent “necessary uses'' of the object in question. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  29. Axiomatic Consistency and Independence Are Not Substitutes for Proof-theoretic Efficiency • Thanks to this interpretation, finds its proper place, in particular, the puzzling and disconcerting predominance in modern set theory of results on Z F consistency and independency: • « When modern set theory is applied to conventional mathematical problems, it has a disconcerting tendency to produce independence results rather than theorems in the usual sense. The resulting preoccupation with ‘consistency’ rather than ‘truth’ may be felt to give the subject an air of unreality. » (SaharonShelah, 1992 Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  30. Consistency and Independence as Program Verification Criteria • Moreover, we claim that all such consistency results are just the instances of successful program verification. In other words, the totalities in question are, in fact, pure mathematical notations not related to any set-theoretical «reality» outside the tight structure of their definitions and relationships. Still, the related results might turn out one day to be relevant to, if not suggestive of our permanently evolving iterative programming ability: • « Only the first few levels of the cumulative hierarchy bear any resemblance to external reality. The rest are a huge extrapolation based on a crude model of abstract thought processes. Gödel himself comes close to admitting as much. » (Stephen G. Simpson, 1999) Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  31. Post-Gödelian stumbling block andPtolemaic-like deadlocks On the Post-Gödelian Incompleteness. Any conceptually sufficiently rich and logically/axiomatically sufficiently sophisticated mathematical system allows a huge, super-exponentially expanding “mathematical sci-fi novelization'' -- the creation of a multitude of “mathematical sci-fi novels'', i.e., fully consistent mathematical theories with unlimitedly extending axiomatic bases – “forced themselves upon us'', as it were, not only “as being true'' (Gödel’s expression, 1964) but being also intellectually compelling and esthetically attractive -- and yet which do not have in their (more than) overwhelming majority, either at this juncture or whenever in future, any objectively verifiable mathematical and/or substantial extra-mathematical meaning outside the proper, self-absorbed scene of formal deductions inside the system in question. Ptolemaic-like deadlock: A bad choice of the axiomatic base and/or an axiomatic extension leads eventually to a Ptolemaic deadlock. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  32. Why Non-Locality of Physical Universe ? • For at least two millennia – starting with the paradoxes of Zeno – the practitioners of logic and mathematics were facing the Discrete–Continuum and closely related to it Sequential–Parallel dualities of formal world descriptions. And since at least two centuries, science has been alerted to the pertinence of the Local–Non-Local duality, to become eventually dominated by Laplace’s Local Causality, or Locality Principle — the local propagation of all action in the Universe — and its implications. • This apparently definitive victory of the Discrete–Sequential–Local over the Continuum–Parallel–Non-Local came at a price; thus, Albert Einstein, the genuine discoverer of Quantum Mechanical Non-Locality which he was able to appreciate only as a paradox, has spent the last twenty years of his research activity on Local-Causation theories of everything. Ultimately, the Non-Locality – even if still referred to as counter-intuitive – has won over the physical research and Quantum Computing. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  33. Why Non-Locality of Formal Reasoning ? • From its explicit, external, real-world imperativeness, the Locality Principle has been implicitly assumed to hold for the intellectual activity of man, too, — starting with the Perfect and Omniscient Intellect invented by Laplace.. • Thus, Georg Cantor has extended into the Transfinite the limits of both Discrete, Sequential, and Local, with the explicitly stated purpose to definitely submit to them their Continuum and, respectively, Parallel and Non-local counterparts. • Then, in the middle of the first foundational crisis, it was the turn of David Hilbert to enter the fray with his global argumentative reductionism designed to reduce all mathematical reasoning to formalized mechanical proof-theoretic procedure Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  34. … Why Non-Locality of Formal Reasoning ? • Following suit, Emil Post, Alonso Church, and Alan Turing have advanced their computing schemata of pure Sequential and Local Causality nature, claiming that such schemata ultimately cover all imaginable computing activity (Church–Turing Thesis). • It is this theory which, in the absence of any formal alternative of a comparable importance, is deemed today by many to somehow stand for the theory of human thinking, with Cantor’s aforementioned « fundamental law of thought » being a clear tributary to such a reductionist, outdated, but still beguiling philosophical appeal Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  35. Non-Locality Characterization of the Continuum • (1) The striking feature of classical analytic machinery conceived to deal with, and perfectly adapted to the Continuum habitat, and which immediately distinguish it from methods and theories subject to the discrete, Ordinal Analysis related treatment, is tits intrinsic, inextinguishable, fundamental, outside of the Continuum not existing and not obtainable non-locality — in the sense this term is (still insufficiently) understood in Quantum Information Processing, or QIP, for short • (2) Any phenomenologically and ontologically faithful or at least fully relevant Axiomatisation of the Continuum should include a Non-locality Postulate, or Non-locality Axiomatic Scheme, to formally account for the following property of the Continuum: All «points», or «elements» of the Continuum are at any moment and non-locally, i.e., universally, simultaneously, and independendly accessible. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

  36. Acknowledgment Author’s late spouse, Genia, had the vital for both of us patience and graceful humour to accompany this overlong study. Author is grateful to Professor Daniel Grucker, of the Institute of Physical Biology, Strasbourg University, for fruitful discussions and for the financial support making both possible and pleasant the present talk. Mark Hogarth’s interest and organising involvement are appreciated. Edward G. Belaga. Broadening the Scope and Elevating the Status of Turing's Halting Logical Concept and Gödel’s Incompleteness Methodology

More Related