2022-07-31TAG:Scott伯克利ChurchTarski普林斯頓

圖注：Dana Scott作為一位在上世紀早期獲得圖靈獎的科學家，Dana Scott 是個典型的通才式科學家，他的研究涉及計算機科學家、數學和哲學等多個領域，他在自動機理論、模態邏輯、模型論、集合論和程式語言理論等問題上做出了開創性的貢獻...