UTM theorem

8年就讀於新罕布夏州漢諾威的達特茅斯學院。 羅素為IBM 704大型計算機編寫了程式語言LISP的前兩個實現，是羅素意識到通用函數（英语：UTM theorem）的概念可以應用到語言中。通過在低級語言中實現LISP通用評估器，就有可能創建LISP直譯器；之前關於該語言的開發工作主要集中在編譯該語言

通用图灵机（Universal Turing Machine，又称UTM或Machine U）是一种图灵机，由艾伦·图灵在1936年发明。这种多用途單機器（計算機器）模型可以「運行」任何任意（但well-formed）指令序列（稱為 "quintuples"）。這模型被一些人例如Davis (2000)

Twenty: Factorial. Primes.utm.edu. [2013-02-05]. （原始内容存档于2013-04-10）.  Chris K. Caldwell. The Top Twenty: Primorial. Primes.utm.edu. [2013-02-05]. （原始内容存档于2021-05-06）

\mathbb {Q} [{\sqrt {d}}]} 的類数為1，亦即其整數環為唯一分解整環。而根據史塔克-黑格纳理論（英语：Stark–Heegner theorem），有此性質的負數只有9個，其對應的自然數稱為黑格纳数。 此外負二也能使二次域 Q [ d ] {\displaystyle \mathbb {Q}