Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Introduction. The School: Its Genesis, Development and Significance Kapitel lesen Erstes Kapitel lesen

2018 | OriginalPaper | Buchkapitel

A View of Revival of Mathematical Logic in Warsaw, 1945–1975

verfasst von : Victor W. Marek

Erschienen in: The Lvov-Warsaw School. Past and Present

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

This is a (biased) account of the revival of Foundations of Mathematical Logic, and more generally Foundations of Mathematics after WWII. The perspective is limited to years 1945–1975. This coincided with the activities of Professor Andrzej Mostowski, the principal leader of the foundational research in Poland during the reported time. Moreover, in this text, we focus on the development of Foundations in Warsaw, which misses an important aspect of the foundational research in Poland of the time, specifically in Wrocław. Even the description of the Warsaw efforts is incomplete, not covering Foundations of Geometry. We focus on activities of three main researchers: Andrzej Mostowski, Helena Rasiowa and Andrzej Grzegorczyk.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Jetzt informieren
Vorheriges Kapitel Ontology of Logic and Mathematics in Lvov-Warsaw School
Nächstes Kapitel Andrzej Mostowski and the Notion of a Model
Fußnoten
1
I believe that one of the articles in the present volume discusses this monograph.
 
2
The author of the present article was Mostowski’s Ph.D. student in 1964–1968.
 
Literatur
1.
Axiom of choice for finite sets. Fundam. Math. 33, 137–168 (1945)
2.
On definable sets of positive integers. Fundam. Math. 35, 81–112 (1947)
3.
Mathematical logic, An Academic Course. Mathematical Monographs, vol. 18. Warsaw-Wrocław (1948) (in Polish)
4.
Sentences undecidable in formalized arithmetic, An exposition of the theory of Kurt Gödel. Studies in Logic and the Foundations of Mathematics, North-Holland Publishing, Amsterdam (1952)
5.
(with Kuratowski, K.) Set theory. Mathematical Monographs, vol. 27. Polish Scientific Publishers, Warsaw-Wrocław (1952)
6.
(with Robinson, R.M. and Tarski, A.) Undecidability and essential undecidability in arithmetic. In: Tarski, A., Mostowski, A., Robinson, R.M.: Undecidable theories. Studies in Logic and the Foundations of Mathematics, Part II. North-Holland Publishing, Amsterdam (1953)
7.
8.
On a generalization of quantifiers. Fundam. Math. 44, 12–36 (1957)
9.
(with Grzegorczyk, A. and Ryll-Nardzewski, Cz.) The classical and the ω-complete arithmetic. J. Symb. Log. 23, 188–206 (1958)MathSciNetCrossRef
10.
Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta Philosophica Fennica 17, 1–180 (1965)
11.
Constructible sets with applications. Studies in Logic and the Foundations of Mathematics. Polish Scientific Publishers, Warsaw and North-Holland Publishing, Amsterdam (1969)
12.
Zygmunt, J.: Bibliography of Andrzej Mostowski. In: Ehrenfeucht, A., Marek, V.W., Srebrny, M.: Andrzej Mostowski and Foundational Studies. IOS Press, Amsterdam (2007)
1.
(with Sikorski, R.) A proof of the completeness theorem of Gödel. Fundam. Math. 37, 193–200 (1950)
2.
(with Sikorski, R.) Mathematics of metamathematics. Wydawnictwo Naukowe PWN, Warsaw (1963)
3.
An algebraic approach to non-classical logics. Studies in Logic and the Foundations of Mathematics, vol. 78, Wydawnictwo Naukowe PWN/North-Holland, Warszawa/Amsterdam (1974)
4.
Algebraic models of logics. Warsaw University (2001)
5.
Bartol, W., Orłowska, E., Skowron, A.: Helena Rasiowa, 1917–1994. Modern Logic 5(3), 231–247 (July 1995)MathSciNetMATH
6.
1.
Some Classes of Recursive Functions. Rozprawy Matematyczne Nr IV, Instytut Matematyczny PAN, Warsaw (1953)
2.
Zarys logiki matematycznej. Biblioteka Matematyczna tom 20, PWN, Warsaw (1961) (English version: An Outline of Mathematical Logic. Reidel-Holland (1974))
3.
Axiomatizability of geometry without points. Synthèse XII(2/3), 228–235 (1960)
4.
A theory without recursive models. Bulletin de l’Académie Polonaise des Sciences, Série Math. 10, 63–69 (1962)
5.
A philosophically plausible formal interpretation of intuitionistic logic. Indagationes Mathematicae XXVI, 596–601 (1964)
6.
Metadaten
Titel
A View of Revival of Mathematical Logic in Warsaw, 1945–1975
verfasst von
Victor W. Marek
Copyright-Jahr
2018
Buch
The Lvov-Warsaw School. Past and Present

Print ISBN: 978-3-319-65429-4

Electronic ISBN: 978-3-319-65430-0

Copyright-Jahr: 2018

DOI
https://doi.org/10.1007/978-3-319-65430-0_45