Follow

SoareのTuring Computability,主張は合ってるのに証明はちょくちょく間違ってるからわりと油断ならない.(修正可能な範囲ではあるが)

Sign in to participate in the conversation
Mathtodon

A Mastodon instance named Mathtodon, where you can post toots with beautiful mathematical formulae in TeX/LaTeX style.