zhaoway (zhaoway) wrote,

反例

建立一个命题。然后等着被人举反例。这个是在是件恐怖的事情。按照 Curry-Howard Isomorphism 这个和程序员写了程序出来以后、等着 Bug 出现的心情应该是一样的。^_^
  • Post a new comment

    Error

    default userpic
  • 13 comments