mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.9K
active users

Thinking about calling my next paper "The Science of Logic", I sure hope that's not taken

Jon Awbrey

@maxsnew

is of course classically recognized as a and C.S. wrote a lot about the , his analysis of into three types of inference — , , and .