Open AccessBook
From Frege to Gödel
Jean van Heijenoort
- 01 Jan 1967
347
About: The article was published on 01 Jan 1967. and is currently open access.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
•Journal Article
Information recovery problems
TL;DR: The results are applied to classical number theory, in particular, to questions concerning possible refinements of the 1931 Godel Axiom Set, e.g. whether any of its axioms can be analyzed into "informational atoms".
Truthmakers, Truthbearers and the Objectivity of Truth
Artur Rojszczak,Barry Smith,Barry Smith +2 more
- 01 Jan 2003
TL;DR: The authors show that the account of objective truth taken for granted by logicians at least since the publication in 1933 of Tarski's The Concept of Truth in Formalized Languages arose out of a tradition of philosophical thinking initiated by Bolzano and Brentano, and that certain investigations of states of affairs and other objectual correlates of judging acts, investigated by Austrian and Polish philosophers around the turn of the century, formed part of the background of views that led to standard current accounts of the objectivity of truth.
Computable economics: reconstructing the nonconstructive
TL;DR: It is claimed that the methodological approach and results of classical recursion theory and constructive mathematics should be at the foundation of theorizing in economics and Computable Economics provides the proper foundation for a formally rigorous and meaningful definition of rationality.
5
Axiomatic quantum theory
TL;DR: The basis of a rigorous formal axiomatization of quantum mechanics is constructed, built upon Dirac's bra–ket notation, which is three-sorted, with separate variables for scalars, vectors and operators.
5