ハオ・ワン

1959年、IBM 704で『プリンキピア・マテマティカ』の膨大な定理をわずか9分間で証明するプログラムを書き上げる。

https://scrapbox.io/files/686b199021ab979df51c6ce2.png