“...Symposium on the Complexity of Computer Computations Yorktown Heights, New York)...”