Online research in philosophy

We describe a proof by a computer program of the unsolvability of the halting problem. The halting problem is posed in a constructive, formal language. The computational paradigm formalized is Pure LISP, not Turing machines. The machine was led to the proof by the authors, who suggested certain function definitions and stated certain intermediate lemmas. The machine checked that every suggested definition was admissible and the machine proved the main theorem and every lemma. We believe this is the first instance of a machine checking that a given problem is not solvable by machine.

Dear ‘Time Machine’ Research Group; if in order to travel to the past one has to have been there already, and if one can only do what has already been done, then why build a time machine in the first place? À quoi bon l'effort?

As our chief aim is a comprehensive theory of perception which will cover all the facts, ... JR Smythies' Analysis of Perception I discuss in Ch. VI, § 6. ...

Dear "Time Machine" Research Group: if in order to travel to the past one has to have been there already, and if one can only do what has already been done, then why build a time machine in the first place? À quoi bon l’effort?

Setting aside the problems of recognising consciousness in a machine, this article considers what would be needed for a machine to have human-like conscious- ness. Human-like consciousness is an illusion; that is, it exists but is not what it appears to be. The illusion that we are a conscious self having a stream of experi- ences is constructed when memes compete for replication by human hosts. Some memes survive by being promoted as personal beliefs, desires, opinions and pos- sessions, leading to the formation of a memeplex (or selfplex). Any machine capa- ble of imitation would acquire this type of illusion and think it was conscious. Robots that imitated humans would acquire an illusion of self and consciousness just as we do. Robots that imitated each other would develop their own separate languages, cultures and illusions of self. Distributed seflplexes in large networks of machines are also possible. Unanswered questions include what remains of consciousness without memes, and whether artificial meme machines can ever transcend the illusion of self consciousness.

Using Asimov’s Bicentennial Man as a springboard, a number of metaethical issues concerning the emerging field of machine ethics are discussed. Although the ultimate goal of machine ethics is to create autonomous ethical machines, this presents a number of challenges. A good way to begin the task of making ethics computable is to create a program that enables a machine to act an ethical advisor to human beings. This project, unlike creating an autonomous ethical machine, will not require that we make a judgment about the ethical status of the machine itself, a judgment that will be particularly difficult to make. Finally, it is argued that Asimov’s three laws of robotics are an unsatisfactory basis for machine ethics, regardless of the status of the machine.