Andrzej Mostowski and foundational studies

A. Ehrenfeucht, V.W. Marek, M. Srebrny158603782X, 9781586037826, 9781435677807

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 person. Professor Mostowski pioneered and mastered many areas of mathematical logic. His contributions spanned set theory, recursion theory, and model theory – the backbone of the foundations of mathematics. The complete detailed bibliography of Mostowski’s writings is included. For many years after WWII and especially in the late sixties and until 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.
Anyone wanting to see the roots of current applications of logic, be it in mathematics, computer science or philosophy, will find in this collection of articles plenty of helpful, stimulating and inspiring material both in science and about the social environment in which science is made.
IOS Press is an international science, technical and medical publisher of high-quality books for academics, scientists, and professionals in all fields.
Some of the areas we publish in:
-Biomedicine -Oncology -Artificial intelligence -Databases and information systems -Maritime engineering -Nanotechnology -Geoengineering -All aspects of physics -E-governance -E-commerce -The knowledge economy -Urban studies -Arms control -Understanding and responding to terrorism -Medical informatics -Computer Sciences

---

Table of contents :
Title page……Page 1
Preface……Page 5
Contents……Page 9
History……Page 13
On the Life and Work of Andrzej Mostowski (1913-1975)……Page 15
Mathematical Logic in Warsaw in the 60’s and 70’s, or the Interaction of Logic and Life……Page 27
Mathematical Logic in Warsaw: 1918-1939……Page 42
Mathematical Contributions……Page 59
The Three-Valued Logic of Quadratic Form Theory over Real Rings……Page 61
Remarks on Godel Phenomena and the Field of Reals……Page 80
Undecidability and Concatenation……Page 84
Witness Quantifiers and 0-1 Laws……Page 104
Logic for Artificial Intelligence: A Rasiowa-Pawlak School Perspective……Page 118
Contributions to the Theory of Weakly Distributive Complete Boolean Algebras……Page 156
Quantifiers in Limits……Page 163
The Kleene-Mostowski Hierarchy and the Davis-Mostowski Hierarchy……Page 183
A Model Theoretic Approach to Proof Theory of Arithmetic……Page 210
Towards Decidability of the Theory of Pseudo-Finite Dimensional Representations of sl2(k); I……Page 247
Encounters with A. Mostowski……Page 273
Observations on Truth, Consistency and Lengths of Proofs……Page 290
The Algebraic Interpretation of Quantifiers: Intuitionistic and Classical……Page 301
Abstracting and Generalizing Pseudorecursiveness……Page 325
Andrzej Mostowski on the Foundations and Philosophy of Mathematics……Page 336
Bibliography of Andrzej Mostowski……Page 351
Bibliography of Andrzej Mostowski……Page 353
Memories……Page 385
Warsaw 1957: Memories of Mostowski……Page 387
Andrzej Mostowski – My Master in Mathematics……Page 392
Our Reminiscences of Andrzej Mostowski……Page 396
Andrzej Mostowski: An Appreciation……Page 400
Andrzej Mostowski as Teacher and Editor……Page 405
Mostowski and Czech-Polish Cooperation in Mathematical Logic……Page 415
Reminiscences of Warsaw and Logic, 1964……Page 418
From Mathematical Logic, to Natural Language, Artificial Intelligence, and Human Thinking (A Short Essay in Honour of Andrzej Mostowski)……Page 422
A Very Personal Recollection……Page 426
The Prince of Logic……Page 433
Remembrances of Professor Andrzej Mostowski……Page 441
Name Index……Page 447
Author Index……Page 459