Results 1  10
of
33
From Heisenberg to Gödel via Chaitin
 INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS
, 2004
"... 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 ..."
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
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
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
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
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 3 (1 self)
 Add to MetaCart
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...
Truth and Light: Physical Algorithmic Randomness
, 2005
"... This thesis examines some problems related to Chaitin's Ω number. In the first section, we describe several new minimalist prefixfree machines suitable for the study of concrete algorithmic information theory; the halting probabilities of these machines are all Ω numbers. In the second part, we s ..."
Abstract

Cited by 3 (2 self)
 Add to MetaCart
This thesis examines some problems related to Chaitin's Ω number. In the first section, we describe several new minimalist prefixfree machines suitable for the study of concrete algorithmic information theory; the halting probabilities of these machines are all Ω numbers. In the second part, we show that when such a sequence is the result given by a measurement of a system, the system itself can be shown to satisfy an uncertainty principle equivalent to Heisenberg's uncertainty principle. This uncertainty principle also implies Chaitin's strongest form of incompleteness. In the last part, we show that Ω can be written as an infinite product over halting programs; that there exists a "natural," or basefree formulation that does not (directly) depend on the alphabet of the universal prefixfree machine; that Tadaki's generalized halting probability is welldefined even for arbitrary univeral Turing machines and the plain complexity; and finally, that the natural generalized halting probability can be written as an infinite product over primes and has the form of a zeta function whose zeros encode halting information. We conclude with some speculation about physical systems in which partial randomness could arise, and identify many open problems.
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 3 (0 self)
 Add to MetaCart
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
1998] ”Perceiving hierarchical structure in nonrepresentational paintings
 Empirical Studies of the Arts
"... � This paper was originally published in Empirical Studies of the Arts. Vol. 16(1) ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
� This paper was originally published in Empirical Studies of the Arts. Vol. 16(1)
A Solution Based H Norm Triangular Mesh Quality Indicator. Grid Generation and Adaptive
 Mathematics: Proceedings of the IMA Workshop on Parallel and Adaptive Methods
, 1999
"... Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider manyvalued functions, s ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Russell had two theories of definite descriptions: one for singular descriptions, another for plural descriptions. We chart its development, in which ‘On Denoting’ plays a part but not the part one might expect, before explaining why it eventually fails. We go on to consider manyvalued functions, since they too bring in plural terms—terms such as ‘�4 ’ or the descriptive ‘the inhabitants of London ’ which, like plain plural descriptions, stand for more than one thing. Logicians need to take plural reference seriously if only because mathematicians take manyvalued functions seriously. We assess the objection (by Russell, Frege and others) that manyvalued functions are illegitimate because the corresponding terms are ambiguous. We also assess the various methods proposed for getting rid of them. Finding the objection illfounded and the methods ineffective, we introduce a logical framework that admits plural reference, and use it to answer some earlier questions and to raise some more. 1. Russell’s theory of plural descriptions Everybody knows that Russell had a theory of definite descriptions. Not everybody realizes that he had two: one for singular descriptions, another for plural descriptions. The contents of ‘On Denoting ’ have blinkered the popular conception of his agenda. 1.1 The Principles of Mathematics In the Principles class talk is plural talk: ‘soandso’s children, or the children of Londoners, afford illustrations ’ of classes; ‘the children of Israel are a class ’ (1903c, pp. 24, 83). Readers brought up on modern set theory must beware. Russell’s plural descriptions each stand for many things, and accordingly his classes are ‘classes as many’: they are many things—the children of Israel are a class—not one. (Unless, of course, they only have a single member. Throughout this paper we use the plural idiom inclusively, to cover the singular as a limiting case. Purists should read ‘the Fs ’ as ‘the F or Fs ’ and adjust the context to suit.) Russell first investigates plural idioms in the chapter on ‘Denoting’. His exposition is complicated, however, by his insistence that distribu