Diagonalization and Self-Reference
- Editore:
OXFORD UNIV PR
- Collana:
- Oxford Logic Guides
- EAN:
9780198534501
- ISBN:
0198534507
- Pagine:
- 416
- Formato:
- Hardback
- Lingua:
- Inglese
Acquistabile con la
Descrizione Diagonalization and Self-Reference
BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in G¨odel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.
Fuori catalogo - Non ordinabile
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti