I study logic at Tohoku University.
Currently focused on reverse mathematics and modal logic, mostly using games.

Hoping to discuss mathematics, and sometimes other things too.

Sign in to participate in the conversation

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!