Results 1  10
of
69
From Heisenberg to Gödel via Chaitin
, 2008
"... In 1927 Heisenberg discovered that the “more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa”. Four years later Gödel showed that a finitely specified, consistent formal system which is large enough to include arithmetic is incomplete. A ..."
Abstract

Cited by 11 (9 self)
 Add to MetaCart
In 1927 Heisenberg discovered that the “more precisely the position is determined, the less precisely the momentum is known in this instant, and vice versa”. Four years later Gödel showed that a finitely specified, consistent formal system which is large enough to include arithmetic is incomplete. As both results express some kind of impossibility it is natural to ask whether there is any relation between them, and, indeed, this question has been repeatedly asked for a long time. The main interest seems to have been in possible implications of incompleteness to physics. In this note we will take interest in the converse implication and will offer a positive answer to the question: Does uncertainty imply incompleteness? We will show that algorithmic randomness is equivalent to a “formal uncertainty principle ” which implies Chaitin’s informationtheoretic incompleteness. We also show that the derived uncertainty relation, for many computers, is physical. This fact supports the conjecture that uncertainty implies randomness not only in mathematics, but also in physics.
What does it mean to say that logic is formal
, 2000
"... Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and ..."
Abstract

Cited by 10 (0 self)
 Add to MetaCart
(Show Context)
Much philosophy of logic is shaped, explicitly or implicitly, by the thought that logic is distinctively formal and abstracts from material content. The distinction between formal and material does not appear to coincide with the more familiar contrasts between a priori and empirical, necessary and contingent, analytic and synthetic—indeed, it is often invoked to explain these. Nor, it turns out, can it be explained by appeal to schematic inference patterns, syntactic rules, or grammar. What does it mean, then, to say that logic is distinctively formal? Three things: logic is said to be formal (or “topicneutral”) (1) in the sense that it provides constitutive norms for thought as such, (2) in the sense that it is indifferent to the particular identities of objects, and (3) in the sense that it abstracts entirely from the semantic content of thought. Though these three notions of formality are by no means equivalent, they are frequently run together. The reason, I argue, is that modern talk of the formality of logic has its source in Kant, and these three notions come together in the context of Kant’s transcendental philosophy. Outside of this context (e.g., in Frege), they can come apart. Attending to this
The growth of mathematical knowledge: an open world view
 The growth of mathematical knowledge, Kluwer, Dordrecht 2000
"... mathematical knowledge: “The advance of science is not comparable to the changes of a city, where old edifices are pitilessly torn down to give place to new ones, but to the continuous evolution of zoological types which develop ceaselessly and end by becoming unrecognizable to the common sight, but ..."
Abstract

Cited by 5 (5 self)
 Add to MetaCart
(Show Context)
mathematical knowledge: “The advance of science is not comparable to the changes of a city, where old edifices are pitilessly torn down to give place to new ones, but to the continuous evolution of zoological types which develop ceaselessly and end by becoming unrecognizable to the common sight, but where an expert eye finds always traces of the prior work of the centuries past ” (Poincaré 1958, p. 14). The view criticized by Poincaré corresponds to Frege’s idea that the development of mathematics can be described as an activity of system building, where each system is supposed to provide a complete representation for a certain mathematical field and must be pitilessly torn down whenever it fails to achieve such an aim. All facts concerning any mathematical field must be fully organized in a given system because “in mathematics we must always strive after a system that is complete in itself ” (Frege 1979, p. 279). Frege is aware that systems introduce rigidity and are in conflict with the actual development of mathematics because “in history we have development; a system is static”, but he sticks
Aristotle’s Prior Analytics and Boole’s Laws of Thought
 History and Philosophy of Logic
"... ematicianGeorge Boole (1815 – 1864) are the twomost important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twentytwo centuries later intending to extend and perfect ..."
Abstract

Cited by 5 (1 self)
 Add to MetaCart
