Professional Documents
Culture Documents
Alonzo Church
The Journal of Symbolic Logic, Vol. 1, No. 1. (Mar., 1936), pp. 40-41.
Stable URL:
http://links.jstor.org/sici?sici=0022-4812%28193603%291%3A1%3C40%3AANOTE%3E2.0.CO%3B2-D
The Journal of Symbolic Logic is currently published by Association for Symbolic Logic.
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at
http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained
prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in
the JSTOR archive only for your personal, non-commercial use.
Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at
http://www.jstor.org/journals/asl.html.
Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed
page of such transmission.
The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic
journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers,
and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take
advantage of advances in technology. For more information regarding JSTOR, please contact support@jstor.org.
http://www.jstor.org
Mon Mar 3 10:48:14 2008
THL J O L ~ N A Loz SYMBOLIC
LOGIC
Volume 1, Number 1, March 1936
find an effective method by which, given any expression Q in the notation of the system, it can be
determined whether or not Q is provable in the system. Hilbert and Ackermann (loc. cit.) under-
stand the Entscheidungsproblem of the engere Funktionenkalkiil in a slightly different sense. But
the two senses are equivalent in view of the proof by Kurt Godel of the completeness of the engere
Funlctionenkalkiil (Monafshejfe jiir Mafhemafik u n d Physik, vol. 37 (1930), pp. 349-360).
From this follows further the unsolvability of the particular case of the Entscheidungsprob-
lem of the engere Funktionenkalkiil which concerns the provability of expressions of the form
(Ex1)(Ex2)(Ex3)(y1)(y2). . . (yn)P, where P contains no quantifiers and no individual variables
except XI, xz, 2 3 , YI, y2, . . . , yn Cf. Kurt Godel, Zum Entscheidungsproblem des logischen Funk-
tionenkdkuls, Monafshejfe f u r Mafhemalik und Physik, vol. 40 (1933), pp. 4 3 3 4 3 .