#refutation (1)

#はい論破 (37)

#ひろゆき (5,822)

#アラン・チューリング (62)

#アルゴリズム (3,325)

#アルゴリズムが停止するかどうかを決定するアルゴリズムは存在しない (1)

#カントールの定理 (2)