Author: A. Ehrenfeucht
Publisher: IOS Press
ISBN: 1607502720
Category : Mathematics
Languages : en
Pages : 460
Get Book Here
Book Description
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.
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080955002
Category : Computers
Languages : en
Pages : 684
Get Book Here
Book Description
Foundational Studies Selected Works
Author: Lev D. Beklemishev
Publisher: Elsevier
ISBN: 0080955010
Category : Computers
Languages : en
Pages : 615
Get Book Here
Book Description
Foundational Studies
Author: Andrzej Ehrenfeucht
Publisher:
ISBN: 9781614993056
Category :
Languages : en
Pages : 447
Get Book Here
Book Description
Author: Andrzej Ehrenfeucht
Publisher:
ISBN: 9781433712265
Category : Logic, Symbolic and mathematical
Languages : en
Pages : 447
Get Book Here
Book Description
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.
Author: Giovanni Sommaruga
Publisher: Springer Science & Business Media
ISBN: 9400704313
Category : Mathematics
Languages : en
Pages : 312
Get Book Here
Book Description
The book "Foundational Theories of Classical and Constructive Mathematics" is a book on the classical topic of foundations of mathematics. Its originality resides mainly in its treating at the same time foundations of classical and foundations of constructive mathematics. This confrontation of two kinds of foundations contributes to answering questions such as: Are foundations/foundational theories of classical mathematics of a different nature compared to those of constructive mathematics? Do they play the same role for the resp. mathematics? Are there connections between the two kinds of foundational theories? etc. The confrontation and comparison is often implicit and sometimes explicit. Its great advantage is to extend the traditional discussion of the foundations of mathematics and to render it at the same time more subtle and more differentiated. Another important aspect of the book is that some of its contributions are of a more philosophical, others of a more technical nature. This double face is emphasized, since foundations of mathematics is an eminent topic in the philosophy of mathematics: hence both sides of this discipline ought to be and are being paid due to.
Author: Malgorzata Marciniak
Publisher: Springer Science & Business Media
ISBN: 3642047343
Category : Computers
Languages : en
Pages : 452
Get Book Here
Book Description
Leonard Bolc has played an important role in the Polish computer science community. This Festschrift, published to honor Leonard Bolc on his 75th birthday, includes papers by leading researchers, former students and colleagues to celebrate his scientific career.
Author: Piotr Jedrzejowicz
Publisher: Springer Science & Business Media
ISBN: 3642134793
Category : Computers
Languages : en
Pages : 460
Get Book Here
Book Description
This book constitutes the proceedings of the 4th KES International Symposium on Agent and Multi-Agent Systems, KES-AMSTA 2010, held in June 2010 in Gdynia, Poland. The discussed field is concerned with the development and analysis of AI-based problem-solving and control architectures for both single-agent and multiple-agent systems. Only 83 papers were selected for publication in both volumes which focus on topics such as: Multi-Agent Systems Design and Implementation, Negotiations and Social Issues, Web Services and Semantic Web, Cooperation, Coordination and Teamwork, Agent-Based Modeling, Simulation and Decision Making, Multi-Agent Applications, Management and e-Business, Mobile Agents and Robots, and Machine Learning.
Author: Igor Chikalov
Publisher: Springer Science & Business Media
ISBN: 3642286674
Category : Technology & Engineering
Languages : en
Pages : 209
Get Book Here
Book Description
In this book, the following three approaches to data analysis are presented: - Test Theory, founded by Sergei V. Yablonskii (1924-1998); the first publications appeared in 1955 and 1958, - Rough Sets, founded by Zdzisław I. Pawlak (1926-2006); the first publications appeared in 1981 and 1982, - Logical Analysis of Data, founded by Peter L. Hammer (1936-2006); the first publications appeared in 1986 and 1988. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected. - Logical Analysis of Data, founded by Peter L. Hammer (1936-2006); the first publications appeared in 1986 and 1988. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected. These three approaches have much in common, but researchers active in one of these areas often have a limited knowledge about the results and methods developed in the other two. On the other hand, each of the approaches shows some originality and we believe that the exchange of knowledge can stimulate further development of each of them. This can lead to new theoretical results and real-life applications and, in particular, new results based on combination of these three data analysis approaches can be expected.
Author: JingTao Yao
Publisher: Springer
ISBN: 3642244254
Category : Computers
Languages : en
Pages : 788
Get Book Here
Book Description
This book constitutes the refereed proceedings of the 6th International Conference on Rough Sets and Knowledge Technology, RSKT 2011, held in Banff, Canada, in September 2011. The 89 revised full papers presented together with 3 keynote lectures and 1 invited tutorial session were carefully reviewed and selected from 229 submissions. The papers are organized in topical sections on attribute reduction and feature selection, generalized rough set models, machine learning with rough and hybrid techniques, knowledge technology and intelligent systems and applications.
