Principia Mathematica
IPLの最初の利用例は、『プリンキピア・マテマティカ』（バートランド・ラッセルとアルフレッド・ノース・ホワイトヘッドの労作）の中の定理を計算によって証明するデモンストレーションであった。サイモンの自伝 "Models of My Life" によると、このアプリケーションは人手によるシミュレーションで最初に試されたという。彼の子供たちを演算装置に見立て、各人にプログラムの状態変数を保持するレジスタの役目をするカードを持たせたという。