Resultats de la cerca

Estudià a Harvard, Cambridge i Göttingen Fou nomenat professor de lògica matemàtica al MIT 1932 Hom el considera el creador de la cibernètica , les bases de la qual exposà en l’obra Cybernetics 1948, les quals han donat lloc posteriorment a un gran nombre d’aplicacions Poc després publicà Human Use of Human Beings Cybernetics and Society 1950, que ha estat traduïda al català Cibernètica i Societat , 1969, i I am a Mathematician 1956 Són notables, també, les seves recerques sobre teoria de probabilitats, integrals de Fourier, anàlisi harmònica, espais vectorials, moviment brownià…

Una funció f A ⊑ ℕ n → ℕ és computable si, i només si, existeix un algorisme formal, com ara una màquina de Turing que la computa Quan diem, però, que una funció k -ària f A ⊑ ℕ k → ℕ és computable per mitjà d’una màquina de Turing OOO La idea és la següent a la cinta de la màquina colloquem n 1 + 1 uns seguits d’un zero, després d’n 2 + 1 uns seguits d’un zero,, després n k + 1 uns seguits d’un zero i colloquem la màquina en estat intern q 0 i amb el cap lector en el zero que hi ha al darrere dels darrers n k + 1 uns La resta de la cinta és plena de zeros El zero significa que a la cella…