Andrzej Mostowski and Foundational Studies
# of pages464
This is the hardcover editon. A softcover edition is also available.
Reprinted in 2013 with a new preface, on the occasion of the Andrzej Mostowski Centenary 1913 – 2013.
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.
This volume is a collection of fifteen comprehensive research and expository articles, a complete bibliography of Andrzej Mostowski’s writings, three biographical and historical articles, and eleven short personal reminiscences, contributed by prominent researchers, all aimed at illuminating Andrzej Mostowski's ideas and personality.
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.