Una historia temprana de funciones recursivas y computabilidad de Gödel a Turing

An Early History of Recursive Functions and Computability traza el desarrollo de las funciones recursivas desde sus orígenes a finales del siglo XIX, cuando la recursión se utilizó por primera vez como método para definir funciones aritméticas simples, hasta mediados de la década de 1930, cuando la clase de funciones recursivas generales fue introducida por Godel, formalizada por Kleene y utilizada por Church en su tesis. El libro explica cómo surgió la propuesta presentada en el artículo de Church de 1936, ahora conocido como la tesis de Church, y concluye con la consideración de otra clase de funciones, las funciones computables de Turing, que fueron creadas especialmente para ser equivalentes a la clase de funciones efectivamente calculables. El libro incluye cartas inéditas entre el autor y muchas de las figuras históricas clave.

Autor: Brenda Riddell, Rod Adams
Editorial: Docent Press
Publicado: 28/05/2011
Páginas: 310
Tipo de encuadernación: Tapa blanda
Peso: 0.92lbs
Tamaño: 9.02h x 5.98w x 0.65d
ISBN13: 9780983700401
ISBN10: 0983700400
Categorías BISAC:
- Matemáticas | Historia y Filosofía

Sobre el autor
Rod Adams obtuvo su doctorado en la Facultad de Ciencias de la Información de The Hatfield Polytechnique bajo la supervisión del Dr. Dale Johnson. El Dr. Adams es actualmente profesor de Computación Neuronal en la Universidad de Hertfordshire.

Este título no es retornable