Division by zeroというタイトルだけど示していることはDiophantine satisfiability problem over Robinson's Qがdecidable、更にNP-completeなことですね https://t.co/8R9gg4SmnC
#arXiv #math_LO "Division by zero. (arXiv:1604.07309v3 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
#arXiv #cs_LO "Division by zero. (arXiv:1604.07309v3 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
Division by zero. (arXiv:1604.07309v2 [math.LO] UPDATED) https://t.co/hXmEBJyZ4P
#arXiv #math_LO "Division by zero. (arXiv:1604.07309v2 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
#arXiv #cs_LO "Division by zero. (arXiv:1604.07309v2 [math.LO] UPDATED)" https://t.co/eBWFXtUyiA
"Division by zero", E. Jeřábek https://t.co/g9V4SH5ZrC #math #logic
RT @MathPaper: Division by zero. https://t.co/34ojaybhsV
RT @MathPaper: Division by zero. https://t.co/34ojaybhsV
Division by zero. https://t.co/34ojaybhsV
Emil Jeřábek : Division by zero https://t.co/22pMRDSm5C
#arXiv #math_LO "Division by zero. (arXiv:1604.07309v1 [math.LO])" https://t.co/eBWFXtUyiA
#arXiv #cs_LO "Division by zero. (arXiv:1604.07309v1 [math.LO])" https://t.co/eBWFXtUyiA