y. is a user on mathtod.online. You can follow them or interact with them if you have an account anywhere in the fediverse. If you don't, you can sign up here.
y. @waidotto

ロジシャンを自称する手前,証明論とか算術とか逆数学とかの基本的な事項を知っておきたいという気持ちがある

· Web · 0 · 1

いやでも自分の専門がロジックかどうかは自信がないな