Sökt på: Recursion
totalt 267 träffar
The Recursive Book of Recursion
Recursion, and recursive algorithms, have a reputation for being intimidating. But there's nothing magical about recursion. Its fearsome reputation is more a product of poor …
Ordinal Definability and Recursion Theory: Volume 3
The proceedings of the Los Angeles Caltech-UCLA 'Cabal Seminar' were originally published in the 1970s and 1980s. Ordinal Definability and Recursion Theory is the third in a series …
E-recursion, Forcing And C*-algebras
This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2012 Asian Initiative for Infinity Logic Summer School. The …
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 and Complexity
The series is devoted to the publication of high-level monographs on all areas of mathematical logic and its applications. It is addressed to advanced students and research …
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 …