Resultats de la cerca

La seva existència és garantida per l’axioma de les parts, que és un dels axiomes de la teoria axiomàtica de conjunts És anomenat també el conjunt de parts d' X El nom de conjunt potència prové del fet que, si acceptem l’axioma de l’elecció, el cardinal del conjunt OOO X és 2 card x

El conjunt de tots els punts adherents a A rep el nom d’adherència o clausura d' A i és designat Ā i es designat Ā i, a voltes, CL A És el més petit conjunt tancat que conté el conjunt A Un conjunt A és tancat per a la topologia OOO si, i només si, Ā =

Conjunt ordenat OOO X ,≤OOO si, i només si, tot subconjunt Y ⊆ X , no buit, té primer element Els nombres ordinals mesuren precisament les diferents menes de bons ordres possibles És a dir, tot conjunt ben ordenat és ordre-isomorf a un únic nombre ordinal

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…

Si la relació d’ordre és parcial, el conjunt OOO X ,≤OOO és parcialment ordenat i, si és total, és totalment ordenat Una relació d’ordre és parcial si compleix les propietats reflexiva x ≤ x , transitiva si x ≤ y i y ≤ z , aleshores x ≤ z i antisimètrica si x ≤ y i y ≤ x , aleshores x = y I és total quan és parcial i, a més, tota parella d’elements és comparable qualssevol que siguin x , y , x ≤ y o y ≤ x

D’una banda si hom disposa d’un alfabet finit OOO = {a 1 ,,a n } i, per concatenació, construeix els mots M = ζ 1 ζ r , on cada símbol ζ i és una de les lletres a j ∈ OOO d’aquest alfabet i r ∈ ℕ si, d’altra banda, hom disposa d’un cert diccionari que estableix l’equivalència de certes parelles de mots i, finalment, hom accepta el fet que, en substituir en un mot M = M 1 mM 2 un cert sumbmot m per un altre mot m´ equivalent, obté un mot equivalent M´ = M 1 m' M 2 Cal plantejar la pregunta següent donats dos mots arbitraris M i N , hi ha algun algorisme que permeti de decidir si són…

Normalment, l’operació * és designada aleshores per + i l’invers OOO d' x , per − x

La hipòtesi del continu estableix que no hi ha cap conjunt el cardinal del qual sigui superior al cardinal d’ℕ i inferior al cardinal de OOO ℕ

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 endavant L’any…

Si hom disposa d’un cert llenguatge L = { a 1 ,, a n } i a cada símbol a i li associa un cert nombre senar g a i per exemple, g a i = 2 i + 1 i, a cada paraula , on cada és una de les lletres a j ∈ L , el nombre , on p r és el r -èsim nombre primer Ara hom pot estendre aquesta tècnica a frases, on cada OOO és una de les lletres