Fake foreign words can sometimes take a life of their own, see e.g. https://en.wikipedia.org/wiki/List_of_pseudo-French_words_in... https://en.wikipedia.org/wiki/List_of_pseudo-German_words_in... My favorite coffee name…
Verifying fully formalized proofs is cheap. What is expensive is to produce such formalized proofs. More precisely, to formalize a proof written in a typical math paper is extremely time-consuming and not so informative…
Following this proof tree idea, this recent paper https://arxiv.org/abs/2102.03044 suggests to think of proofs of theorems as large trees, a tiny subset of which needs to be made explicit to convey the confidence the…
Fake foreign words can sometimes take a life of their own, see e.g. https://en.wikipedia.org/wiki/List_of_pseudo-French_words_in... https://en.wikipedia.org/wiki/List_of_pseudo-German_words_in... My favorite coffee name…
Verifying fully formalized proofs is cheap. What is expensive is to produce such formalized proofs. More precisely, to formalize a proof written in a typical math paper is extremely time-consuming and not so informative…
Following this proof tree idea, this recent paper https://arxiv.org/abs/2102.03044 suggests to think of proofs of theorems as large trees, a tiny subset of which needs to be made explicit to convey the confidence the…