+ All Categories
Home > Documents > Bernays & Hilbert

Bernays & Hilbert

Date post: 07-Apr-2018
Category:
Upload: cedilla
View: 232 times
Download: 0 times
Share this document with a friend
29
Bernays Project: Text No. 12 Foundations of Mathematics Vol. 1 (1934) David Hilbert/Paul Bernays (Grundlagen der Mathematik, Vol. 1) Translation by: Ian Mueller Comments: V olker Pec khaus, p ar. 1, Mark Rav aglia § 1. The Problem of consistency in axiomatics as a logical deci- sion problem. The state of research in the eld of foundations of mathematics, to which our presentation is related, is characterized by three kinds of investigations: 1. the development of the axiomatic method, especially with the help of the foundations of geometry, 2. the founding of analysis by today’s rigorous methods through the re- duction of the theory of magnitudes to the theory of numbers and sets of numbers, 3. investigations in the foundations of number theory and set theory. A deeper set of tasks, linked to the standpoint reached through these investigations, arises on the basis of methods subjected to stricter demands; 1
Transcript
Page 1: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 1/29

Page 2: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 2/29

Page 3: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 3/29

Page 4: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 4/29

Page 5: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 5/29

Page 6: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 6/29

Page 7: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 7/29

Page 8: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 8/29

Page 9: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 9/29

Page 10: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 10/29

Page 11: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 11/29

Page 12: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 12/29

Page 13: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 13/29

Page 14: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 14/29

Page 15: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 15/29

Page 16: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 16/29

Page 17: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 17/29

Page 18: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 18/29

Page 19: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 19/29

Page 20: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 20/29

Page 21: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 21/29

Page 22: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 22/29

Page 23: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 23/29

Page 24: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 24/29

Page 25: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 25/29

Page 26: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 26/29

Page 27: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 27/29

Page 28: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 28/29

Page 29: Bernays & Hilbert

8/6/2019 Bernays & Hilbert

http://slidepdf.com/reader/full/bernays-hilbert 29/29


Recommended