The Foundations of Computability Theory, Second Edition by Borut Robič
English | PDF | 2020 | 428 Pages | ISBN : 3662624206 | 6.65 MB
This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism.