Indian Academy of Sciences
Gödel’s Proof - Incompleteness Theorems
S M Srivastava
Click here to view fulltext PDF
Recursive functions; Church’s thesis; Gödel numbers; representability; set theory.
S M Srivastava1
Current Issue Volume 26 | Issue 7July 2021
© 2021-2022 Indian Academy of Sciences, Bengaluru.