Sign in
Author

Conference

Journal

Organization

Year

DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Subscribe
Academic
Publications
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
Die Vollständigkeit der Axiome des logischen Funktionenkalküls,10.1007/BF01696781,Monatshefte Fur Mathematik,Kurt Gödel
Edit
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
(
Citations: 51
)
BibTex

RIS

RefWorks
Download
Kurt Gödel
Journal:
Monatshefte Fur Mathematik  MONATSH MATH
, vol. 37, no. 1, pp. 349360, 1930
DOI:
10.1007/BF01696781
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
www.springerlink.com
)
(
www.springerlink.com
)
(
www.springerlink.com
)
Citation Context
(6)
...)) logic is complete (
Gödel, 1929, 1930
...
Michael Heather
,
et al.
Fragmentary structure of global knowledge: constructive processes for ...
...the following year (1930) in a paper —[
1
]— of Gödel 3. For another,...
T. E. Forster
.
The ParisHarrington Theorem in an NF context
...As was shown also by
Gödel (1930)
, every first order theory must have a model, and so the firstorder formulation of PA is bound to have more than one model, and consequently it must have models containing, besides the genuine (standard) numbers also the fake (nonstandard) ones...
Jaroslav Peregrin
.
Gödel, truth & proof
...Gödel [
9
] in his proof of the completeness of the predicate calculus...
Peter Kugel
.
Toward a theory of intelligence
...Gödel [
18
] used the idea to prove the completeness of the predicate calculus in his doctoral thesis in 1929...
Peter Kugel
.
If intelligence is uncomputable, then
Sort by:
Citations
(51)
Cut as Consequence
Curtis Franks
Journal:
History and Philosophy of Logic
, vol. 31, no. 4, pp. 349379, 2010
An Intuitionistic Completeness Theorem for Classical Predicate Logic
Victor N. Krivtsov
Journal:
Studia Logica  An International Journal for Symbolic Logic  SLOGICA
, vol. 96, no. 1, pp. 109115, 2010
Consistency, Models, and Soundness
Matthias Schirn
Journal:
Axiomathes
, vol. 20, no. 2, pp. 153207, 2010
REREADING TARSKI ON LOGICAL CONSEQUENCE
(
Citations: 1
)
MARIO GÓMEZTORRENTE
Journal:
Review of Symbolic Logic  REV SYMB LOG
, vol. 2, no. 02, 2009
CA 125 Testing Not Helpful After Ovarian Cancer
MARY JO M. DALES
Published in 2009.