Godel's incompleteness theorems /
An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice.
Основен автор: | Smullyan, Raymond M. |
---|---|
Формат: | Електронна книга |
Език: | English |
Публикувано: |
New York :
Oxford University Press,
1992.
|
Серия: |
Oxford logic guides ;
19. |
Предмети: | |
Онлайн достъп: |
http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=143665 |
Подобни документи: |
Print version::
Godel's incompleteness theorems. |
Резюме: |
An introduction to the work of the mathematical logician Kurt Godel, which guides the reader through his Theorem of Undecidability and his theories on the completeness of logic, the incompleteness of numbers and the consistency of the axiom of choice. |
---|---|
Физически характеристики: |
1 online resource (xiii, 139 pages). |
Библиография: |
Includes bibliographical references and index. |
ISBN: |
1423735196 9781423735199 160129641X 9781601296412 9780195046724 0195046722 |