Gödel-Gentzen Translation
@ohmygoedel@mathstodon.xyz
Joined: 04/25/2022
About Gödel-Gentzen Translation
I enjoy the proof-theoretic and categorical aspects of human knowledge. [Pronouns: He/Him]
Lists
ohmygoedel has no public lists
Timeline
ohmygoedel has no activity yet