P vs NP 世纪难题显示出在现有的计算机理论中存在着令人不安的困惑:一方面,书本中的 NP 问题理论部份无论是学习或教学都感到困难,以至于人们不得不一次又一次回头去重新学习或思考,但或者失望而返,或者强迫自己服从这些权威论述;另一方面,现有的 NP 问题理论与实际工作几乎完全脱节,甚至有人说完全可 ...
FOM( https://cs.nyu.edu/mailman/listinfo/fom )是一个讨论数学基础的论坛,汇聚了国际上计算机和数学领域的理论工作者,由 Martin Davis( https://fr.wikipedia.org/wiki/Martin_Davis )主持。 最近在讨论英国学者 David Deutsch 在文章 “The Philosophy of Constructor Theory”( https:/ ...