Andrzej Mostowski And Foundational Studies

E-Book Overview

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


E-Book Content

ANDRZEJ MOSTOWSKI AND FOUNDATIONAL STUDIES This page intentionally left blank Andrzej Mostowski and Foundational Studies Edited by A. Ehrenfeucht Department of Computer Science, University of Colorado, CO, USA V.W. Marek Department of Computer Science, University of Kentucky, KY, USA and M. Srebrny Institute of Computer Science, Polish Academy of Sciences, Poland Amsterdam • Berlin • Oxford • Tokyo • Washington, DC © 2008 The authors and IOS Press. All rights reserved. No part of this book may be reproduced, stored in a retrieval system, or transmitted, in any form or by any means, without prior written permission from the publisher. ISBN 978-1-58603-782-6 Library of Congress Control Number: 2007939570 Publisher IOS Press Nieuwe Hemweg 6B 1013 BG Amsterdam Netherlands fax: +31 20 687 0019 e-mail: [email protected] Distributor in the UK and Ireland Gazelle Books Services Ltd. White Cross Mills Hightown Lancaster LA1 4XS United Kingdom fax: +44 1524 63232 e-mail: [email protected] Distributor in the USA and Canada IOS Press, Inc. 4502 Rachael Manor Drive Fairfax, VA 22032 USA fax: +1 703 323 3668 e-mail: [email protected] LEGAL NOTICE The publisher is not responsible for the use which might be made of the following information. PRINTED IN THE NETHERLANDS Andrzej Mostowski and Foundational Studies A. Ehrenfeucht, V.W. Marek and M. Srebrny (Eds.) IOS Press, 2008 © 2008 The authors and IOS Press. All rights reserved. v Preface Andrzej Mostowski was one of the world’s leading European scientists, preserving and expanding a national school of research: in his case the Polish School of Logic. This effort took place within the adverse politi
You might also like

Leonhard Euler: Life, Work And Legacy
Authors: Robert E. Bradley and C. Edward Sandifer (Eds.)    183    0


Economics In One Lesson
Authors: Henry Hazlitt    182    0


G.e. Moore's Ethical Theory: Resistance And Reconciliation
Authors: Brian Hutchinson    141    0


Making Economic Sence
Authors: Rothbard M.N.    202    0


Teaching About Evolution And The Nature Of Science
Authors: Working Group on Teaching Evolution , National Academy of Sciences    177    0


красота, вкус, экономика
Authors: Казаринова В.И.    229    0


логика
Authors: Лосский Н.    357    0