Description |
1 online resource (xi, 447 pages) : illustrations |
Contents |
On the life and work of Andrzej Mostowski (1913-1975) / Stanisław Krajewski and Marian Srebrny -- Mathematical logic in Warsaw in the 60's and 70's, or The interaction of logic and life / Victor W. Marek -- Mathematical logic in Warsaw: 1918-1939 / Jan Woleński -- Three-valued logic of quadratic form theory over real rings / Max Dickmann and Alejandro Petrovich -- Remarks on Gödel phenomena and the field of reals / Harvey M. Friedman -- Undecidability and concatenation / Andrzej Grzegorczyk and Konrad Zdanowski -- Witness quantifiers and 0-1 laws / Wojciech Guzicki and Michał Krynicki -- Logic for artificial intelligence: a Rasiowa-Pawlak school perspective / Andrzej Jankowski and Andrzej Skowron -- Contributions to the theory of weakly distributive complete Boolean algebras / Bohuslav Balcar and Thomas Jech -- Quantifiers in limits / H. Jerome Keisler -- Kleene-Mostowski hierarchy and the Davis-Mostowski hierarchy / Julia F. Knight -- Model theoretic approach to proof theory of arithmetic / Henryk Kotlarski -- Towards decidability of the theory of pseudo-finite dimensional representations of sl2(k);I / Sonia L'Innocente and Angus MacIntyre -- Encounters with A. Mostowski / J.A. Makowsky -- Observations on truth, consistency and lengths of proofs / Jan Mycielski -- Algebraic interpretation of quantifiers: intuitionistic and classical / Dana S. Scott -- Abstracting and generalizing pseudorecursiveness / Benjamin Wells -- Andrzej Mostowski on the foundations and philosophy of mathematics / Roman Murawski and Jan Woleński -- Bibliography of Andrzej Mostowski / Jan Zygmunt -- Warsaw 1957: memories of Mostowski / J.W. Addison -- Andrzej Mostowski: my master in mathematics / Andrzej Jacek Blikle -- Our reminiscences of Andrzej Mostowski / Emilio del Solar and Max Dickmann -- Andrzej Mostowski: an appreciation / Solomon Feferman -- Andrzej Mostowski as teacher and editor / Einar H. Fredriksson -- Mostowski and Czech-Polish cooperation in mathematical logic / P. Hájek, V.W. Marek and P. Vopěnka -- Reminiscences of Warsaw and logic, 1964 / Peter G. Hinman -- From mathematical logic, to natural language, artificial intelligence, and human thinking: a short essay in honour of Andrzej Mostowski / Robert Kowalski -- Very personal recollection / Hidemitsu Sayeki -- Prince of logic / Benjamin Wells -- Remembrances of Professor Andrzej Mostowski / Kazimierz Wiśniewski |
Summary |
Andrzej Mostowski was one of the leading 20th century logicians. This volume examines his legacy, devoted both to his scientific heritage and to the memory of him as a great researcher, teacher, organizer of science and person. It includes the bibliography of Mostowski's writings |
Bibliography |
Includes bibliographical references and indexes |
Notes |
Print version record |
Subject |
Mostowski, Andrzej
|
SUBJECT |
Mostowski, Andrzej fast |
Subject |
Logic, Symbolic and mathematical.
|
|
Mathematical analysis -- Foundations.
|
|
Logicians -- Poland -- Biography
|
|
Mathematicians -- Poland -- Biography
|
|
MATHEMATICS -- Pre-Calculus.
|
|
MATHEMATICS -- Reference.
|
|
MATHEMATICS -- Essays.
|
|
Logic, Symbolic and mathematical
|
|
Logicians
|
|
Mathematical analysis -- Foundations
|
|
Mathematicians
|
|
Poland
|
Genre/Form |
Biographies
|
Form |
Electronic book
|
Author |
Mostowski, Andrzej
|
|
Ehrenfeucht, Andrzej.
|
|
Marek, V. W. (V. Wiktor), 1943-
|
|
Srebrny, Marian, 1947-
|
LC no. |
2007939570 |
ISBN |
9781435677807 |
|
1435677803 |
|
9781607502722 |
|
1607502720 |
|
9781433712265 |
|
1433712261 |
|