Sökt på: recursion
totalt 262 träffar
Recursion Theory Week
These proceedings contain research and survey papers from many subfields of recursion theory, with emphasis on degree theory, in particular the development of frameworks for …
Recursion Theory for Metamathematics
This work is a sequel to the author's Gödel's Incompleteness Theorems, though it can be read independently by anyone familiar with Gödel's incompleteness theorem for Peano …
Higher Recursion Theory
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have …
Language and Recursion
As humans, our many levels of language use distinguish us from the rest of the animal world. For many scholars, it is the recursive aspect of human speech that makes it truly …
Recursion Theory Revisited
Recursion and Human Language
The present volume is an edited collection of original contributions which all deal with the issue of recursion in human language(s). All contributions originate as papers that …
Recursion Theory for Metamathematics
This work is a sequel to the author's Godel's Incompleteness Theorems, though it can be read independently by anyone familiar with Godel's incompleteness theorem for Peano …
Recursion Theory and Computational Complexity
S. Homer: Admissible recursion theory.- B.E. Jacobs: Computational complexity and recursion theory.- D. Normann: A survey of set recursion.- G.E. Sacks: Priority arguments in …
Classical Recursion Theory
1988 marked the first centenary of Recursion Theory, since Dedekind's 1888 paper on the nature of number. Now available in paperback, this book is both a comprehensive reference …
Recursion Theory
This volume, which ten years ago appeared as the first in the acclaimed series Lecture Notes in Logic, serves as an introduction to recursion theory. The fundamental concept of …