Results 1  10
of
13
Set Theory and Physics
 FOUNDATIONS OF PHYSICS, VOL. 25, NO. 11
, 1995
"... Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) hr chaos theory, (ii) for paradoxical decompositions of soli ..."
Abstract

Cited by 8 (7 self)
 Add to MetaCart
Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) hr chaos theory, (ii) for paradoxical decompositions of solid threedimensional objects, (iii) in the theory of effective computability (ChurchTurhrg thesis) related to the possible "solution of supertasks," and (iv) for weak solutions. Several approaches to set theory and their advantages and disadvatages for" physical applications are discussed: Cantorian "naive" (i.e., nonaxiomatic) set theory, contructivism, and operationalism, hr the arrthor's ophrion, an attitude of "suspended attention" (a term borrowed from psychoanalysis) seems most promising for progress. Physical and set theoretical entities must be operationalized wherever possible. At the same thne, physicists shouM be open to "bizarre" or "mindboggling" new formalisms, which treed not be operationalizable or testable at the thne of their " creation, but which may successfully lead to novel fields of phenomenology and technology.
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
, 2009
"... ..."
The Incomputable Alan Turing
"... The last century saw dramatic challenges to the Laplacian predictability which had underpinned scientific research for around 300 years. Basic to this was Alan Turing’s 1936 discovery (along with Alonzo Church) of the existence of unsolvable problems. This paper focuses on incomputability as a power ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
The last century saw dramatic challenges to the Laplacian predictability which had underpinned scientific research for around 300 years. Basic to this was Alan Turing’s 1936 discovery (along with Alonzo Church) of the existence of unsolvable problems. This paper focuses on incomputability as a powerful theme in Turing’s work and personal life, and examines its role in his evolving concept of machine intelligence. It also traces some of the ways in which important new developments are anticipated by Turing’s ideas in logic.
A Genius' Story: Two Books on Gödel
, 1997
"... by his #nal Gymnasium years. ... Mathematics and languages ranked well above literature and history. At the time it was rumoured that in the whole of his time at High School not only was his work in Latin always given the top marks but that he had made not a single grammatical error. G#odel ent ..."
Abstract
 Add to MetaCart
by his #nal Gymnasium years. ... Mathematics and languages ranked well above literature and history. At the time it was rumoured that in the whole of his time at High School not only was his work in Latin always given the top marks but that he had made not a single grammatical error. G#odel entered the University of Vienna in 1923. He was taught by Furtw#angler, Hahn, Wirtinger, Menger, Helly and others. As an undergraduate, he took part in a seminar run by Schlick which studied Russell's book Introduction to Mathematical Philosophy. Olga TauskyTodd, a fellow student, recalled: It became slowly obvious that he would stick with logic, that he was to be Hahn's student and not Schlick's, that he was incredibly talented. His help was much in demand. # Hao Wang. ALogical JourneyFrom G#odel to Philosophy, MIT Press, Cambridge, MA, 1996. and John W. Dawson, Jr. Logical DilemmasThe Life and Work of Kurt G#odel,A.K.Peters,
Arithmetic and the Incompleteness Theorems
, 2000
"... this paper please consult me first, via my home page. ..."
Gödel's incompleteness theorems and artificial life
, 1997
"... In this paper I discuss whether Gödel's incompleteness theorems have any implications for studies in Artificial Life (AL). Since Gödel's incompleteness theorems have been used to argue against certain mechanistic theories of the mind, it seems natural to attempt to apply the theorems to certain stro ..."
Abstract
 Add to MetaCart
In this paper I discuss whether Gödel's incompleteness theorems have any implications for studies in Artificial Life (AL). Since Gödel's incompleteness theorems have been used to argue against certain mechanistic theories of the mind, it seems natural to attempt to apply the theorems to certain strong mechanistic arguments postulated by some AL theorists. We find that an argument using the incompleteness theorems can not be constructed that will block the hard AL claim, specifically in the field of robotics. However, we will see that the beginnings of an argument casting doubt on our ability to create living systems entirely resident in a computer environment might be suggested by looking at the incompleteness theorems from the point of view of Gödel's belief in mathematical realism.
CHAPTER 7 MATHEMATICAL CONCEPTS AND PHYSICAL OBJECTS
"... Abstract. The notions of “construction principles ” is proposed as a complementary notion w.r. to the familiar “proof principles ” of Proof Theory. The aim is to develop a parallel analysis of these principles in Mathematics and Physics: common construction principles, in spite of different proof pr ..."
Abstract
 Add to MetaCart
Abstract. The notions of “construction principles ” is proposed as a complementary notion w.r. to the familiar “proof principles ” of Proof Theory. The aim is to develop a parallel analysis of these principles in Mathematics and Physics: common construction principles, in spite of different proof principles, justify the effectiveness of Mathematics in Physics. The very “objects ” of these disciplines are grounded on commun genealogies of concepts: there is no trascendence of concepts nor of objects without their contingent and shared constitution. A comparative analysis of Husserl’s and Gödel’s philosophy is hinted, with many references to H. Weyl’s reflections on Mathematics and Physics. Introduction (with F. Bailly) With this text, we will first of all discuss a distinction, internal to mathematics, between “construction principles ” and “proof principles ” (see [Longo, 1999; 2002]). In short, it will be a question of grasping the difference between the construction of mathematical concepts and structures