>>491
>抽象（記号操作）だけなら、あなたたちは機械より劣る。

圏論をなめてるだろ
自明でない圏論の命題の証明を理解したことがあるのか？
たとえばアーベル圏の埋め込み定理
これが「今の」コンピュータで証明出来るなら俺の負けでいい