达纳·斯科特 达纳斯图尔特斯科特英語Dana Stewart Scott年月日美国科学家研究领域涉及计算机科学数学和哲学年图灵奖得主