What is with LW people and theorems? The situation you’ve described is nowhere near formalized enough for there to be anything reasonable to say about it at the level of precision and formality that warrants a word like “theorem.”
What is with LW people and theorems? The situation you’ve described is nowhere near formalized enough for there to be anything reasonable to say about it at the level of precision and formality that warrants a word like “theorem.”