가야대학교 분성도서관
주메뉴
자료검색
- Home
- 상세정보
상세정보
부가기능
Reverse mathematics : proofs from the inside out / [electronic resource]
상세 프로파일
| 자료유형 | E-Book |
|---|---|
| 개인저자 | Stillwell, John, author. |
| 서명/저자사항 | Reverse mathematics[electronic resource] :proofs from the inside out /John Stillwell. |
| 발행사항 | Princeton : Princeton University Press, c2018. |
| 형태사항 | 1 online resource. |
| 소장본 주기 | Master record variable field(s) change: 050, 072, 082, 650 |
| ISBN | 1400889030 9781400889037 |
| 서지주기 | Includes bibliographical references and index. |
| 요약 | " This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. "-- |
| 일반주제명 | Reverse mathematics. MATHEMATICS / General. |
| 언어 | 영어 |
| 대출바로가기 | http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1550094 |
소장정보
- 소장정보
인쇄
| No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
|---|---|---|---|---|---|---|---|---|
| 1 | WE00013939 | 511.3 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출가능 |
|
카피라이터
