Search results

Jump to: navigation, search

Page title matches

Page text matches

  • ...e formalizing math, or formalizing computation. But there is a [[selection effect]] here because we are more likely to have heard of successes than failures.
    746 bytes (115 words) - 20:41, 12 April 2021
  • ...ezer also brings up the Shannon vs Poe chess example) See also [[selection effect for successful formalizations]].
    3 KB (480 words) - 20:17, 26 June 2020