Paradoxes and contradictions of artificial intelligence: 90 years of K. Gödel’s first incompleteness theorem and 60 years of J. Lucas’s argument
Andrei Alekseev,,Alexander Vashchenko,Alina Zaykova,,
DOI: https://doi.org/10.21146/2413-9084-2023-28-2-156-169
2023-12-01
Philosophy of Science and Technology
Abstract:Today, the study of the issue of distinction has turned out to be extremely relevant – what proportion of the work in the produced artifact belongs to a person, and what proportion belongs to a computer. In this direction, it is important to develop computer analyzers of computer generators of texts, pictures, music, animations, and videos. The fundamental theoretical-algorithmic status of such generators is given by the Gödel–Lucas–Penrose test. In 1961, Oxford professor J. Lucas, on the basis of Gödel’s second theorem, concluded that the human mind is fundamentally superior to all kinds of computing systems. R. Penrose, supporting this position, stated that human consciousness is not algorithmic and goes beyond computability. This argument has generated extensive discussion regarding its philosophical underpinnings, mathematical validity, physical and neurophysiological explanations, psychological credibility, and technological implementation. The dispute about the importance and alternative ways of interpreting the argument does not stop, constituting one of the basic provisions of the philosophy and methodology of artificial intelligence and cognitive science. In October 2021, the SCMAI RAS held the All-Russian Symposium “Artificial Intelligence: Paradoxes and Contradictions”, during which the logical-philosophical, formal-computational and cultural-anthropological aspects of the Gödel-Lucas argument were studied, and possible ways of its transformation and development were shown, such as the Gödel-Lucas-Watt test.