TY - JOUR AU - Valor Yébenes, Juan Antonio PY - 2024 DO - 10.24310/nyl.18.2024.19496 SN - 2254-9668 UR - https://hdl.handle.net/20.500.14352/112289 T2 - Naturaleza y Libertad: revista de estudios interdisciplinares AB - El presente artículo pretende mostrar que el objetivo del trabajo de Alan Turing fue, desde 1935 hasta su fallecimiento en 1954, encontrar un procedimiento sistemático para prescindir de la intuición en la matemática y, por extensión, en el... AB - This article aims to show that the objective of Alan Turing´s work was, from 1935 until his death in 1954, to find a systematic procedure that would allow us to dispense with intuition in mathematics and, by extension, in human knowledge. Although... LA - spa M2 - 15 PB - Universidad de Málaga KW - Turing KW - Inteligencia artificial KW - Máquina computacional KW - Intuición KW - Formalismo KW - Artificial Intelligence KW - Computing machinery KW - Intuition KW - Formalism TI - Alan Turing y el origen de la inteligencia artificial: la superación de la intuición TY - journal article ER -