수와 논리로 세상을 풀다