Home Newsletter
News Books
Welcome to FreeScience.info Language/Lingua

Books 3054
· Book News
· Most clicked
· Least clicked

Search for a Book
Add a new Book

Computability Theory

Author: Wilfried Sieg
Url: http://www.phil.cmu.edu/summerschool/2006/Sieg/computability_theory.pdf
Format: Pdf
Year: 2006
Category: Theory of Computation
Pages: 125
Clicks: 1039

Contents: The core of section 1 is devoted to decidability and calculability; In section 2, entitled Recursiveness & Church’s Thesis, we see that Herbrand’s broad characterization was used in Gödel’s 1933 paper reducing classical to intuitionist arithmetic; Section 3 takes up matters where they were left off in the second section, but proceeds in a quite different direction: it returns to the original task of characterizing mechanical procedures and focuses on computations and combinatory processes.

Similar Books
Informatica teorica
Informatica Teorica
Information Theory, Inference and Learning Algorithms
Partial Evaluation and Automatic Program Generation
Communicating Sequential Processes (CSP)
Tree Automa Techniques and Applications
The Theory of Languages and Computation
Foundations of Computer Science
Introduction to Theory of Computation

Home |  Authors | About | Contact Us |  Email 
 Copyright © 2002-2013 FreeScience.info. 

Best viewed with Mozilla 1.X 1024x768
free scientific books