Open AccessBook
Logical Dilemmas: The Life and Work of Kurt Gödel
TLDR
Kurt Goedel's seminal achievements that changed the perception and foundations of mathematics are explained in the context of his life from the turn of the century Austria to the Institute for Advanced Study in Princeton.Abstract:
This authoritative biography of Kurt Goedel relates the life of this most important logician of our time to the development of the field. Goedel's seminal achievements that changed the perception and foundations of mathematics are explained in the context of his life from the turn of the century Austria to the Institute for Advanced Study in Princeton.read more
Citations
More filters
Journal ArticleDOI
Obsessive-Compulsive Disorder as a Disturbance of Security Motivation.
Henry Szechtman,Erik Z. Woody +1 more
TL;DR: The authors compare their satiety-signal construct, which they term yedasentience, to various other senses of the feeling of knowing and indicate why OCD-like symptoms would stem from the abnormal absence of such a terminator emotion.
Journal ArticleDOI
Step by Recursive Step: Church's Analysis of Effective Calculability
TL;DR: A number of letters were exchanged between Church and Paul Bernays during the period from December 1934 to August 1937; they throw light on critical developments in Princeton during that period and reveal novel aspects of Church's distinctive contribution to the analysis of the informal notion of effective calculability.
Book
A concise introduction to mathematical logic
TL;DR: The third edition is a thorough and expanded revision of the former and contains basic material on logic programming for logicians and computer scientists, model theory, recursion theory, Gdels Incompleteness Theorems, and applications of mathematical logic.
Journal ArticleDOI
Turing Oracle Machines, Online Computing, and Three Displacements in Computability Theory
TL;DR: It is argued that Turing o-mACHines, relative computability, and online computing are the most important concepts in the subject, more so than Turing a-machines and standard computable functions since they are special cases of the former.
References
More filters
Journal ArticleDOI
Back from Syracuse
Hans-Georg Gadamer,John McCumber +1 more
TL;DR: The sensation that Victor Farias' book on Heidegger has created in France is itself astounding as mentioned in this paper, and it can happen today that one is asked: why did you people not cry out? There is a tendency, above all, to underestimate the universally human inclination to conformism which continually finds new ways and means for self-deception.