「NIMDC：别进我的演绎闭包」——zetalyrae 玩梗吐槽复杂性理论的丑陋结论

zetalyrae 在 X 上自造缩写 NIMDC（Not In My Deductive Closure，别进我的演绎闭包），调侃学界面对不合心意定理时的否认姿态。该梗设想一套不含这些「丑陋结论」的复杂性理论公理化体系，与近期「某内部模型推翻指数时间假设」的传闻语境相呼应。