Modelltheorie

Eine Einführung in die mathematische Logik und Grundlagentheorie

AvGeorg Kreisel,Jean-Louis Krivine

Häftad, Tyska, 1972

Del i serien Hochschultext

519 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1972-06-23
Mått:178 x 254 x 17 mm
Vikt:561 g
Format:Häftad
Språk:Tyska
Serie:Hochschultext
Antal sidor:278
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540056546
Översättare:Joachim Jung

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

0 - Vorbereitungen. Definitionsschemata.- 1 - Aussagenkalkül.- Aufgaben.- 2 - Prädikatenkalkül.- Aufgaben.- 3 - Prädikatenkalkül mit Gleichheit.- Aufgaben.- 4 - Quantorenelimination.- Dichte Ordnungen mit erstem und letztem Element.- Diskrete Ordnungen ohne erstes und letztes Element.- Gewisse kommutative Gruppen mit diskreter Totalordnung.- Algebraisch abgeschlossene Körper.- Reell abgeschlossene Körper.- Atomare Boolesche Ringe.- Aufgaben.- 5 - Prädikatenkalkül mit mehreren Objektsorten.- Prädikatenkalkül mit k Objektsorten und Gleichheit.- Sprachen mit k Objektsorten, Gleichheit und Funktionszeichen.- Die Theorie der endlichen Typen.- Aufgaben.- 6 - Maximale Modelle, Modelle unendlicher Formeln.- Reduktion einer Klasse von Formeln zweiter Stufe.- Unendliche Formeln, die endlichstellige Relationen definieren.- Abzählbare Sprachen: Abz&hlbare Mengen von unendlichen Formeln.- Aufgaben.- 7 - Definierbarkeit.- Aufgaben.- ANHANG I - Die Axiomatische Methode.- ANHANG II - Grundlagen der Mathematik.- Die formalistisch-positivistische Doktrin der mathematischen Präzision.- Die Doktrin formaler Präzision.- Grundlegende Unterscheidungen.- Beispiele informaler Präzision.- Mängel der formalistischen Präzisionsdoktrin.- Der pragmatische Wert der formalistischen Doktrin.- Pädagogisches zur Grundlagenforschung.- A - Mengentheoretisch-semantische Grundlagen.- Zusammenfassung.- 1. Wie analysiert man intuitive Mathematik mit diesen Grundbegriffen.- Endliche Mengen: Verallgemeinerte Realisierungen. Der intuitive Ordinalzahlbegriff.- 2. Wie findet man Axiome für die mengentheoretischen Grundbegriffe?.- 3. Wie kann man die bisherige Theorie A*[A] verstärken?.- 4. Historische Bemerkungen. Weitere Informationen über den intuitiven Gültigkeitsbegriff.- B -Kombinatorische Grundlagen.- Zusammenfassung.- 0 - Kombinatorisches Schließen.- (a) Kombinatorische Sprachen und Realisierungen.- (b) Kombinatorische Realisierung einer Formel: Kombinatorische Giiltigkeit.- (c) Mengentheoretische Übersetzungen kombinatorischer Identitäten; nicht-kombinatorische Beweise dieser Übersetzungen.- 1 - Wie analysiert man intuitive Mathematik mit den kombinatorischen Grundbegriffen?.- (a) Repräsentation (Beschreibung) des mathe matischen Schließens mittels formaler Systeme.- (b) Reduktion intuitiver Prinzipien auf kombinatorische Prinzipien (Hilbertsches Widerspruchsfreiheitsproblem.- (c) Positive Lösungen zum Hilbertschen Problem.- 2 - Wie findet man Axiome für die kombinatorischen Grundbegriffe?.- (a).- (c) Ein formales System.- Konsequenzen für das Hilbertsche Programm.- 3 - Ausbau der Theorie.- 4 - Kritische Zusammenfassung.- (a) Vergleich zwischen mengentheoretischen und kombinatorischen Grundlagen.- (b) Doktrinäre Grundlagen.- (c) Grober Formalismus.- 5 - Aktuelle Forschungsaufgaben.- C - Vergleich zwischen der semantischen und syntaktischen (kombinatorischen) Einführung in die mathematische Logik.

Mer från samma författare

Modelltheorie

Jean-Louis Krivine, Georg Kreisel

E-bok

2013

452 kr

Mer från samma serie

Maß und Kategorie

J.C. Oxtoby

Häftad, 1971

519 kr

Spieltheorie

G. Owen

Häftad, 1971

519 kr

Netzwerksynthese

W. Rupprecht

Häftad, 1972

571 kr

Kategorien

S. MacLane

Häftad, 1972

623 kr

Einführung in die Theorie des Verkehrsflusses

Wilhelm Leutzbach

Häftad, 1972

519 kr

Elastostatik und Elastokinetik in Matrizenschreibweise

R. Uhrig

Häftad, 1973

519 kr

Einführung in die Algebra

H. Lüneburg

Häftad, 1983

519 kr

Elektrische Maschinen

Helmut Späth

Häftad, 1973

519 kr

Nachrichtenübertragung

Hellmuth Wolf

Häftad, 1974

571 kr

Mathematische Theorie statistischer Experimente

Herbert Heyer

Häftad, 1973

519 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Modelltheorie

Jean-Louis Krivine, Georg Kreisel

E-bok

2013

452 kr

Die Politischen Rechte Der Auslander in Der Bundesrepublik

Klaus-Peter Dolde

Häftad, 1972

613 kr

Recht und Staat

Leonard Nelson, Arnold Gysin

Inbunden, 1972

1 074 kr

Kritik der praktischen Vernunft

Leonard Nelson

Inbunden, 1972

1 249 kr

Psychology of Learning and Motivation

Elsevier Science

E-bok

1972

767 kr

Advances in Catalysis

Elsevier Science

E-bok

1972

789 kr

Methods of Intermediate Problems for Eigenvalues: Theory and Ramifications

W. Stenger, A. Weinstein

E-bok

1972

1 674 kr

10% rabatt på allt

Jag lät mitt rykte ta min plats : en berättelse om Olle Ljungström

Fredrik Emdén

Kartonnage, 2026

259 kr

Nyhet

Jargong : Här har vi högt i tak

Johan Pettersson

Häftad, 2026

275 kr

Modelltheorie

Eine Einführung in die mathematische Logik und Grundlagentheorie

AvGeorg Kreisel,Jean-Louis Krivine

Häftad, Tyska, 1972

Del i serien Hochschultext

519 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1972-06-23
Mått:178 x 254 x 17 mm
Vikt:561 g
Format:Häftad
Språk:Tyska
Serie:Hochschultext
Antal sidor:278
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540056546
Översättare:Joachim Jung

Utforska kategorier

Matematik inom Naturvetenskap och teknik

Innehållsförteckning

0 - Vorbereitungen. Definitionsschemata.- 1 - Aussagenkalkül.- Aufgaben.- 2 - Prädikatenkalkül.- Aufgaben.- 3 - Prädikatenkalkül mit Gleichheit.- Aufgaben.- 4 - Quantorenelimination.- Dichte Ordnungen mit erstem und letztem Element.- Diskrete Ordnungen ohne erstes und letztes Element.- Gewisse kommutative Gruppen mit diskreter Totalordnung.- Algebraisch abgeschlossene Körper.- Reell abgeschlossene Körper.- Atomare Boolesche Ringe.- Aufgaben.- 5 - Prädikatenkalkül mit mehreren Objektsorten.- Prädikatenkalkül mit k Objektsorten und Gleichheit.- Sprachen mit k Objektsorten, Gleichheit und Funktionszeichen.- Die Theorie der endlichen Typen.- Aufgaben.- 6 - Maximale Modelle, Modelle unendlicher Formeln.- Reduktion einer Klasse von Formeln zweiter Stufe.- Unendliche Formeln, die endlichstellige Relationen definieren.- Abzählbare Sprachen: Abz&hlbare Mengen von unendlichen Formeln.- Aufgaben.- 7 - Definierbarkeit.- Aufgaben.- ANHANG I - Die Axiomatische Methode.- ANHANG II - Grundlagen der Mathematik.- Die formalistisch-positivistische Doktrin der mathematischen Präzision.- Die Doktrin formaler Präzision.- Grundlegende Unterscheidungen.- Beispiele informaler Präzision.- Mängel der formalistischen Präzisionsdoktrin.- Der pragmatische Wert der formalistischen Doktrin.- Pädagogisches zur Grundlagenforschung.- A - Mengentheoretisch-semantische Grundlagen.- Zusammenfassung.- 1. Wie analysiert man intuitive Mathematik mit diesen Grundbegriffen.- Endliche Mengen: Verallgemeinerte Realisierungen. Der intuitive Ordinalzahlbegriff.- 2. Wie findet man Axiome für die mengentheoretischen Grundbegriffe?.- 3. Wie kann man die bisherige Theorie A*[A] verstärken?.- 4. Historische Bemerkungen. Weitere Informationen über den intuitiven Gültigkeitsbegriff.- B -Kombinatorische Grundlagen.- Zusammenfassung.- 0 - Kombinatorisches Schließen.- (a) Kombinatorische Sprachen und Realisierungen.- (b) Kombinatorische Realisierung einer Formel: Kombinatorische Giiltigkeit.- (c) Mengentheoretische Übersetzungen kombinatorischer Identitäten; nicht-kombinatorische Beweise dieser Übersetzungen.- 1 - Wie analysiert man intuitive Mathematik mit den kombinatorischen Grundbegriffen?.- (a) Repräsentation (Beschreibung) des mathe matischen Schließens mittels formaler Systeme.- (b) Reduktion intuitiver Prinzipien auf kombinatorische Prinzipien (Hilbertsches Widerspruchsfreiheitsproblem.- (c) Positive Lösungen zum Hilbertschen Problem.- 2 - Wie findet man Axiome für die kombinatorischen Grundbegriffe?.- (a).- (c) Ein formales System.- Konsequenzen für das Hilbertsche Programm.- 3 - Ausbau der Theorie.- 4 - Kritische Zusammenfassung.- (a) Vergleich zwischen mengentheoretischen und kombinatorischen Grundlagen.- (b) Doktrinäre Grundlagen.- (c) Grober Formalismus.- 5 - Aktuelle Forschungsaufgaben.- C - Vergleich zwischen der semantischen und syntaktischen (kombinatorischen) Einführung in die mathematische Logik.