Yoriyuki Yamagata · @yoriyuki
3 followers · 3 posts · Server mathstodon.xyzI'm watching "Proof Complexity and Meta-Mathematicshttps" bit by bit
https://www.youtube.com/playlist?list=PLgKuh-lKre10CktjVrpIX9VEvX6Rog36N
#ProofTheory #simonsinstitute #mathematicallogic
Last updated 2 years ago