Corrections
An article in Science Times on Tuesday about a major mathematical proof achieved by a computer misstated the given name and affiliation of a researcher who worked on the problem before his death. He was Dr. Alfred Tarski, not Albert; he was at the University of California at Berkeley, not at Stanford.