來自 Ben Goertzel（@bengoertzel）的推文串

@pmddomingos——我思考了一下如何將張量邏輯擴展到高階邏輯…參見 https://t.co/A7qXOYXNOC 這有點微妙——顯而易見的通用方法並不實用……而那些顯而易見的實用drive.google.com/file/d/1Ucy7O4…構建一個通用的HOL系統，然後在將數據/問題發送到GPU進行加速時，以一種能夠嵌入當前適用約束的方式進行張量化……但是，如何確定何時能夠高效地完成這種轉換，使得開銷不會在這個概念上提升，可能比較微妙，我探討了這個概念。