Algoritmos recursivos elementales

Por • 29 ago, 2021 • Sección: Ambiente

Yiannis N. Moschovakis

Ellos dirigen nuestras vidas, si se cree en las noticias, pero no existe una definición precisa de «algoritmos» que sea generalmente aceptada por los matemáticos, lógicos e informáticos que los crean y estudian. Mis principales objetivos aquí son (primero) discutir brevemente y señalar las pocas publicaciones que tratan de abordar esta cuestión fundamental y (principalmente) esbozar en las Secciones 4 y 5 pruebas simples de dos resultados matemáticos básicos sobre los «algoritmos recursivos elementales». a partir de primitivas especificadas expresadas por programas recursivos (McCarthy).

arXiv:2108.03574v1 [math.LO]

Logic (math.LO)

Post to Twitter

Escribe un comentario