Collected Papers: Volume 1: 1921-1934

ISBN-13: 9783319953656 / Angielski / Twarda / 2019 / 658 str.

Alfred Tarski

Opis

Alfred Tarski was one of the two giants of the twentieth-century development of logic, along with Kurt Goedel. The four volumes of this collection contain all of Tarski's papers and abstracts published during his lifetime, as well as a comprehensive bibliography. Here will be found many of the works, spanning the period 1921 through 1979, which are the bedrock of contemporary areas of logic, whether in mathematics or philosophy. These areas include the theory of truth in formalized languages, decision methods and undecidable theories, foundations of geometry, set theory, and model theory, algebraic logic, and universal algebra.

Spis treści

Przyczynek do aksjomatyki zbioru dobrze uporządkowanego (A contribution to the axiomatic of well-ordered sets).- Sur le terme primitif de la logistique.- Sur les truth-functions au sens de MM. Russell et Whitehead.- Sur quelques théoremès qui équivalent à l’axiome du choix.- O równoważności wielokątów (On the equivalence of polygons).- Sur les ensembles finis.- Sur la décomposition des ensembles de points en parties respectivement congruentes (with S. Banach).- Quelques théoremès sur les alephs.- Communication sur les recherches de la Théorie de Ensembles (with A. Lindenbaum).- Sur la décomposition des ensembles en sous-ensembles Presque dijoints.- Les fondements de la géometrie des corps.- Geshichtliche Entwicklung und gegenwärtiger Zustand der Gleichmächtigkeitstheorie und der Kardinalzahlarithmetik.- Les fonctions additives dans les classes abstraites et leur application au problème de le mesure.- Zjazd matematyków (The meeting of mathematicians).- Sur la décomposition des ensembles en sous-ensembles presque disjoints (Supplément à la note sous le même titre).- Na marginesie "Rozporządzenia Prezydenta Rzeczypospolitej o ubezpieczeniu pracowników umysłowych z dnia 24 listopada 1927r." (On the margin of "Decree of the President of the Republic concerning the insurance of non-manual workers of November 24, 1927").- Une contribution à la théorie de la mesure.- Sur une propriété caracteristique des nombres inaccessibles (with W. Sierpiński).- Über Äquivalenz der Mengen in bezug auf eine beliebige Klasse von Abbildungen.- Über einige fundamentale Begriffe der Metamathematik.- Untersuchungen uber den Aussagenkalkul (with J. Łukasiewicz).- Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften, I.- Sur les classes d’ensembles closes par rapport à certaines operations élémentaires.- Sur les ensembles définissables de nombres réels, I.- Les opérations logiques et les ensembles projectifs (with C. Kuratowski).- O stopniu równoważności wielokątów (On the degree of equivalence of polygons).- The degree of equivalence of polygons (English translation by Isaak Wirszup of the preceding article).- Teorja długości okręgu w szkole średniej (The theory of the measure of the circumference of a circle for high school teaching).- Uwagi o stopniu równoważności wielokątów (Further remarks on the degree of equivalence of polygons).- Further remarks on the degree of equivalence of polygons (English translation by Isaak Wirszup of the preceding article).- Der Wahrheitsbegriff in den Sprachen der deduktiven Disziplinen.- Einige Betrachtungen über die Begriffe der ω-Widerspruchsfreiheit und der ω-Vollständigkeit.- Einige methodologische Untersuchungen über die Definierbarkeit der Begriffe.