标签：（）生前发表的研究论文已成为现代计算机逻辑计算理论和人工智能研究的基石，因此人们将他尊称为“计算机之父”