Articoli correlati a Classical Recursion Theory: Theory of Functions and...

Classical Recursion Theory: Theory of Functions and Sets of Natural Numbers - Rilegato

Odifreddi, Piergiorgio

 
9780444872951: Classical Recursion Theory: Theory of Functions and Sets of Natural Numbers
Rilegato
ISBN 10: 0444872957 ISBN 13: 9780444872951
Casa editrice: Elsevier Science Ltd, 1989

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

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 for the subject and a textbook starting from first principles. Among the subjects covered are: various equivalent approaches to effective computability and their relations with computers and programming languages; a discussion of Church's thesis; a modern solution to Post's problem; global properties of Turing degrees; and a complete algebraic characterization of many-one degrees. Included are a number of applications to logic (in particular Godel's theorems) and to computer science, for which Recursion Theory provides the theoretical foundation.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreElsevier Science Ltd
  • Data di pubblicazione1989
  • ISBN 10 0444872957
  • ISBN 13 9780444872951
  • RilegaturaCopertina rigida
  • LinguaInglese
  • Numero di pagine686

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9780444894830: Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers: Volume 125

Edizione in evidenza

ISBN 10:  0444894837 ISBN 13:  9780444894830
Casa editrice: North Holland, 1992
Brossura