Grundlagen der Mathematik I: Grundlehren der mathematischen Wissenschaften, cartea 40
Autor David Hilbert, Paul Bernaysde Limba Germană Paperback – 4 aug 2012
Din seria Grundlehren der mathematischen Wissenschaften
- Preț: 353.84 lei
- 18% Preț: 723.26 lei
- Preț: 410.21 lei
- 24% Preț: 587.87 lei
- 17% Preț: 498.73 lei
- Preț: 592.75 lei
- 24% Preț: 893.28 lei
- 20% Preț: 824.73 lei
- 24% Preț: 632.96 lei
- 15% Preț: 584.63 lei
- 15% Preț: 700.05 lei
- Preț: 333.01 lei
- 15% Preț: 463.61 lei
- Preț: 349.35 lei
- Preț: 474.65 lei
- 15% Preț: 443.67 lei
- Preț: 447.46 lei
- 15% Preț: 694.42 lei
- Preț: 414.57 lei
- 15% Preț: 435.33 lei
- 15% Preț: 517.16 lei
- 15% Preț: 577.75 lei
- Preț: 346.30 lei
- 18% Preț: 712.93 lei
- Preț: 380.17 lei
- 15% Preț: 445.58 lei
- 15% Preț: 471.31 lei
- Preț: 455.19 lei
- Preț: 341.78 lei
- Preț: 354.78 lei
- Preț: 478.30 lei
- 15% Preț: 438.54 lei
- Preț: 411.37 lei
- Preț: 380.72 lei
- Preț: 410.79 lei
- 15% Preț: 569.27 lei
- Preț: 487.73 lei
- Preț: 353.28 lei
- Preț: 379.96 lei
- Preț: 411.37 lei
- 18% Preț: 711.07 lei
- Preț: 444.63 lei
- Preț: 378.63 lei
- Preț: 352.33 lei
Preț: 526.61 lei
Preț vechi: 619.54 lei
-15% Nou
Puncte Express: 790
Preț estimativ în valută:
100.81€ • 104.79$ • 83.59£
100.81€ • 104.79$ • 83.59£
Carte tipărită la comandă
Livrare economică 05-19 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642868955
ISBN-10: 3642868959
Pagini: 500
Ilustrații: XVI, 480 S. 1 Abb.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 2nd ed. 1968
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Grundlehren der mathematischen Wissenschaften
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642868959
Pagini: 500
Ilustrații: XVI, 480 S. 1 Abb.
Dimensiuni: 155 x 235 x 30 mm
Greutate: 0.69 kg
Ediția:Softcover reprint of the original 2nd ed. 1968
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Grundlehren der mathematischen Wissenschaften
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
§ 1. Das Problem der Widerspruchsfreiheit in der Axiomatik als logisches Entscheidungsproblem.- a) Formale Axiomatik.- b) Das Entscheidungsproblem.- c) Die Frage der Widerspruchsfreiheit bei unendlichem Individuenbereich.- § 2. Die elementare Zahlentheorie. — Das finite Schließen und seine Grenzen.- a) Die Methode der anschaulichen Überlegung und ihre Anwendung in der elementaren Zahlentheorie.- b) Weitere Anwendungen anschaulicher Überlegungen.- c) Der finite Standpunkt; Überschreitung dieses Standpunktes bereits in der Zahlentheorie.- d) Nichtfinite Methoden in der Analysis.- e) Untersuchungen zur direkten finiten Begründung der Arithmetik; Rückkehr zur früheren Problemstellung; die Beweistheorie.- § 3. Die Formalisierung des logischen Schließens I: Der Aussagenkalkul.- a) Theorie der Wahrheitsfunktionen.- b) Anwendung der Theorie der Wahrheitsfunktionen auf das logische Schließen; Formalisierung aussagenlogischer Schlüsse mittels der identisch wahren Ausdrücke, der Einsetzungsregel und des Schlußschemas.- c) Deduktive Aussagenlogik.- d) Unabhängigkeitsbeweise nach der Methode der Wertung.- e) Rückkehr zu der unter b) betrachteten Art der Formalisierung des Schließens; abkürzende Regeln; Bemerkung über den Fall eines Widerspruchs.- § 4. Die Formalisierung des Schließens II: Der Prädikatenkalkul.- a) Einführung der Individuenvariablen; Begriff der Formel; Einsetzungsregel; Beispiel; Vergleich mit dem inhaltlichen Schließen.- b) Die gebundenen Variablen und die Regeln für Allzeichen und Seinszeichen.- c) Ausführung von Ableitungen.- d) Systematische Fragen.- e) Betrachtungen über den Formalismus des Prädikatenkalkuls.- f) Deduktionsgleichheit und Deduktionstheorem.- § 5. Hinzunahme der Identität. Vollständigkeit des einstelligenPrädikatenkalkuls.- a) Erweiterung des Formalismus.- b) Lösung von Entscheidungsproblemen; Vollständigkeitssätze.- § 6. Widerspruchsfreiheit unendlicher Individuenbereiche. Anfänge der Zahlentheorie.- a) Überleitung von der Frage der Unableitbarkeit gewisser im Endlichen identischer Formeln des Prädikatenkalkuls zur Frage der Widerspruchsfreiheit eines zahlentheoretischen Axiomensystems.- b) Allgemein logischer Teil des Nachweises der Widerspruchsfreiheit.- c) Durchführung des Nachweises der Widerspruchsfreiheit mittels eines Reduktionsverfahrens.- d) Übergang zu einem (im Bereich der Formeln ohne Formelvariablen) deduktiv abgeschlossenen Axiomensystem.- e) Einbeziehung der vollständigen Induktion.- f) Unabhängigkeitsbeweise.- g) Darstellung des Prinzips der kleinsten Zahl durch eine Formel; Gleichwertigkeit dieser Formel mit dem Induktionsaxiom bei Zugrundelegung der übrigen Axiome des Systems (B).- § 7. Die rekursiven Definitionen.- a) Grundsätzliche Erörterungen.- b) Die rekursive Zahlentheorie.- c) Erweiterungen des Schemas der Rekursion und des Induktionsschemas.- d) Vertretbarkeit rekursiver Funktionen; Übergang zu einem für die Zahlentheorie ausreichenden Axiomensystem.- e) Ergänzende Betrachtungen über die Gleichheitsaxiome.- § 8. Der Begriff „derjenige, welcher“ und seine Eliminierbarkeit.- a) Die ?-Regel und ihre Handhabung.- b) Deduktive Entwicklung der Zahlentheorie auf Grund des Axiomensystems (Z) unter Hinzunahme des formalisierten Begriffs der kleinsten Zahl.- c) Zurückführung primitiver Rekursionen auf explizite Definitionen mittels der Funktion ?xA (x) bei Zugrundelegung des Systems (Z).- d) Die Eliminierbarkeit der Kennzeichnungen (der ? -Symbole).- e) Folgerungen aus der Eliminierbarkeit der Kennzeichnungen.- f)Nachtrag: Ausdehnung des Satzes über die Vertretbarkeit des Gleichheitsaxioms (J2) bei Hinzunahme der ?-Regel.- Namenverzeichnis.