책 이미지
eBook 미리보기
책 정보
· 제목 : A Course in Mathematical Logic for Mathematicians (Hardcover, 2, 2010)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781441906144
· 쪽수 : 384쪽
· 출판일 : 2009-10-30
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 논리
· ISBN : 9781441906144
· 쪽수 : 384쪽
· 출판일 : 2009-10-30
목차
Contents: Provability: Introduction to Formal Languages. Truth and Deducibility. The Continuum Problem and Forcing. The Continuum Problem and Constructible Sets.- Computability: Recursive Functions and Church's Thesis. Diophantine Sets and Algorithmic Undecidability.- Provability and Computability: Godel's Incompleteness Theorem. Recursive Groups.- Index.
