Appendix S1: G¨odel’s Consistency-Proof for Arithmetic (supplement to "Lambda-Calculus and Combinators, an Introduction"
J. R. Hindley, J. P. Seldin
This Supplement is a continuation of Hindley and Seldin 2008, from which it was omitted to avoid delaying that book’s publication and increasing its length unacceptably. Its aim is to describe a combinator-based account of G¨odel’s proof of
the consistency of first-order arithmetic [G¨od58]. It is a revised version of [HS86, Ch.18] and its predecessors, [HLS72, Ch.11] and [Hin68, Ch.5]. The notation in this Supplement is from Hindley and Seldin 2008.
the consistency of first-order arithmetic [G¨od58]. It is a revised version of [HS86, Ch.18] and its predecessors, [HLS72, Ch.11] and [Hin68, Ch.5]. The notation in this Supplement is from Hindley and Seldin 2008.
Категорії:
Рік:
2011
Видання:
2011
Видавництво:
Cambridge University Press
Мова:
english
Сторінки:
36
ISBN 10:
0521898854
ISBN 13:
9780521898850
Серії:
S1
Файл:
PDF, 420 KB
IPFS:
,
english, 2011