Un di mutif l’è che el g’he stà minga un algoritmo per cuntrulà l’uguaglianza di dü numer calculabil.