>>672
数学にも、ゲーデルの不確実性定理なんてあるんだ。知らなかった。

ただ、これ数学だけではなく、「理解して信じる」と同じで、
理解（分かる）というものは極めて直感的でそれそのものはまともに定義できない
つまり、究極的には何かを直感で信じるって事でしょ
鰯の頭でも神様になるじゃないが、そもそも世界が曖昧だと言っているような物では？

プログラミング次第では、コンピュータは絵画を理解できるとか
分かるとか、最近考えることがあるが、理解って何だ？って思うことが多い
数学的と言うよりも哲学的では？

ただ、数学は不都合があるなら公理を作ることで回避できる気もするけどなw