Andoremhat 分享了劃線。

但數學「無理由的有效性」並非相信大自然圖書館和它們基因型網路真實性的唯一理由，另一個理由是，二十一世紀的科技讓我們可以自由進入這些圖書館。如此一來，可以讓發現和發明的爭論（千百年來令人不快的抽象概念），從傳統專注在數學這類語言轉變成結合實驗科學。理由是我們現在可以閱讀大自然圖書館中的個別書本。