| Description |
1 online resource (xi, 447 pages) : illustrations |
| Physical Medium |
polychrome |
| Description |
text file |
| Bibliography |
Includes bibliographical references and indexes. |
| 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. |
| Local Note |
eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America |
| Subject |
Mostowski, Andrzej.
|
|
Mostowski, Andrzej. |
|
Mostowski, Andrzej. |
|
Logic, Symbolic and mathematical.
|
|
Logic, Symbolic and mathematical. |
|
Mathematical analysis -- Foundations.
|
|
Mathematical analysis -- Foundations. |
|
Logicians -- Poland -- Biography.
|
|
Logicians. |
|
Poland. |
| Genre/Form |
Biographies.
|
| Subject |
Mathematicians -- Poland -- Biography.
|
|
Mathematicians. |
| Genre/Form |
Electronic books.
|
|
Festschriften.
|
|
Festschriften.
|
|
Biographies.
|
| Added Author |
Mostowski, Andrzej.
|
|
Ehrenfeucht, Andrzej.
|
|
Marek, Wiktor.
|
|
Srebrny, Marian, 1947-
|
| Other Form: |
Print version: Andrzej Mostowski and foundational studies. Amsterdam ; Washington, D.C. : Ios Press, ©2008 (DLC) 2007939570 |
| ISBN |
9781435677807 (electronic book) |
|
1435677803 (electronic book) |
|
9781607502722 |
|
1607502720 |
|
9781433712265 (electronic book) |
|
1433712261 (electronic book) |
|
158603782X |
|
9781586037826 |
|
