← poprzednia wersja

Wersja z 08:16, 2 kwi 2026

(Nie pokazano 6 pośrednich wersji utworzonych przez tego samego użytkownika)

Linia 40:

						\mathbf{od} 	 		

						\mathbf{od} 	 		

					\end{array}\right\rbrace(m=1)} }_{ {the\ computation\   for\ n\ is\ finite} }  \qquad (H)   

					\end{array}\right\rbrace(m=1)} }_{ {the\ computation\   for\ n\ is\ finite} }  \qquad (H)   

−

</math>

+

</math>   <br />

−

+

  or by another, equivalent formula with iteration quantifier instead of  '''while''' <br />

+

There is no finite, traditional proof the following  theorem . <br/>

There is no finite, traditional proof the following  theorem . <br/>

<math> \begin{array}{p{14cm}}

<math> \begin{array}{p{14cm}}

Lem - Ostatnie zmiany [pl]

Collatz