HN user

phlofy

18 karma
Posts0
Comments6
View on HN
No posts found.

Proofs are literature. They need to go through a peer review process to have someone other than the author verify their correctness. Nowadays often tools like Lean are used to convert the argument into what you would call formal logic. It's nontrivial and takes time.

You had a point until you brought up the Yemeni Jews who had been oppressed for generations treated as second class citizens, charged a "protection tax," banned from wearing the traditional Sudra as a form of humiliation, and more recently persecuted by the Houthis. The plight of the Palestinians is very real, but refrain from rewriting the history of Yemeni Jews. Educate yourself.