Ordinal Computability discusses models of computation obtained by generalizing classical models, such as Turing machines
154 66 32MB
English Pages 343 Year 2019
Report DMCA / Copyright
DOWNLOAD FILE
360 131 2MB Read more
162 31 4MB Read more
362 107 4MB Read more
551 31 4MB Read more
This book provides readers with a guide to both ordinal analysis, and to proof theory. It mainly focuses on ordinal anal
582 115 4MB Read more
Hilbert's tenth problem is one of 23 problems proposed by David Hilbert in 1900 at the International Congress of Ma
721 184 4MB Read more
162 31 2MB Read more
1,613 232 6MB Read more
119 31 17MB Read more
1,041 109 4MB Read more