About a question on formalising "interestingness" in mathematics
Posted by user1729, at math.meta.stackexchange.com,
I want to discuss this question. It was closed, re-opened, then closed again. The close reason is "off-topic", and I want to…
I want to discuss this question. It was closed, re-opened, then closed again. The close reason is "off-topic", and I want to…
I want to discuss this question. It was closed, re-opened, then closed again. The close reason is "off-topic", and I want to…
There are many theorems in mathematics that have been proved with the assistance of computers, take the famous four color…