yoriyuki is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.

Handbook of Proof Theoryの一部がオンラインで公開されている事に気づいた。不完全性定理についても色々書かれているし、文献も詳しい。math.ucsd.edu/~sbuss/ResearchW

yoriyuki @yoriyuki

しかし関係$y = 2^x$定義するのこんな大変なんだ。

· Web · 0 · 0