3 ms·
Balderdash, as others have more graciously pointed out. How wrong do you have to be before having your nonsense deleted from HN?
by keithalewis 8y ago
Balderdash, as others have more graciously pointed out. How wrong do you have to be before having your nonsense deleted from HN?
- wool_gather 8y agoEven if it is balderdash, isn't there value in analyzing(/refuting) it? I submitted the post (it's not mine) because I was interested in hearing people with more maths than I have expand/comment on it -- perhaps even people who had read the original papers. If there's something particular in the post that you find problematic, I personally am all ears.
- keithalewis 8y agoThe author is correct that checking if two functions having infinite domains are equal is often impossible. He also has correct statements of some mathematical theorems. But people in this thread have provided counterexamples to his claim. That means he needs to fix the mistakes he made. If you are interested in what serious mathematicians have to say on this topic see https://homotopytypetheory.org/ https://homotopytypetheory.org/.
- jozefg 8y agoIt is possible in certain cases, that's the point of the article. One of the contributors to HoTT is the author of the paper introducing these algorithms :)