Vicious Circles 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


Vicious Circles

简体网页||繁体网页
Jon Barwise 作者
CSLI
译者
2004-8-4 出版日期
400 页数
GBP 20.50 价格
Paperback
丛书系列
9781575860084 图书编码

Vicious Circles 在线电子书 图书标签:  


喜欢 Vicious Circles 在线电子书 的读者还喜欢




点击这里下载
    

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-28


Vicious Circles 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Vicious Circles 在线电子书 epub 下载 mobi 下载 pdf 下载 txt 下载 2024

Vicious Circles 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024



Vicious Circles 在线电子书 用户评价

评分

评分

评分

评分

评分

Vicious Circles 在线电子书 著者简介

Jon Barwise (1942–2000) was professor of philosophy, mathematics, and computer science at Indiana University and one of the founding members of the Center for the Study of Language and Information (CSLI).

Lawrence S. Moss is professor of mathematics; director of the Program in Pure and Applied Logic; an adjunct professor of computer science, informatics, linguistics, and philosophy; and a member of the Programs in Cognitive Science and Computational Linguistics, all at Indiana University, Bloomington.


Vicious Circles 在线电子书 图书目录


Vicious Circles 在线电子书 pdf 下载 txt下载 epub 下载 mobi 在线电子书下载

Vicious Circles 在线电子书 图书描述

Many assume that circular phenomena and mathematical rigour are irreconcilable. Barwise and Moss have undertaken to prove this assumption false. Vicious Circles is intended for use by researchers who use hypersets, although the book is accessible to people with widely differing backgrounds and interests.

The following is a comment from amazon.com

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.

Vicious Circles 在线电子书 下载 mobi epub pdf txt 在线电子书下载

想要找书就要到 图书目录大全
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

Vicious Circles 在线电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价

Vicious Circles 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024


分享链接





Vicious Circles 在线电子书 相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 book.wenda123.org All Rights Reserved. 图书目录大全 版权所有