483

How many AI people does it take to change a lightbulb? 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.