关于自然数填充的平方矩阵中方程组的多项式系统
逻辑
2025-07-22 v1 数论
摘要
不带参数的集合 的正存在论理论构建了一个与可整除性格局等价的包含格。所有这些集合都是算法上不可判定的。在后续章节中，作出一些更容易的观察，例如关于系数在 上的齐次多项式方程组的不可判定性。
引用
@article{arxiv.2507.15265,
title = {On polynomial systems of equations in square matrices filled with natural numbers},
author = {Mihai Prunescu},
journal= {arXiv preprint arXiv:2507.15265},
year = {2025}
}