メッセージ。 - ネタにマジレスすいません

数学と，抽象化の漏れと，使いものになる速度が出るってのは，全然関係無いと思いますよ．

数学的には，真偽の証明だけが命なので，物理世界において使いものになるとかならないとかは全く関心事になりませんし．

1 bit ずつ計算しようが，ワード単位で計算しようが，もっと大きな単位で計算しようが，量子計算機で物理世界の特性を最大限に活かして計算しようが，計算能力自体はチューリングマシンと等価です (超並列世界論者などは，並行宇宙の特性を考慮していないチューリングマシンは，抽象化が漏れていると言いますが)．

抽象化の漏れってのは，上の世界の概念だけでは説明できず，下の世界のことを知らないと解決できない現象が生じることです．

別にシリコンじゃなくても，バネでも水車でも量子でも，NAND の概念を表現できれば全ての論理回路は実装できるので，この層の抽象化は非常に強固かつ完全なものと言えると思いますが．