Fifty years of self-reference in arithmetic.
نویسندگان
چکیده
منابع مشابه
Self-reference in Arithmetic∗
AGödel sentence is oen described as a sentence saying about itself that it is not provable and a Henkin sentence as a sentence stating its own provability. We discuss what it couldmean for a sentence to ascribe to itself a property such as provability or unprovability. e starting point will be the answer Kreisel gave to Henkin’s problem. We describe how the properties of the supposedly self-re...
متن کاملFifty Years of Self-Assembly Experimentation
In this paper, we review half a century of research on the design of systems displaying (physical) self-assembly of macroscopic components. We report on the experience gained in the study of 22 such systems, exhibiting components ranging from passive mechanical parts to mobile robots. We discuss the systems with regard to physical and electrical design characteristics, outcome and analysis of s...
متن کاملFifty Years of Research on Self-Replication: An Overview
The study of self-replicating structures or machines has been taking place now for almost half a century. My goal in this article is to present an overview of research carried out in the domain of self-replication over the past 50 years, starting from von Neumann's work in the late 1940s and continuing to the most recent research efforts. I shall concentrate on computational models, that is, on...
متن کاملFifty years of tachycardia.
In 1943 an otherwise healthy girl aged 3 developed measles encephalitis with an accompanying mild left hemiparesis. At this time a persistent tachycardia of 140 beats per minute was noted, and she was referred to Sir John Parkinson at the National Heart Hospital. He made a diagnosis of atrial tachycardia. A trial of digoxin and quinidine proved ineffective, but she remained symptomatically well...
متن کاملFifty Years of Synchrotrons
The idea of a pulsed magnet ring, fundamental to the synchrotron, appeared in a proposal by Oliphant [1] in 1943 and was followed by the independent discovery of phase stability by Veksler [2] in 1944 and McMillan [3] in 1945. This opened the door to a demonstration of synchrotron acceleration to 8 MeV by Goward and Barnes [4] in a converted betatron at Woolwich Arsenal, UK. The event, which to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1981
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093883515