英和和英

形容詞

probvious (not comparable)

1. (mathematics, computing theory) Able to be shown to hold with very high confidence via heuristic arguments, but not formally provable.
   • 2023, Peter Lynch, “Amusical Permutations and Unsettleable Problems”, in ThatsMaths‎:

     For the Collatz conjecture, as written in condensed form, the map is scaling by ${\displaystyle 1/2}$ or ${\displaystyle 3/2}$ with equal probability, so the expected growth factor is <math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle {\sqrt {3/4}}<1}"> 3 / 4 < 1 {\displaystyle {\sqrt {3/4}}<1} <img loading="lazy" src="https://wikimedia.org/api/rest_v1/media/math/render/svg/6b36d89bfb645015ba4c11e2f3e7994923270082" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -1.838ex; width:10.072ex; height:4.843ex;" alt="{\displaystyle {\sqrt {3/4}}<1}">}. Thus, we may argue that the map should probviously cycle back to ${\displaystyle 1}$. Nevertheless, in a postscript, Conway wrote that the Collatz conjecture is very likely unsettleable.

参考

• quasitrivial

参照