Follow


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
Mathstodon

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