Slava Pestov on Nostr: RE: How about monoids with word problem solved (artisinally), then? ...

RE: https://mathstodon.xyz/@davidradcliffe/117412692476120189

How about monoids with word problem solved (artisinally), then?

quoting
note1x6n…dt2g

Measuring progress in mathematics by counting proofs of theorems is like measuring productivity in software development by counting lines of code.