まだ生きている数理論理学者