LIBROS DEL AUTOR: matthew valeriote

1 resultados para LIBROS DEL AUTOR: matthew valeriote

matthew valeriote Eliminar filtro Quitar filtros
  • Structure of Decidable Locally Finite Varieties
    Matthew Valeriote / Ralph McKenzie
    A mathematically precise definition of the intuitive notion of 'algorithm' was implicit in Kurt Godel’s [1931] paper on formally undecidable propo­ sitions of arithmetic. During the 1930s, in the work of such mathemati­ cians as Alonzo Church, Stephen Kleene, Barkley Rosser and Alfred Tarski, Godel’s idea evolved into the concept of a recursive functi...
    Disponible

    66,59 €