0463132人目の素数さん垢版2017/07/06(木) 22:00:17.89ID:s9ExDxZU つまりチューリングマシンも1階述語論理も自然言語や人間の持つあいまいさから完全には解放されていないというわけだ