Mastodon Feed
Reblogged by technomancy@icosahedron.website ("tech? no! man, see..."):
Vierkantor@mastodon.vierkantor.com ("Anne C. A. Baanen") wrote:
ME: this theory is good, but it has... how can one say ... too many types? there are in fact, only so many types one can inhabit in the course of a proof. I think I'm right in saying that, aren't I?
PER MARTIN-LÖF: this is absurd!
ME: my good man, don't take it too hard. it's quality maths. there are simply too many types. just remove a few, and it will be perfect.
PER MARTIN-LÖF: which few did you have in mind?