Resultats de la cerca

La forma general d’una equació algèbrica d' n variables x 1 ,, x n és ∑ a i 1 i 2 i n x i 1 1 x i 2 2 x i n n = 0 , amb  a i 1 i 2 i n en un cos K

Donada una corba C , parametritzada per l’abscissa curvilínia s s dona la longitud de l’arc des d’un punt de referència de la corba, C s = x s , y s , z s , tríede ortonormal directe definit en cada punt P de C pels vectors tangent t , normal n i binormal b , l’expressió dels quals és t = d C s / ds P , ∥ t ∥=1 n = d t / ds /∥ d t / ds ∥ P , ∥ n ∥=1 b = t ∧ n , ∥ b ∥=1 El pla P , t , n és el pla osculador de la corba C en el punt P , el pla P , n , b és el pla normal de C en P , i el pla P , b , t és el pla rectificador de C en P El radi de curvatura de C és R s = 1/∥ d t / ds…

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…

Com és usual en la història de les matemàtiques, té orígens aparentment molt diferents que finalment conflueixen i permeten d’establir el que esdevé una teoria enormement potent i irrenunciable Cal remarcar-ne el problema diofàntic plantejat per David Hilbert l’any 1900, i el problema de les paraules que sorgí en el món de la topologia algèbrica Es tracta de dos problemes típics de decidibilitat és a dir, aquells en què cal disposar d’un mètode que permeti de decidir una o altra de dues opcions atesa una equació diofàntica, té solució, són equivalents dues paraules donades per…