This is a exploration of Artificial Intelligence (AI) . If you want to know more about this research, play enjoy it from my git book.
- 正如标题所说,这本书交织地介绍了数理逻辑学家哥德尔、版画家埃舍尔和巴洛克作曲家巴赫,探索了三个伟人在不同领域中作品的共同理念。就像本书作者侯世达所说:“我认识到,哥德尔、埃舍尔和巴赫只是用不同的方式来表达一样相同的本质。
- 哥德尔不完备定理讨论的是一个形式系统的一致性和完备性:所谓一致性,就是不会自相矛盾,一会儿肯定一个命题,一会儿又否定这个命题;所谓完备性,就是对任何符合语法的命题,都能证明它是真还是假。