Posted: Feb 04, 2011 11:40 am
VazScep wrote:By inventing type theory to deal explicitly with such self-referential contradictions?
Do you think that he can prove that "Whatever knowledge is attainable, must be attained by scientific methods; and what science cannot discover, mankind cannot know"? If so, please talk us through it.