
One to figure out how to describe lightbulb changing
in first order logic.

One to figure out how to describe lightbulb changing
in second order logic.

One to show the adequacy of FOL.

One to show the inadequacy of FOL.

One to show that lightbulb logic is nonmonotonic.

One to show that it isn’t nonmonotonic.

One to show how nonmonotonic logic is incorporated
in FOL.

One to determine the bindings for the variables.

One to show the completeness of the solution.

One to show the consistency of the solution.

One to show that the two just above are incoherent.

One to hack a theorem prover for lightbulb resolution.

One to suggest a parallel theory of lightbulb logic
theorem proving.

One to show that the parallel theory isn’t complete.

One to indicate how it is a description of human
lightbulb changing behaviour.

One to call the electrician.

One to build a vision system to recognize the dead
bulb.

One to build a vision system to locate a new bulb.

One to figure out how to grasp the lightbulb without
breaking it.

One to figure out how to make a universal joint
that will permit the hand to rotate 360+ degrees.

One to figure out how to make the universal joint
go the other way.

One to figure out the arm solutions that will get
the arm to the socket.

One to organize the construction teams.

One to hack the planning system.

One to get Westinghouse to sponsor the research.

One to indicate about how the robot mimics human
motor behavior in lightbulb changing.

One to bring up the chaos net.

One to order the Chinese food

One to adjust the microcode to properly reflect
the group’s political beliefs.

One to fix the compiler.

One to make incompatible changes to the primitives.

One to provide the Coke.

One to rehack the Lisp editor/debugger.

One to rehack the window package.

Another to fix the compiler.

One to convert code to the nonupward compatible
Lisp dialect.

Another to rehack the window package properly.

One to flame on BUGLISPM.

Another to fix the microcode.

One to write the fifteen lines of code required
to change the lightbulb.