310:
41:(FOL). Hilbert and Ackermann also formalized FOL in a way that subsequently achieved canonical status. FOL is now a core formalism of mathematical logic, and is presupposed by contemporary treatments of
64:(i.e., whether all semantic truths of FOL were theorems derivable from the FOL axioms and rules). The former problem was answered in the negative first by
351:
148:
The translation of the 1938 2nd German edition into
English was published in 1950, while the 3rd German edition was published in 1949.
61:
294:
267:
162:
118:
380:
375:
390:
297:. Proceedings of a workshop, FOL-75, commemorating the 75th anniversary of the publication of Hilbert and Ackermann (1928).
205:
37:. The 1928 first edition thereof is considered the first elementary text clearly grounded in the formalism now known as
395:
344:
201:
93:
385:
370:
84:
53:
46:
337:
91:(page 145). Contemporary notation for logic owes more to this text than it does to the notation of
34:
290:
263:
251:
158:
38:
26:
321:
224:
181:
137:
57:
42:
364:
247:
114:
73:
65:
22:
229:
186:
142:
280:
88:
275:
69:
80:
273:
Translators: Lewis M. Hammond, George G. Leckie & F. Steinhardt (1999)
309:
270:. This text went into four subsequent German editions, the last in 1972.
285:
Hendricks, Neuhaus, Petersen, Scheffler and
Wansing (eds.) (2004).
317:
21:
is the 1950 American translation of the 1938 second edition of
325:
72:in 1936. The latter was answered affirmatively by
52:The 1928 edition included a clear statement of the
60:) for FOL, and also asked whether that logic was
97:, long popular in the English speaking world.
345:
8:
352:
338:
228:
185:
141:
106:
7:
306:
304:
324:. You can help Knowledge (XXG) by
14:
256:Grundzüge der theoretischen Logik
208:Grundzüge der theoretischen Logik
165:Grundzüge der theoretischen Logik
121:Grundzüge der theoretischen Logik
31:Grundzüge der theoretischen Logik
308:
276:Principles of Mathematical Logic
260:Principles of Mathematical Logic
18:Principles of Mathematical Logic
230:10.1090/s0002-9904-1930-04859-4
210:by D. Hilbert and W. Ackermann"
187:10.1090/s0002-9904-1938-06760-2
143:10.1090/s0002-9904-1953-09701-4
1:
45:and nearly all treatments of
287:First-order logic revisited
412:
303:
381:1938 non-fiction books
376:1928 non-fiction books
320:-related article is a
79:In its description of
391:Mathematics textbooks
217:Bull. Amer. Math. Soc
174:Bull. Amer. Math. Soc
130:Bull. Amer. Math. Soc
94:Principia Mathematica
83:, mention is made of
68:and independently by
262:). Springer-Verlag,
54:Entscheidungsproblem
47:axiomatic set theory
35:mathematical logic
333:
332:
289:. Logos Verlag,
252:Wilhelm Ackermann
115:Curry, Haskell B.
85:Russell's paradox
39:first-order logic
33:, on elementary
27:Wilhelm Ackermann
403:
396:History of logic
354:
347:
340:
312:
305:
235:
234:
232:
214:
198:
192:
191:
189:
171:
155:
149:
147:
145:
127:
111:
58:decision problem
43:Peano arithmetic
29:'s classic text
411:
410:
406:
405:
404:
402:
401:
400:
361:
360:
359:
358:
301:
244:
239:
238:
212:
200:
199:
195:
169:
159:Rosser, Barkley
157:
156:
152:
125:
113:
112:
108:
103:
12:
11:
5:
409:
407:
399:
398:
393:
388:
383:
378:
373:
363:
362:
357:
356:
349:
342:
334:
331:
330:
313:
299:
298:
283:
271:
243:
240:
237:
236:
202:Langford, C. H
193:
180:(7): 474–475.
167:(2nd edition)"
150:
136:(3): 263–267.
123:(3rd edition)"
105:
104:
102:
99:
13:
10:
9:
6:
4:
3:
2:
408:
397:
394:
392:
389:
387:
384:
382:
379:
377:
374:
372:
369:
368:
366:
355:
350:
348:
343:
341:
336:
335:
329:
327:
323:
319:
314:
311:
307:
302:
296:
295:3-8325-0475-3
292:
288:
284:
282:
278:
277:
272:
269:
268:0-8218-2024-9
265:
261:
257:
253:
249:
248:David Hilbert
246:
245:
241:
231:
226:
222:
218:
211:
209:
203:
197:
194:
188:
183:
179:
175:
168:
166:
160:
154:
151:
144:
139:
135:
131:
124:
122:
116:
110:
107:
100:
98:
96:
95:
90:
86:
82:
77:
75:
71:
67:
66:Alonzo Church
63:
59:
55:
50:
48:
44:
40:
36:
32:
28:
24:
23:David Hilbert
20:
19:
326:expanding it
315:
300:
286:
281:Google Books
274:
259:
255:
223:(1): 22–25.
220:
216:
207:
196:
177:
173:
164:
153:
133:
129:
120:
109:
92:
89:Liar paradox
78:
51:
30:
17:
16:
15:
386:Logic books
371:Logic stubs
206:"Review of
70:Alan Turing
365:Categories
242:References
81:set theory
74:Kurt Gödel
163:"Review:
119:"Review:
76:in 1929.
254:(1928).
204:(1930).
161:(1938).
117:(1953).
87:and the
62:complete
25:'s and
293:
266:
318:logic
316:This
213:(PDF)
170:(PDF)
126:(PDF)
101:Notes
322:stub
291:ISBN
264:ISBN
250:and
279:at
225:doi
182:doi
138:doi
367::
221:36
219:.
215:.
178:44
176:.
172:.
134:59
132:.
128:.
49:.
353:e
346:t
339:v
328:.
258:(
233:.
227::
190:.
184::
146:.
140::
56:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.