검색

상세정보

  • HOME
  • 검색상세정보

Reverse mathematics proofs from the inside out [electronic resource]

Stillwell, John

책이미지
서평쓰기
서평쓰기
책이미지

QRcode

QR Code
QRcode 사용방법
QRcode 사용방법
QR코드 정의
사각형의 가로세로 격자무늬에 다양한 정보를 담고 있는 2차원(매트릭스)형식의 코드로 스마트폰으로 QR코드를 스캔하면 각종 정보를 제공 받을 수 있습니다.
QR코드 인식프로그램
스마트폰 마켓에 들어가면 'QR코드 스캔 프로그램'을 검색해 무료 어플을 다운받아 사용하시면 됩니다.
도서정보 QR코드 이용하기
도서 상세정보에서 QR코드를 스캔하면, 모바일 웹페이지로 연결되어 해당 도서의 상세정보 및 소장정보 등을 확인 할 수 있습니다.
닫기
상세정보
자료유형E-BOOK
서명/저자사항Reverse mathematics [electronic resource] : proofs from the inside out/ John Stillwell.
개인저자Stillwell, John,author,
발행사항Princeton: Princeton University Press, c2018.
형태사항1 online resource.
ISBN1400889030
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. "--
해제Provided by publisher.
일반주제명Reverse mathematics.
MATHEMATICS / General.
언어영어
바로가기 URL

소장정보

서비스 이용안내
  • 서가에없는책서가에없는책
  • 도서배달서비스도서배달서비스
  • 인쇄인쇄
메세지가 없습니다
No. 등록번호 청구기호 소장처 도서상태 반납예정일 예약 서비스 매체정보
1 EB60232 URL 참조511.3 중앙도서관 대출가능
서가에없는책 도서배달서비스 인쇄 이미지
2 EB60235 URL 참조511.3 중앙도서관 대출가능
서가에없는책 도서배달서비스 인쇄 이미지
3 EB60234 URL 참조511.3 중앙도서관 대출가능
서가에없는책 도서배달서비스 인쇄 이미지
4 EB60233 URL 참조511.3 중앙도서관 대출가능
서가에없는책 도서배달서비스 인쇄 이미지

청구기호 Browsing

이 분야 인기자료

  • 표지이미지
    면역학의 기본
    마쓰모토 켄지
    BM성안당, 2022
  • 표지이미지
    (그림으로 쉽게 공부하는)핵심해부학 컬러링북
    메디컬아카데미아. 해부학연구회
    아카데미아, 2023
  • 표지이미지
    포토샵+일러스트레이터 CC 2024 무작정 따라하기
    민지영
    길벗, 2024
  • 표지이미지
    (Do it!)스케치업 with 엔스케이프 : 8가지 ...
    최주영
    이지스, 2024
  • 표지이미지
    유창성 장애 = Fluency disorders
    신명선
    학지사, 2020

서평 (0 건)

*주제와 무관한 내용의 서평은 삭제될 수 있습니다.

서평추가

서평추가
별점
별0점
  • 별5점
  • 별4.5점
  • 별4점
  • 별3.5점
  • 별3점
  • 별2.5점
  • 별2점
  • 별1.5점
  • 별1점
  • 별0.5점
  • 별0점
*서평 입력 시 선택한 별점은 전체 별점에 반영됩니다.
제목입력
본문입력

태그

태그추가

태그추가
태그입력
태그보기