During the 1960s and 1970s German mathematician Heinrich Heesch developed methods of using computers to search for a proof .
In the 1960s and 1970s , Heinrich Heesch developed a first sketch of a proof by computer .