CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

R

richardelwes@mathstodon.xyz

@richardelwes@mathstodon.xyz

0

Posts

Recent Best Controversial

I don't want to formalize any of my work on mathematics.

R richardelwes@mathstodon.xyz

@johncarlosbaez Am I right in understanding that you don’t object to your work being formalised, you just don’t want to do it yourself?

Uncategorized