Ipercomputazion

De Wikipedia
Sata a-a navegassion Sata a-a serchia
Lumbard ucidental Quest articol chì l'è scrivuu in lombard, grafia milanesa.

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.