Zur Startseite gehen
0,00 €*
Cover: 9780387962092 | Self-Reference and Modal Logic | Craig Smorynski | Taschenbuch | 1985
Dekorationsartikel gehören nicht zum Leistungsumfang.
Self-Reference and Modal Logic
Taschenbuch von Craig Smorynski
Sprache: Englisch

117,69 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyting, the foremost disciple of L. E. J. Brouwer, has spoken on intuitionism; Rudolf Carnap of the Vienna Circle has expounded on logicism; Johann (formerly Janos and in a few years to be Johnny) von Neumann has explained Hilbert's proof theory-- the so-called formalism; and Hans Hahn has just propounded his own empiricist views of mathematics. The floor is open for general discussion, in the midst of which Heyting announces his satisfaction with the meeting. For him, the relationship between formalism and intuitionism has been clarified: There need be no war between the intuitionist and the formalist. Once the formalist has successfully completed Hilbert's programme and shown "finitely" that the "idealised" mathematics objected to by Brouwer proves no new "meaningful" statements, even the intuitionist will fondly embrace the infinite. To this euphoric revelation, a shy young man cautions~ "According to the formalist conception one adjoins to the meaningful statements of mathematics transfinite (pseudo-')statements which in themselves have no meaning but only serve to make the system a well-rounded one just as in geometry one achieves a well­ rounded system by the introduction of points at infinity.
It is Sunday, the 7th of September 1930. The place is Konigsberg and the occasion is a small conference on the foundations of mathematics. Arend Heyting, the foremost disciple of L. E. J. Brouwer, has spoken on intuitionism; Rudolf Carnap of the Vienna Circle has expounded on logicism; Johann (formerly Janos and in a few years to be Johnny) von Neumann has explained Hilbert's proof theory-- the so-called formalism; and Hans Hahn has just propounded his own empiricist views of mathematics. The floor is open for general discussion, in the midst of which Heyting announces his satisfaction with the meeting. For him, the relationship between formalism and intuitionism has been clarified: There need be no war between the intuitionist and the formalist. Once the formalist has successfully completed Hilbert's programme and shown "finitely" that the "idealised" mathematics objected to by Brouwer proves no new "meaningful" statements, even the intuitionist will fondly embrace the infinite. To this euphoric revelation, a shy young man cautions~ "According to the formalist conception one adjoins to the meaningful statements of mathematics transfinite (pseudo-')statements which in themselves have no meaning but only serve to make the system a well-rounded one just as in geometry one achieves a well­ rounded system by the introduction of points at infinity.
Inhaltsverzeichnis
0. Introduction.- 1. The Incompleteness Theorems.- 2. Self-Reference.- 3. Things to Come.- 4. The Theory PRA.- 5. Encoding Syntax in PRA.- 6. Additional Arithmetic Prerequisites.- I. The Logic of Provability.- 1. Provability as Modality.- 2. Modal Model Theory.- 3. Arithmetic Interpretations of PRL.- II. Multi-Modal Logic and Self-Reference.- 4. Bi-Modal Logics and Their Arithmetic Interpretations.- 5. Fixed Point Algebras.- III. Non-Extensional Self-Reference.- 6. Rosser Sentences.- 7. An Ubiquitous Fixed Point Calculation.
Details
Erscheinungsjahr: 1985
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Universitext
Inhalt: 333 S.
ISBN-13: 9780387962092
ISBN-10: 0387962093
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Auflage: Softcover reprint of the original 1st ed. 1985
Hersteller: Springer New York
Springer US, New York, N.Y.
Universitext
Maße: 235 x 155 x 20 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 23.09.1985
Gewicht: 0,534 kg
Artikel-ID: 107102125
Inhaltsverzeichnis
0. Introduction.- 1. The Incompleteness Theorems.- 2. Self-Reference.- 3. Things to Come.- 4. The Theory PRA.- 5. Encoding Syntax in PRA.- 6. Additional Arithmetic Prerequisites.- I. The Logic of Provability.- 1. Provability as Modality.- 2. Modal Model Theory.- 3. Arithmetic Interpretations of PRL.- II. Multi-Modal Logic and Self-Reference.- 4. Bi-Modal Logics and Their Arithmetic Interpretations.- 5. Fixed Point Algebras.- III. Non-Extensional Self-Reference.- 6. Rosser Sentences.- 7. An Ubiquitous Fixed Point Calculation.
Details
Erscheinungsjahr: 1985
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Universitext
Inhalt: 333 S.
ISBN-13: 9780387962092
ISBN-10: 0387962093
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Smorynski, Craig
Auflage: Softcover reprint of the original 1st ed. 1985
Hersteller: Springer New York
Springer US, New York, N.Y.
Universitext
Maße: 235 x 155 x 20 mm
Von/Mit: Craig Smorynski
Erscheinungsdatum: 23.09.1985
Gewicht: 0,534 kg
Artikel-ID: 107102125
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783540620389 | Transcendental Methods in Algebraic Geometry | Gang Tian (u. a.)
Transcendental Methods in Algebraic Geometry
Lectures given at the 3rd Session of the Centro Internazionale Matematico Estivo (C.I.M.E.), held in Cetraro, Italy,...
EAN: 9783540620389
Sprache: Englisch
Von/Mit: Jean-Pierre Demailly (u. a.)

53,49 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9781446903230 | Edexcel Award in Algebra Level 3 Workbook | Taschenbuch | Englisch
Edexcel Award in Algebra Level 3 Workbook
EAN: 9781446903230
Sprache: Englisch

19,35 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780199680719 | Maths Skills for Pharmacy | Unlocking pharmaceutical calculations
Maths Skills for Pharmacy
Unlocking pharmaceutical calculations
EAN: 9780199680719
Sprache: Englisch
Von/Mit: Chris Langley (u. a.)

50,81 €*

Aktuell nicht verfügbar

Buch
Cover: 9783319062655 | Operator Theory in Harmonic and Non-commutative Analysis | Buch | vii
Operator Theory in Harmonic and Non-commutative Analysis
23rd International Workshop in Operator Theory and its Applications, Sydney, July 2012
EAN: 9783319062655
Sprache: Englisch
Von/Mit: Joseph A. Ball (u. a.)

106,99 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783319024400 | Cohomological Aspects in Complex Non-Kähler Geometry | Daniele Angella
Cohomological Aspects in Complex Non-Kähler Geometry
EAN: 9783319024400
Sprache: Englisch
Von/Mit: Daniele Angella

37,44 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780521139519 | Numerical Methods of Statistics | John F. Monahan | Taschenbuch | 2011
Numerical Methods of Statistics
EAN: 9780521139519
Sprache: Englisch
Von/Mit: John F. Monahan

62,70 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783330877528 | Eléments de statistiques pour les "non initiés" | Joé Clauvis Diffo
Eléments de statistiques pour les "non initiés"
EAN: 9783330877528
Sprache: Französisch
Von/Mit: Joé Clauvis Diffo

55,90 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783030096052 | Great Circle of Mysteries | Mathematics, the World, the Mind | Gromov
Great Circle of Mysteries
Mathematics, the World, the Mind
EAN: 9783030096052
Sprache: Englisch
Von/Mit: Misha Gromov

128,39 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9780578908151 | Profit First for Lawn Care and Landscape Businesses | Christeen Era
Profit First for Lawn Care and Landscape Businesses
EAN: 9780578908151
Sprache: Englisch
Von/Mit: Christeen Era

24,60 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...