anything that couldn’t be proved with that many symbols would be of little to no interest to us
Are you sure? Maybe there are exist concise, powerful theorems that have really long proofs.
Oh good grief, since everyone here is intent on nitpicking the observation to death, here is his bloody letter: http://rjlipton.wordpress.com/the-gdel-letter/
Are you sure? Maybe there are exist concise, powerful theorems that have really long proofs.
Oh good grief, since everyone here is intent on nitpicking the observation to death, here is his bloody letter: http://rjlipton.wordpress.com/the-gdel-letter/