» » Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes)

Download Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes) fb2

by Lawrence S. Moss,Jon Barwise

  • ISBN: 1575860082
  • Category: Math & Science
  • Author: Lawrence S. Moss,Jon Barwise
  • Subcategory: Mathematics
  • Other formats: lrf lit azw doc
  • Language: English
  • Publisher: Center for the Study of Language and Inf; 74 edition (1996)
  • Pages: 390 pages
  • FB2 size: 1616 kb
  • EPUB size: 1103 kb
  • Rating: 4.1
  • Votes: 159
Download Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes) fb2

97 96 5 4 3 2 1 Library of Congress ion Data Barwise, Jon Vicious circles, Jon Barwise and Lawrence Moss.

CSLI Lecture Notes Number 60. Vicious Circles On the Mathematics of Non-Wellfounded Phenomena. Jon Barwise and Lawrence Moss. p cm - (CSLI lecture notes, no 60) Includes bibliographical references and index ISBN.

Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes). Jon Barwise, Lawrence Moss. Скачать (pdf, 1. 3 Mb).

Jon Barwise, Lawrence Moss. Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned with extending the modelling capabilities of set theory to provide a uniform treatment of circular phenomena.

Jon Barwise (Author), Lawrence S. Moss (Author). This book discusses recent advances in the general field of set theory. The authors study a variant of ZF in which the axiom of foundation is replaced by a new axiom allowing non-well-founded sets

Jon Barwise (Author), Lawrence S. ISBN-13: 978-1575860084. The authors study a variant of ZF in which the axiom of foundation is replaced by a new axiom allowing non-well-founded sets. Just as the naturals can be extended to the integers, and the integers to the rationals, and the reals to the complex numbers, in each case by positing new numbers that are the solutions to a class of equations, so this book posits an extension to any model of set theory consisting of the solutions to a class of (systems of) equations having.

oceedings{Barwise1996ViciousC, title {Vicious circles - on the mathematics of non-wellfounded . Jon Barwise, Lawrence S. Moss. Published in CSLI lecture notes series 1996.

oceedings{Barwise1996ViciousC, title {Vicious circles - on the mathematics of non-wellfounded phenomena}, author {Jon Barwise and Lawrence S. Moss}, booktitle {CSLI lecture notes series}, year {1996} }.

The CSLI Lecture Notes series reports new developments in the cognitive sciences and philosophy.

Non-Well-Founded Sets, CSLI Lecture Notes, No. 14, Stanford, CA: Center for the Study of. .Barwise, J. and Perry, . 1983, Situations and Attitudes. 1994, Notes on Set Theory, New York: Springer-Verlag.

Akman, . 1986, "Writing self-replicating code," The Computer Journal 29, 573–574. Cambridge, MA: The MIT Press.

Vicious circles: on the mathematics of non-wellfounded phenomena. A Baltag, LS Moss, S Solecki. Proceedings of the 7th Conference on Theoretical Aspects of Rationality an. 1998. Logics for epistemic programs. Synthese 139 (2), 165-224, 2004. The Mathematical Intelligencer 13 (4), 31-41, 1991. Topological reasoning and the logic of knowledge. A Dabrowski, LS Moss, R Parikh. Annals of Pure and Applied Logic 78 (1-3), 73-110, 1996.

On the Mathematics of Non-Wellfounded Phenomena. Also Distributed by Cambridge University Press, New York, Xiv + 319 Pp.

Circular analyses of philosophical, linguistic, or computational phenomena have been attacked on the assumption that they conflict with mathematical rigour. Barwise and Moss have undertaken to prove this assumption false. This volume is concerned with extending the modelling capabilities of set theory to provide a uniform treatment of circular phenomena. As a means of guiding the reader through the concrete examples of the theory, the authors have included many exercises and solutions: these exercises range in difficulty and ultimately stimulate the reader to come up with new results. Vicious Circles is intended for use by researchers who want to use hypersets; although some experience in mathematics is necessary, the book is accessible to people with widely differing backgrounds and interests.
Reviews about Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes) (2):
Neol
This book discusses recent advances in the general field of set theory. The authors study a variant of ZF in which the axiom of foundation is replaced by a new axiom allowing non-well-founded sets. Just as the naturals can be extended to the integers, and the integers to the rationals, and the reals to the complex numbers, in each case by positing new numbers that are the solutions to a class of equations, so this book posits an extension to any model of set theory consisting of the solutions to a class of (systems of) equations having no solutions in ZF. The simplest example is the equation
x = {x},
whose solution,
x = {{{{...}}}} (infinitely deep)
is not permitted in ZF, but exists and is unique in the authors' theory.
The purpose of this extension to ZF is to create a set theory in which certain circular or infinite phenomena from computer science and other fields, e.g. cyclic data streams, can be much more directly modeled than is now possible in ZF. Currently in ZF in order to represent a cyclic data stream one has to develop the aparatus for natural numbers, and then represent the stream to be a function from the natural numbers into some suitable set representing the type of data. But in the author's set theory the stream could be represented as an unfounded set that is the solution to a simple equation, and many of its properties could then be more easily deduced without resort to arithmetic.
I found this book absolutely fascinating, and I highly recommend it to anyone who has had a course in set theory. The theory in the book is quite elegant and satisfying.
I was delighted to learn that there is still room for new variations of the axioms of set theory, a subject I thought (probably naively) had been fairly static for 60 years.
Landamath
As the title suggests, this is the first systematic exposition of classic set theory without the axiom of foundation. What replaces it, the anti-foundation axiom, allows sets to be members of themselves and it is this type of circularity that, as the authors claim, lies at the heart of understanding knowledge in interacting systems (like computing machines or game-theoretic agents or Liar-type sentences that refer to themselves).

What makes the whole endeavour work is that this new axiom is still consistent with the rest of ZF theory (a fact that is proved in the book) and in this sense the new theory can be thought as an "extention" of the traditional hierarchical construction of sets.

The book is written in textbook style in that it presents the material methodically and it is reasonably self-contained (a basic understanding of set theory and adequate motivation are enough).

I would have given 4 stars for poor binding and some typos (nothing serious though), but the quality of presentation and the fact that it includes answers to all problems more than make up for it.

Related to Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena (CSLI Lecture Notes) fb2 books: