Name: an early history of recursive functions and computability from godel to turing (en Inglés)
Price: 91.53 PEN
Availability: InStock
Author: Riddell, Brenda ; Adams, Rod
ISBN: 9780983700401

portada an early history of recursive functions and computability from godel to turing (en Inglés)

an early history of recursive functions and computability from godel to turing (en Inglés)

Formato

Libro Físico

Autor

Rod Adams

Ilustrado por

Brenda Riddell

Editorial

Docent Press

Idioma

Inglés

Encuadernación

Tapa Blanda

Dimensiones

22.9 x 15.2 x 1.7 cm

Peso

0.42 kg.

ISBN

0983700400

ISBN13

9780983700401

Categorías

Filosofía de las matemáticas
Historia de las matemáticas

an early history of recursive functions and computability from godel to turing (en Inglés)

Rod Adams (Autor) · Brenda Riddell (Ilustrado por) · Docent Press · Tapa Blanda

Libro Nuevo Importado

Envío: 16 a 21 días háb.

S/ 203,39S/ 91,53

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 91,53

Llega entre el 24 Ago y el 01 Sep a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "an early history of recursive functions and computability from godel to turing (en Inglés)"

An Early History of Recursive Functions and Computability traces the development of recursive functions from their origins in the late nineteenth century, when recursion was first used as a method of defining simple arithmetic functions, up to the mid-1930's, when the class of general recursive functions was introduced by Godel, formalized by Kleene and used by Church in his thesis. The book explains how the proposal given in Church's 1936 paper, now known as Church's thesis, first arose and concludes with the consideration of another class of functions, the Turing computable functions, that were specially created to be equivalent to the class of effectively calculable functions. The book includes previously unpublished letters between the author and many of the key historical figures.