Turing is among us

  title={Turing is among us},
  author={Lu{\'i}s Moniz Pereira},
  journal={J. Log. Comput.},
  • L. Pereira
  • Published 1 December 2012
  • Computer Science
  • J. Log. Comput.
Turing's present-day and all-time relevance arises from the timelessness of the issues he tackled, and the innovative light he shed upon them. Turing first defined the algorithmic limits of computability, when determined via effective mechanism, and showed the generality of his definition by proving its equivalence to other general, but less algorithmic, non-mechanical, more abstract formulations of computability. In truth, his originality much impressed Godel, for the simplicity of the… 
Turing, Functionalism, and Emergence
The relevance of the ground breaking work of Alan Turing is addressed to justify the functionalism stance regarding the modeling of morality to scaffold a philosophical perspective on programming machine ethics.
Machine Ethics: From Machine Morals to the Machinery of Morality
It is vital and urgent to examine AI from a moral point of view because the cognitive revolution, brought about by the development of AI also gives rise to social and economic problems that directly impact humanity.
Employing AI for Better Understanding Our Morals
Having addressed the prerequisite issues for a justified and contextualized computational morality, the absence of radically new problems resulting from the co-presence of agents of different nature,
Evolutionary Machine Ethics Synopsis The
Machine ethics is a sprouting interdisciplinary field of enquiry arising from the need of imbuing autonomous agents with some capacity for moral decision-making. Its overall results are not only
Neural-Symbolic Learning and Reasoning: A Survey and Interpretation
This joint survey reviews the personal ideas and views of several researchers on neural-symbolic learning and reasoning and presents the challenges facing the area and avenues for further research.
Evolutionary Machine Ethics
  • L. Pereira
  • Materials Science
    Handbuch Maschinenethik
  • 2019
This work discusses how its own research with Evolutionary Game Theory (EGT) modelling and experimentation leads to important insights for machine ethics, such as the design of moral machines, multi-agent systems, and contractual algorithms, plus their potential application in human settings too.
Employing AI to Better Understand Our Morals
We present a summary of research that we have conducted employing AI to better understand human morality. This summary adumbrates theoretical fundamentals and considers how to regulate development of
Bridging Two Realms of Machine Ethics
This chapter considers the bridging of these two realms in machine ethics, to wit, the individual and collective, and ponder over the teachings of human moral evolution in this regard.
Software sans Emotions but with Ethical Discernment
Machine ethics is a sprouting interdisciplinary field of enquiry arising from the need of imbuing autonomous agents with some capacity for moral decision-making. Its overall results are not only


Shadows of the Mind: A Search for the Missing Science of Consciousness
Penrose presents a version of the theorem in which the true but unprovable sentence is an assertion that a certain computer program runs on forever.
The Universal Computer: The Road from Leibniz to Turing
In this revised edition Davis discusses the success of the IBM Watson on Jeopardy, reorganizes the information on incompleteness, and adds information on Konrad Zuse.
Machines and Thought
This book discusses subcognition and the Limits of the Turing Test, Turing's Test and Conscious Thought, and a Grammar-Based Approach to Common-Sense Reasoning.
The Man Who Knew Too Much : Alan Turing and the Invention of the Computer
Mathematicians like to think of themselves as seekers after truth. At the same time, there is an optimistic modeling of mathematics as a rational activity based upon generally shared foundations.
Computation: Finite and Infinite Machines
From the Preface (See Front Matter for full Preface) Man has within a single generation found himself sharing the world with a strange new species: the computers and computer-like machines.
Minds and machines
The emergence of electronic computers in the last thirty years has given rise to many interesting questions. Many of these questions are technical, relating to a machine’s ability to perform complex
Gödel: A Life of Logic
Kurt Godel was an intellectual giant. His Incompleteness Theorem turned not only mathematics but also the whole world of science and philosophy on its head. Shattering hopes that logic would, in the
Gödel and Computability
The influence of Godel and his results on the surfacing of the rigorous notion of computability afforded by Turing is discussed and the use of logic is touched upon as a tool with which to approach the description of mind.
Evolving Logic Programs
This paper describes a simple though quite powerful approach to modelling the updates of knowledge bases expressed by generalized logic programs, by means of a new language, hereby christened EVOLP (after EVOlving Logic Programs).
On computable numbers, with an application to the Entscheidungsproblem
  • A. Turing
  • Computer Science
    Proc. London Math. Soc.
  • 1937
This chapter discusses the application of the diagonal process of the universal computing machine, which automates the calculation of circle and circle-free numbers.