← Back to context Comment by robotpepi 17 hours ago Your analogy doesn't work. A "product" in research pure math is not the same as writing code. 2 comments robotpepi Reply charcircuit 10 hours ago You can import a theorem that another paper proves without having to understand the mechanics of the proof itself. robotpepi 9 hours ago if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.
charcircuit 10 hours ago You can import a theorem that another paper proves without having to understand the mechanics of the proof itself. robotpepi 9 hours ago if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.
robotpepi 9 hours ago if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.
You can import a theorem that another paper proves without having to understand the mechanics of the proof itself.
if your goal in life is proving theorems, then sure, but we don't fund mathematics to check if each conceivable theorem is true/false.