送交者: insight 于 2006-2-09, 19:28:18:
回答: You have to learn more about logic before going into Godel's theorem. 由 steven 于 2006-2-08, 23:56:15:
BTW, induction does not rely on logic. Please double check.
When you can prove something to be true, you are from known knowledge to knowable knowledge, which is not exciting; It is the "something" that you come up with and can not prove that is really intereting here, which you rely on the bottom-up processes to generate.