Follow

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

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

Show thread
Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.