Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie: Eine Einfuhrung in Die Mathematische Logik Und Grundlagentheorie (Hochschultext) - Softcover

Jean-Louis Krivine, Georg Kreisel

 
9783540056546: Modelltheorie: Eine Einführung in die mathematische Logik und Grundlagentheorie: Eine Einfuhrung in Die Mathematische Logik Und Grundlagentheorie (Hochschultext)
Softcover
ISBN 10: 3540056548 ISBN 13: 9783540056546
Verlag: Springer Berlin Heidelberg, 1972

Inhaltsangabe

Wir betrachten hier jenen Teil der Grundlagenforschung, der die "intui­ tive" oder "inhaltliche" Mathematik, d. h. das, was ein gew6hnlicher Mathematiker unter Mathematik versteht, systematisch beschreibt und analysiert. Im deskriptiven Teil wird die informale Mathematik in einer formal en Sprache (z. B. der der Mengenlehre) neu formuliert. Eine solche Sprache hat, verglichen mit der Sprache der informalen Mathematik, ein sehr eingeschr~nktes Vokabular und eine vollkommen exakte Grammatik; dadurch wird naturlich die Pr~zision erh6ht und der Blick von Unwesentlichem befreit. Im Gegensatz zu einer weitverbreiteten Ansicht, die weiter unten diskutiert wird, ist die Neuformulierung (die wie jede Beschreibung eines intuitiv erfa~ten Gegenstandes wesentlich von unserer Auffassung seiner Natur abh~ngt) nur ein Hilfsmittel der Grundlagenforschung: es handelt sich n~mlich darum, die Bedeutung von S~tzen der informalen Mathematik richtig wiederzugeben und nicht deren syntaktische Struktur; denn der ~u~eren Form nach haben die formale und die informale Sprache (glucklicherweisel) wenig gemeinsam. Auch sollte man bemerken, da~ die durch die Umformulierung erzielte Pr~zision zwar die technische Entwick­ lung f6rdert, aber kaum geeignet ist, Schwierigkeiten zu beseitigen, die aus Unzul~nglichkeiten der ursprunglichen Begriffe entstehen (gerade das Gegenteil ist der Fall: durch Nachdenken uber informale Begriffe werden wir zu einer guten Formalisierung gefuhrt). In den wohlbekannten "Krisen" (siehe z. B. Teil A, Abschnitt 1 weiter unten) ruhrten die Widerspruche von durchaus expliziten Prinzipien (Axiomen, Regeln) her, so da~ diese Schwierigkeiten nichts mit ungenugender formaler Pr~zision zu tun hatten; das Problem lag vielmehr darin, unter verschiedenen, formal pr~zisen Prinzipien die gultigen herauszufinden.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Reseña del editor

Wir betrachten hier jenen Teil der Grundlagenforschung, der die "intui­ tive" oder "inhaltliche" Mathematik, d. h. das, was ein gew6hnlicher Mathematiker unter Mathematik versteht, systematisch beschreibt und analysiert. Im deskriptiven Teil wird die informale Mathematik in einer formal en Sprache (z. B. der der Mengenlehre) neu formuliert. Eine solche Sprache hat, verglichen mit der Sprache der informalen Mathematik, ein sehr eingeschr~nktes Vokabular und eine vollkommen exakte Grammatik; dadurch wird naturlich die Pr~zision erh6ht und der Blick von Unwesentlichem befreit. Im Gegensatz zu einer weitverbreiteten Ansicht, die weiter unten diskutiert wird, ist die Neuformulierung (die wie jede Beschreibung eines intuitiv erfa~ten Gegenstandes wesentlich von unserer Auffassung seiner Natur abh~ngt) nur ein Hilfsmittel der Grundlagenforschung: es handelt sich n~mlich darum, die Bedeutung von S~tzen der informalen Mathematik richtig wiederzugeben und nicht deren syntaktische Struktur; denn der ~u~eren Form nach haben die formale und die informale Sprache (glucklicherweisel) wenig gemeinsam. Auch sollte man bemerken, da~ die durch die Umformulierung erzielte Pr~zision zwar die technische Entwick­ lung f6rdert, aber kaum geeignet ist, Schwierigkeiten zu beseitigen, die aus Unzul~nglichkeiten der ursprunglichen Begriffe entstehen (gerade das Gegenteil ist der Fall: durch Nachdenken uber informale Begriffe werden wir zu einer guten Formalisierung gefuhrt). In den wohlbekannten "Krisen" (siehe z. B. Teil A, Abschnitt 1 weiter unten) ruhrten die Widerspruche von durchaus expliziten Prinzipien (Axiomen, Regeln) her, so da~ diese Schwierigkeiten nichts mit ungenugender formaler Pr~zision zu tun hatten; das Problem lag vielmehr darin, unter verschiedenen, formal pr~zisen Prinzipien die gultigen herauszufinden.

Reseña del editor

Translation of Elements de logique mathematique.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Berlin Heidelberg
Erscheinungsdatum
1972
Sprache
Deutsch
ISBN 10 
3540056548
ISBN 13 
9783540056546
Einband
Tapa blanda
Anzahl der Seiten
296
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland