TY - RPRT TI - SAT problem and Limit of Solomonoff's inductive reasoning theory AU - Feng Pan PY - 2025 UR - https://arxiv.org/abs/2504.00318 ID - 2504.00318 ER -