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.
yoriyuki @yoriyuki

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

· Web · 0 · 1

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