Author: Polskie towarzystwo matematyczne, Krakow
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 358
Book Description
Rocznik Polskiego tow. matematycznego
Author: Polskie towarzystwo matematyczne, Krakow
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 358
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : en
Pages : 358
Book Description
Annales de la Société polonaise de mathématique
Rocznik Polskiego Tow. Matematycznego
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category : Mathematics
Languages : fr
Pages : 906
Book Description
List of members in vol. 2.
Publisher:
ISBN:
Category : Mathematics
Languages : fr
Pages : 906
Book Description
List of members in vol. 2.
Roczniki Polskiego Towarzystwa Matematycznego
Annales Societatis Mathematicae Polonae
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category : Mathematics
Languages : de
Pages : 684
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : de
Pages : 684
Book Description
East European Accessions Index
Rocznik Polskiego two.matematycznego
Author: Polskie Towarzystwo Matematyczne, Kraków
Publisher:
ISBN:
Category : Mathematics
Languages : pl
Pages :
Book Description
Publisher:
ISBN:
Category : Mathematics
Languages : pl
Pages :
Book Description
The Lvov-Warsaw School. Past and Present
Author: Ángel Garrido
Publisher: Birkhäuser
ISBN: 3319654306
Category : Mathematics
Languages : en
Pages : 802
Book Description
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
Publisher: Birkhäuser
ISBN: 3319654306
Category : Mathematics
Languages : en
Pages : 802
Book Description
This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world. The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics.
Rocznik
Author: Polskie Towarzystwo Matematyczne
Publisher:
ISBN:
Category :
Languages : en
Pages : 358
Book Description
Publisher:
ISBN:
Category :
Languages : en
Pages : 358
Book Description
Andrzej Mostowski and Foundational Studies
Author: A. Ehrenfeucht
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of foundations of mathematics. He is best known of the Kleene-Mostowski and Davis-Mostowski hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and reasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. The overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw - where he led the centre of foundational studies - was a place where many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski.
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Book Description
Andrzej Mostowski was one of the leading 20th century logicians. His legacy is examined in this volume of papers devoted both to his extraordinary scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and human. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory - the backbone of foundations of mathematics. He is best known of the Kleene-Mostowski and Davis-Mostowski hierarchies of properties of integers reflecting the complexity of their definitions, and of the very elegant concept of a generalized quantifier which inspired and keeps stimulating a stream of deep work on fundamental issues of logics, deduction and reasoning both in mathematics and in computer science, and also of the contributions and excellent lectures on undecidability, unprovability, consistency and independence of various statements in set theory and arithmetic following Gödel, Tarski and Cohen. The overall content of the volume is designed to cover the current main streams in the field. For many years after WWII, especially in the late sixties, till his untimely death in 1975, Warsaw - where he led the centre of foundational studies - was a place where many leading logicians visited, studied, and started their career. Their memories form an important part of this volume, attempting to bring back the extraordinary achievements and personality of Mostowski.