Numer de Rayo
|
Quest articol chì l'è scrivud in lombard, con la Noeuva Ortografia Lombarda |
El Numer de Rayo a l'è un numer propi grand inventad del professor de logega e filosofia del MIT Agustín Rayo in del 2007, 'me part de una gran sfida per trovà el numer pussee gross cont un nom. A l'è definid, in pratega, 'me el numer pussee piscinin che l'è pussee grand de 'n quajsevoeul numer dad foeura de 'n espression cont i simboi de prim orden de la teoria di insema che la dopera un googol de simboi o manch.
La fonzion che la cunta un numer de Rayo a l'è minga computabel, a l'è donca impossibel per una machina del Turing fà el cunt de 'n quajsevoeul numer de Rayo.