[8]我们列出集合{v, w,x,......,z},这里按照某种字典方案,v代表函数f.我们在每一阶段(递归地)检验看是否有f(w, x,......,z)=0,当仅当在这种情形下,才有命题∃w, x,......,z[f(w, x,......,z)=0].
[9]最近妮诺·伯龙(由于受这本书初版精装本中我的议论所刺激)告诉我,她已能断定芒德布罗集(的补集)在下面注释10的特殊意义下的确是非递归的,正如我在正文中所猜测的那样.[10]存在实数的实值函数的可计算性的一种新理论(和传统的自然数的自然数值函数相反),由伯龙,苏伯和斯马勒(1989)提出.我最近才注意到该理论的细节.该理论还适用于复函数,它可能和正文中提出的问题有重要的关系.这一新工作