Andrzej Mostowski and Foundational Studies

Andrzej Mostowski and Foundational Studies
Author: A. Ehrenfeucht
Publisher: IOS Press
Total Pages: 460
Release: 2008-03-06
Genre: Mathematics
ISBN: 1607502720
GET BOOK

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.

Fuzzy Chaotic Systems

Fuzzy Chaotic Systems
Author: Zhong Li
Publisher: Springer
Total Pages: 300
Release: 2006-08-02
Genre: Computers
ISBN: 3540332219
GET BOOK

This book presents the fundamental concepts of fuzzy logic and fuzzy control, chaos theory and chaos control. It also provides a definition of chaos on the metric space of fuzzy sets. The book raises many questions and generates a great potential to attract more attention to combine fuzzy systems with chaos theory. In this way it contains important seeds for future scientific research and engineering applications.

Dimension and Extensions

Dimension and Extensions
Author: J.M. Aarts
Publisher: Elsevier
Total Pages: 347
Release: 1993-01-28
Genre: Mathematics
ISBN: 0080887619
GET BOOK

Two types of seemingly unrelated extension problems are discussed in this book. Their common focus is a long-standing problem of Johannes de Groot, the main conjecture of which was recently resolved. As is true of many important conjectures, a wide range of mathematical investigations had developed, which have been grouped into the two extension problems. The first concerns the extending of spaces, the second concerns extending the theory of dimension by replacing the empty space with other spaces.The problem of de Groot concerned compactifications of spaces by means of an adjunction of a set of minimal dimension. This minimal dimension was called the compactness deficiency of a space. Early success in 1942 lead de Groot to invent a generalization of the dimension function, called the compactness degree of a space, with the hope that this function would internally characterize the compactness deficiency which is a topological invariant of a space that is externally defined by means of compact extensions of a space. From this, the two extension problems were spawned.With the classical dimension theory as a model, the inductive, covering and basic aspects of the dimension functions are investigated in this volume, resulting in extensions of the sum, subspace and decomposition theorems and theorems about mappings into spheres. Presented are examples, counterexamples, open problems and solutions of the original and modified compactification problems.

Computability

Computability
Author: B. Jack Copeland
Publisher: MIT Press
Total Pages: 373
Release: 2015-01-30
Genre: Computers
ISBN: 0262527480
GET BOOK

Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Gödel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Gödel, and Church, including the Church-Turing thesis and Gödel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Gödel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics. Contributors Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani

Introduction to Banach Spaces and Algebras

Introduction to Banach Spaces and Algebras
Author: Graham R. Allan
Publisher: Oxford University Press
Total Pages: 380
Release: 2011
Genre: Mathematics
ISBN: 0199206538
GET BOOK

A timely graduate level text in an active field covering functional analysis, with an emphasis on Banach algebras.