Ipercomputazion
L'ipercomputazion, anca Super-Turing, a l'è el modell teòrich de calcol che 'l pò dà di output che hinn no di fonzion calcolabil de 'na macchina del Turing. Per esempi on sistema bon de risolv el problema de la fermada o l'Entscheidungsproblem in di assioma de Peano el sarìa ipercomputazion.
Al dì d'incoeu el se sa minga se l'è possibil avègh di modèj de calcol sora quell de la macchina del Turing: Per esempi el Martin Davis, vun di important studios de 'sta materia, el pensa che la sia on mitt.