i haven't read any of this thread, but let me just say you can prove something (logically) without knowing everything about it or knowing every case. for example, you can know Pi is irrational without knowing every digit in order to check. just an example.
|