Translations

Date: 11 August 2006

Please, note that these documents are only for people working on the Bernays Project, or for personal use.

Note that these translations are still rough, and they won't be definitive until published.

Contact Steve Awodey or Dirk Schlimm if the electronic version is currently not available.



NEW!
All Bernays texts and their translations in this one handy archive:

Bernays.zip



WARNING!
The texts listed in the table below are outdated and are superseded by those in the archive above.


No.
Ab*
Title
Year
Pages
Words/Chars
First translation
Electr. version
Last update
1
 
Die Bedeutung Hilberts für die Philosophie der Mathematik
1922
7
4562 / 30501
Mancosu
LaTeX, PDF
2003-05-19
2
 
Über Hilberts Gedanken zur Grundlegung der Arithmetik
1922
10
3818 / 25337
Mancosu
LaTeX, PDF
2003-05-18
3
 
Review of A.Müller `Der Gegenstand der Mathematik'
 
3
1878 / 13474
Schlimm
 
OMIT
4
 
Erwiederung auf die Note von Herrn Aloys Müller
1923 
11
1833 / 12324
Mancosu
 
OMIT
5
A
Probleme der theoretischen Logik
1927
8
5439 / 36657
Sieg
LaTeX, PDF
2005-01-07
6
 
Zusatz zu Hilberts Vortrag `Die Grundlagen der Mathematik'
1927
5
1493 / 11837
Bauer-Mengelberg and Follesdal
LaTeX, PDF
2005-01-07
7
 
Über Nelsons Stellungnahme in der Philosophie der Mathematik
1928
8
2047 / 13806
Peckhaus
LaTeX, PDF
2004-02-15
8
 
Die Grundbegriffe der reinen Geometrie in ihrem Verhältnis zur Anschauung
1928
24
6757 / 44517
Peckhaus
LaTeX, PDF
2004-02-15
9
A
Die Philosophie der Mathematik und die Hilbertsche Beweistheorie
1930
42
17960 / 117424
Mancosu, Mueller
LaTeX, PDF
2004-03-08
10
 
Die Grundgedanken der Fries'schen Philosophie in ihrem Verhältnis zum heutigen Stand der Wissenschaft
1930
15
4262 / 27526
Peckhaus
LaTeX, PDF
2004-02-15
11
 
Die Methode des Nachweises von Widerspruchsfreiheit und ihre Grenzen
1932
2
595 / 4842
Schlimm
LaTeX, PDF
2003-05-06
12
 
Grundlagen der Mathematik, Vol.1 par.1-2
 
45
16268 / 101211
Mueller
Part 1: LaTeX, PDF.
Part 2: LaTeX, PDF
2003-06-25
13
A
Sur le platonisme dans les mathematiques
1935
18
6145 / 39587
Parsons
LaTeX, PDF
2002-11-26
14
 
Hilberts Untersuchungen über die Grundlagen der Arithmetik
1935
21
8367 / 60951
Schlimm
LaTeX, PDF
2003-05-08
15
A
Thesen und Bemerkungen zu den philosophischen Fragen und zur Situation der logisch-mathematischen Grundlagenforschung
1937
6
2099 / 16736
Schlimm
LaTeX, PDF
2003-04-16
15B
 
Grundsätzliche Betrachtungen zur Erkenntnistheorie
1937
12
 
Peckhaus
LaTeX, PDF
2004-03-08
16
 
Sur les questions methodologiques actuelles de la theorie hilbertienne de la demonstration
1938 
20
5698 / 43599 (?)
Buldt, Heinzmann
LaTeX, PDF
2002-11-26
17
 
Grundlagen der Mathematik, Vol.2 (Zur Einführung)
 
4
1393 / 9921
Schlimm
LaTeX, PDF
2003-10-20
18
A
Quelques points de vue concernant le probleme de l'evidence
1946
6
2944 / 18617
Parsons
LaTeX, PDF
2002-11-26
19
A
Mathematische Existenz und Widerspruchsfreiheit
1950
15
6931 / 49013
Sieg and Zach
LaTeX, PDF
2002-07-26
20
 
Zur Beurteilung der Situation in der beweistheoretischen Forschung (mit Diskussion)
1954
14
4010 / 27616
Schlimm
LaTeX, PDF
2003-05-17
21
A
Die Mathematik als ein zugleich Vertrautes und Unbekanntes
1954
7
 
Reck (Webermann)
LaTeX, PDF
2002-08-06
22
A
Betrachtungen zum Paradoxon von Thoralf Skolem
1957 
7
2408 / 17970
Schlimm
LaTeX, PDF
2003-05-19
23
A
Comments on Ludwig Wittgenstein's `Remarks on the Foundations of Mathematics'
1959
19
9729 / 63025
Translation in Benacerraf & Putnam
LaTeX, PDF
2003-05-19
24
A
Die Mannigfaltigkeit der Direktiven für die Gestaltung geometrischer Axiomensysteme
1959
16
4999 / 38210
Schlimm
LaTeX, PDF
2003-05-19
25
A
Zur Rolle der Sprache in erkenntnistheoretischer Hinsicht
1961
15
5835 / 41629
Schlimm
LaTeX, PDF
2003-10-20
26
A
Bemerkungen zur Philosophie der Mathematik
1969
7
2228 D/ 16674
Schlimm
LaTeX, PDF
2002-07-28
27
A
Die schematische Korrespondenz und die idealisierten Strukturen
1970
14
5253 / 34887
Reck
LaTeX, PDF
2002-08-06
28
A
Zum Symposium über die Grundlagen der Mathematik
1971
25
8600 / 56530
Awodey
LaTeX, PDF
2003-05-19
29
A
Preface to `Abhandlungen zur Philosophie der Mathematik' 1976
4
1428 / 9980
Sieg
LaTeX, PDF
2002-06-12
30
 
List of publications
 
 
 
Schlimm
PDF
 
31
 
Short biography (in: G.H Müller, Sets and classes)
1976
 
1163 / 7721
 
LaTeX, PDF
2001-08-17
31b
 
Longer biography
1979
 
3564 / 23730
 
LaTeX, PDF
2001-08-17
32
 
Hilbert, David
1967
 
 
 
LaTeX, PDF
2003-05-17

*:`A' indicates that the selection is included in the Abhandlungen

To print this document using Netscape, click here to open a new browser window with this page, then press the Print button on your browser.

[ Fun | Top of this page ]