Title Text:Extremely rude how Turing’s later formulations of the halting problem called me out by name specifically. Origin:https://xkcd.com/2453/ https://www.explainxkcd.com/wiki/index.php/2453:_Excel_Lambda Excel λ 随后图灵在关于停机问题的定理中居然特意点我大名批评我，太粗鲁了！ http://xkcd.in/comic?lg=cn&id=2453 Cueball正在计算，而Ponytail批评他的方式让人想起了Code Quality系列，尽管不那么苛刻。Cueball有很多奇怪的计算机问题，很可能会导… Read more