{"product_id":"lecciones-de-matemtica-lgica-algoritmos-computabilidad-de-diofanto-a-turing-y-gdel-t6-9785396000698","title":"Lecciones de Matemtica Lgica algoritmos","description":"\u003cb\u003eBook Synopsis\u003c\/b\u003e\u003cbr\u003eEl presente libro se caracteriza por una exposición breve y clara de los temas tratados, valiéndose de analogías y sin entrar en detalles innecesarios. Se presta especial atención a la interrelación de los resultados y al enfoque general del material considerado.\u003cp\u003eEste tomo está dedicado a los fundamentos de la matemática, los problemas de la computabilidad y la deducibilidad. Entre los temas tratados podemos mencionar las máquinas de Turing, las funciones recursivas, la lógica, la teoría de modelos, la indecidibilidad de la aritmética y la imposibilidad de axiomatizarla, el décimo problema de Hilbert. Los problemas clásicos relacionados con estos temas se han abordado desde un nuevo punto de vista, facilitando de este modo su comprensión (por ejemplo, los teoremas de Gödel se demuestran en unas pocas líneas).\u003c\/p\u003e\u003cp\u003ePara estudiantes, profesores, ingenieros y científicos.\u003c\/p\u003e","brand":"Book Curl","offers":[{"title":"Default Title","offer_id":49539928031575,"sku":"9785396000698","price":21.9,"currency_code":"GBP","in_stock":true}],"url":"https:\/\/bookcurl.com\/products\/lecciones-de-matemtica-lgica-algoritmos-computabilidad-de-diofanto-a-turing-y-gdel-t6-9785396000698","provider":"Book Curl","version":"1.0","type":"link"}