ゲーデルの不完全性定理とか、計算可能性とかそのあたりの話をできたらなぁと思っています。

計算機数学ですが、物理的なアーキテクチャの話より、TMの話などはどうでしょうか。