Results 1 
4 of
4
Informationtheoretic Limitations of Formal Systems
 JOURNAL OF THE ACM
, 1974
"... An attempt is made to apply informationtheoretic computational complexity to metamathematics. The paper studies the number of bits of instructions that must be a given to a computer for it to perform finite and infinite tasks, and also the amount of time that it takes the computer to perform these ..."
Abstract

Cited by 48 (7 self)
 Add to MetaCart
(Show Context)
An attempt is made to apply informationtheoretic computational complexity to metamathematics. The paper studies the number of bits of instructions that must be a given to a computer for it to perform finite and infinite tasks, and also the amount of time that it takes the computer to perform these tasks. This is applied to measuring the difficulty of proving a given set of theorems, in terms of the number of bits of axioms that are assumed, and the size of the proofs needed to deduce the theorems from the axioms.
Pocket Mathematics
, 1995
"... Mathematics is in a dramatic and massive process of changing, mainly due to the advent of computers and computer science. Our aim is to present a pocket image of this phenomenon; a "case study" will give us the opportunity to describe some of these new ideas, problems, and techniques. Part ..."
Abstract
 Add to MetaCart
Mathematics is in a dramatic and massive process of changing, mainly due to the advent of computers and computer science. Our aim is to present a pocket image of this phenomenon; a "case study" will give us the opportunity to describe some of these new ideas, problems, and techniques. Particularly, we will be concerned with foreseeable mutations in the interaction between deductive and experimental trends.
A Constructivist Perspective on Physics
, 2002
"... This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question o ..."
Abstract
 Add to MetaCart
This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question of whether the concept of physical infinity is constructively intelligible. I consider two kinds of physical infinity: a countably infinite constellation of stars and the infinitely divisible spacetime continuum. I argue (contrary to Hellman) that these do not pose any insuperable problem for constructivism, and that constructivism may have a useful new perspective to offer on physics. References ...
Clockwork or Turing U/universe?  Remarks on Causal Determinism and Computability
"... The relevance of the Turing universe as a model for complex physical situations (that is, those showing both computable and incomputable aspects) is discussed. Some wellknown arguments concerning the nature of scientific reality are related to this theoretical context. ..."
Abstract
 Add to MetaCart
The relevance of the Turing universe as a model for complex physical situations (that is, those showing both computable and incomputable aspects) is discussed. Some wellknown arguments concerning the nature of scientific reality are related to this theoretical context.