在这场历时10年的有关干预行动应如何理解的纷争的最后阶段,伊利亚·斯皮塞加入了.他加入的时机正是我方最为艰难的时期.当时我正忙于为我不幸遇难的儿子丹尼,一名反西方恐怖主义的受害者建立基金会.我一直以来都期望我的学生自力更生,而在那段自顾不暇的时间里,这个期望被推向了极致.而他们返还给了我一份最好的礼物,为do演算理论系统的建构添上了最后的点睛之笔,这是我仅凭一己之力无法做到的.事实上,我曾试图阻止伊利亚去证明do演算的完备性.因为完备性证明的困难是众所周知的,想要按时拿到博士学位的学生都避之唯恐不及.幸运的是,伊利亚没有听从我的建议,而是独自完成了这项艰巨的任务.
在一些关键时刻,我的几位同事也曾对我思考问题的方向产