Willst du ins Unendliche schreiten, Geh nur im Endlichen nach allen Seiten. — Johann Wolfgang von Goethe数学的帰納法というと、「ドミノがどこまででも倒れていく」とか「ハシゴをどこまででも登っていける」といった上向きのイメージはよく説明され…

人間の心を実現する人工知能は作れないとか人間は機械ではないことが不完全性定理から導かれるという主張(とそれに対する否定・批判)がしばしば行われてきた。議論の根本の部分は単純なので、そのあたりについてのメモを書いておく。特に目新しい議論や主張…