컴퓨터 과학자, 거짓말 증명하는 방법 찾아내다 노트