Fue presentado en 1962 por Martin Davis, Hilary Putnam, George Logemann y Donald W.