Access the full text.
Sign up today, get DeepDyve free for 14 days.
References for this paper are not available at this time. We will be adding them shortly, thank you for your patience.
Die Grundlagen der Mathematikl). Vortrag, gehalten auf Einladung des Mathematischen Seminars im Juli 1927 in Hamburg. Von DAVID HILBERT aus Giittingen. Es ist ffir mich eine hohe Ehre und zugleich ein Bedfiffnis, meine Gedanken fiber die Grundlagen der Mathematik, die ich seinerzeit vor fiinf Jahren hier entwickelt habe, und die reich seitdem dauernd aufs lebhafteste beschi~ftigt haben, zu ergi~nzen und weiterzuffihren. Mit dieser Neubegrfindung der Mathematik, die man ftiglich als eine Beweis- theorie bezeichnen kann, verfolge ich ein bedeutsames Ziel: ich mOchte namlich die Grundlagenfragen in der Mathematik als solche endgfiltig aus der Welt schaffen, indem ich jede mathematische Aussage zu einer konkret aufweisbaren und streng ableitbaren Formel mache und dadurch die mathematischen Begriffsbildungen und Schltisse in eine solche Fassung bringe, da~ sie unwiderleglich sind und doch ein Bild der gesamteu Wissenschaft liefern. Ich glaube dieses Ziel mit meiner Beweistheorie vCillig erreichen zu k(~nnen, wenn auch bis zu ihrer vSlligen Fertig- stellung noch sehr viele Arbeit n(itig sein wird. Die Mathematik wie jede andere Wissenschaft kann nie durch Logik allein begriindet werden; vielmehr ist als Vorbedingung fiir die Anwendung logischer Schliisse und fib" die Betatigung logischer Opera- tionen uns schon etwas in der Vorstellung gegeben: gewisse au~er- logischc konkrete
Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg – Springer Journals
Published: Aug 27, 2008
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.