Die Leitgedanken meiner Untersuchungen über die Grundlagen der Mathematik, die ich - anknüpfend an frühere Ansätze - seit 1917 in Besprechungen mit P. BERNAYS wieder aufgenommen habe, sind von mir an verschiedenen Stellen eingehend dargelegt worden. Diesen Untersuchungen, an denen auch W. ACKERMANN beteiligt ist, haben sich seither noch verschiedene Mathematiker angeschlossen. Der hier in seinem ersten Teil vorliegende, von BERNAYS abgefaßte und noch fortzusetzende Lehrgang bezweckt eine Darstellung der Theorie nach ihren heutigen Ergebnissen. Dieser Ergebnisstand weist zugleich die Richtung für die weitere Forschung in der Beweistheorie auf das Endziel hin, unsere üblichen Methoden der Mathematik samt und sonders als widerspruchsfrei zu erkennen. Im Hinblick auf dieses Ziel möchte ich hervorheben, daß die zeit weilig aufgekommene Meinung, aus gewissen neueren Ergebnissen von GÖDEL folge die Undurchführbarkeit meiner Beweistheorie, als irrtüm lich erwiesen ist. Jenes Ergebnis zeigt in der Tat auch nur, daß man für die weitergehenden Widerspruchsfreiheitsbeweise den finiten Stand punkt in einer schärferen Weise ausnutzen muß, als dieses bei der Be trachtung der elementaren Formallsmen erforderlich ist. Göttingen, im März 1934 HILBERT Vorwort zur ersten Auflage Eine Darstellung der Beweistheorie, welche aus dem HILBERTschen Ansatz zur Behandlung der mathematisch-logischen Grundlagenpro bleme erwachsen ist, wurde schon seit längerem von HILBERT ange kündigt.
Band 106
Kartonierter Einband (Kt) | 2012
Band 118
Kartonierter Einband (Kt) | 2012
Band 12
Kartonierter Einband (Kt) | 1924
Band 14
Kartonierter Einband (Kt) | 2013
Band 15
Kartonierter Einband (Kt) | 1925
Band 167
Kartonierter Einband (Kt) | 2012
Band 180
Kartonierter Einband (Kt) | 2011
Band 2
Kartonierter Einband (Kt) | 1964
Band 23
Kartonierter Einband (Kt) | 2011
Band 26
Kartonierter Einband (Kt) | 2012
Band 260
Kartonierter Einband (Kt) | 2014
Band 27
Kartonierter Einband (Kt) | 2011
Band 29
Kartonierter Einband (Kt) | 1929
Band 293
Kartonierter Einband (Kt) | 2010
Band 310
Kartonierter Einband (Kt) | 2010
Band 311
Fester Einband | 1996
Band 319
Fester Einband | 1999
Band 320
Kartonierter Einband (Kt) | 2010
Band 322
Kartonierter Einband (Kt) | 2010
Band 323
Kartonierter Einband (Kt) | 2016
Band 325
Kartonierter Einband (Kt) | 2018
Band 327
Fester Einband | 2002
Band 327
Kartonierter Einband (Kt) | 2010
Band 328
Kartonierter Einband (Kt) | 2012
Band 33-34
Kartonierter Einband (Kt) | 1937
Band 330
Fester Einband | 2005
Band 330
Kartonierter Einband (Kt) | 2010
Band 331
Fester Einband | 2005
Band 331
Kartonierter Einband (Kt) | 2010
Band 332
Fester Einband | 2005
Band 332
Kartonierter Einband (Kt) | 2010
Band 333
Fester Einband | 2006
Band 333
Kartonierter Einband (Kt) | 2010
Band 334
Fester Einband | 2006
Band 334
Kartonierter Einband (Kt) | 2010
Band 335
Kartonierter Einband (Kt) | 2010
Band 335
Fester Einband | 2006
Band 338
Kartonierter Einband (Kt) | 2016
Band 342
Kartonierter Einband (Kt) | 2016
Band 344
Kartonierter Einband (Kt) | 2013
Band 345
Kartonierter Einband (Kt) | 2014
Band 347
Fester Einband | 2012
Band 348
Fester Einband | 2013
Band 351
Kartonierter Einband (Kt) | 2018
Band 352
Fester Einband | 2019
Band 358
Fester Einband | 2021
Band 4
Kartonierter Einband (Kt) | 2014
Band 40
Kartonierter Einband (Kt) | 2012
Band 43
Kartonierter Einband (Kt) | 2012
Band 50
Kartonierter Einband (Kt) | 2012
Band 52
Kartonierter Einband (Kt) | 1943
Band 52
Kartonierter Einband (Kt) | 2012
Band 6
Kartonierter Einband (Kt) | 2012
Band 7
Kartonierter Einband (Kt) | 1923
Band 79
Kartonierter Einband (Kt) | 2012
Band 82
Kartonierter Einband (Kt) | 2012
Band 88
Kartonierter Einband (Kt) | 2012
Band 94
Kartonierter Einband (Kt) | 2013
Band 98
Kartonierter Einband (Kt) | 2012