ematicianGeorge Boole (1815 – 1864) are the twomost important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twentytwo centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss many other historically and philosophically important aspects of Boole’s book, e.g. his confused attempt to apply differential calculus to logic, his misguided effort to make his system of ‘class logic ’ serve as a kind of ‘truthfunctional logic’, his now almost forgotten foray into probability theory, or his blindness to the fact that a truthfunctional combination of equations that follows from a given truthfunctional combination of equations need not follow truthfunctionally. One of the main conclusions is that Boole’s contribution widened logic and changed its nature to such an extent that he fully deserves to share with Aristotle the status of being a founding figure in logic. By setting forth in clear and systematic fashion the basic methods for establishing validity and for establishing invalidity, Aristotle became the founder of logic as formal epistemology. By making the first unmistakable steps toward opening logic to the study of ‘laws of thought’—tautologies and laws such as excludedmiddle and noncontradiction—Boole became the founder of logic as formal ontology.... using mathematical methods... has led to more knowledge about logic in one century than had been obtained from the death of Aristotle up to... when Boole’s masterpiece was published. Paul Rosenbloom 1950 1.
Play as the Way Out of the NewspeakTower of Babel Dilemma
 in Data Modeling. The 26th International Conference on Information Systems, Las Vegas:1120
, 2005
"... A data modeler, when faced with different interpretations of a given reality within an organization, may opt to create a standard model for the whole company (the Newspeak solution). On the other hand, allowing multiple, and sometimes incompatible, models to coexist may lead to what some researchers ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
A data modeler, when faced with different interpretations of a given reality within an organization, may opt to create a standard model for the whole company (the Newspeak solution). On the other hand, allowing multiple, and sometimes incompatible, models to coexist may lead to what some researchers call the Tower of Babel problem. The clash between these two possibilities creates a fundamental design problem for IS. We argue that the concept of play in Gadamer can be seen as the “place ” where differences and similarities among various perspectives are expressed and discussed. Based on Gadamer’s Truth and Method (1960) and on Heidegger’s Being and Time (1962), we review the concepts of horizon, fusion of horizons, play, application, and the hermeneutic circle, and show some applications to information systems. Following Hirschheim et al. (1995), who consider that “the role of a data models should be seen in a similar light as the role of a theory for a scientific community, ” we turn to the debate between objectivism and relativism in philosophy of science in order to discover a way of negotiating the clash between the Newspeak and Tower of Babel possibilities in Information Systems. We introduce an historical example of hermeneutical play—the Popper/Kuhn debate in the philosophy of science—which directly addresses the problems and possibilities associated with communication among people holding incommensurable perspectives. We show how this situation informed their hermeneutic play in the philosophy of science. Finally, we argue that a similar play, in conjunction with the dimension of application, is the way beyond the either/or of the Tower of Babel versus Newspeak dilemma.
Lifestyles  A Paradigm for the description of spatiotemporal databases
 Department of Geoinformation. Vienna, Technical University
, 1999
"... This thesis investigates operations affecting identity of objects in a spatiotemporal database, ubiquitous for future temporal geographic information systems (GIS). Two different techniques to record change in temporal databases are compared: database versioning and object versioning. We show formal ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
(Show Context)
This thesis investigates operations affecting identity of objects in a spatiotemporal database, ubiquitous for future temporal geographic information systems (GIS). Two different techniques to record change in temporal databases are compared: database versioning and object versioning. We show formally that these techniques are equivalent and use conceptually simpler model of database versioning for the further development. The conceptual model of our database is based on the entityrelationship model. The complete temporal database is an appendonly series of snapshots, each of which represents the state of the universe of discourse at a particular moment on the time scale. Each snapshot consists of a set of objects connected with relations. Objects are metaphorically perceived as having life: an object has its birth or creation, its life or existence, its death or destruction. The central concept in the life of an object is its identifier, which is unchanged from the birth to the death
Formal Methods in VLSI System Design
, 1996
"... We apply mathematical logic to a number of problems arising in very large scale integration (VLSI) design automation. The first stage of this dissertation is concerned with techniques for the efficient verification of digital systems. We introduce heuristics based on Binary Decision Diagrams for eff ..."
Abstract

Cited by 4 (1 self)
 Add to MetaCart
(Show Context)
We apply mathematical logic to a number of problems arising in very large scale integration (VLSI) design automation. The first stage of this dissertation is concerned with techniques for the efficient verification of digital systems. We introduce heuristics based on Binary Decision Diagrams for efficiently representing designs specified as gatelevel circuits. We also present an approach to verifying hierarchical designs which uses novel notions of state equivalence to simplify components. The second stage addresses the problem of synthesizing digital designs. We use the logic S1S to demonstrate that the flexibility available for optimizing components in hierarchical designs can be characterized by a finite state automaton. This approach is extended to the problem of synthesizing p...