Resultats de la cerca

És una noció intuïtiva formalitzada pel concepte de límit

És la base conceptual de l’anàlisi no estàndard, intuïda per Wilhelm Gottfried Leibniz al segle XVII i, formalitzada per Abraham Robinson al començament dels anys seixanta, usa tècniques de teoria de models

Els més coneguts són per a tot x ∀ x quantificador universal existeix x ∃ x quantificador existencial Una frase com “existeix un home que és odiat per tots els homes” podria ésser formalitzada per ∃ x /∀ y x és odiat per y L’ús dels quantificadors és degut a Frege 1879 El símbol ∃d’existència és degut a Peano 1894, i el ∀, a Hilbert

La manera més freqüent de representar els nombres naturals és el sistema de numeració decimal, i el conjunt dels nombres naturals acostuma a ésser representat amb la lletra ℕ En la concepció dels nombres naturals, i també de les altres menes de nombres, hom pot donar prioritat a l’aspecte intuïtiu o a l’aspecte lògic Des del punt de vista intuïtiu, un nombre natural és una qualitat dels conjunts equipotents així, la classe de tots els conjunts equipotents amb el conjunt { X o Δ} és el nombre tres L’operació “unió de conjunts sense elements comuns” engendra l’operació de “sumar nombres…

L’aplicació compleix que la mesura de la unió de dos conjunts A i B de ɑ és igual a la suma de les respectives mesures, és a dir ∀ A ∈ ɑ i ∀ B ∈ ɑ tals que A ∩ B = ∅, m A + m B La terna Ω, ɑ, m és anomenada espai de mesura , i els conjunts de l’àlgebra ɑ són anomenats mesurables En el cas que ɑ sigui una σ-àlgebra de Borel, una mesura m és anomenada σ-additiva si la mesura d’una unió infinita i numerable de conjunts de ɑ disjunts dos a dos és igual a la suma de les respectives mesures, és a dir essent A i ∈ ɑ i A i ∩ A j = ∅, per a tot i, j tals que i ≠ j Una mesura és anomenada fitada…

L’axiomatització té la seva aplicació sobretot en lògica i matemàtiques L’axiomatització d’una ciència pot ésser feta de diverses maneres, puix que per a cada una hi ha diversos sistemes d’axiomes equivalents L’elecció d’un sistema d’axiomes o altre depèn del fi de base crítica dels fonaments, exposició didàctica, aplicacions tècniques, etc Una de les tendències de la lògica actual és de descobrir els mètodes més precisos d’axiomatització i una teoria completa dels símbols lògics per poder fomalitzar tant com sigui possible tots els sistemes L’axiomatització d’una teoria pressuposa …

Aquesta definició, des del punt de vista matemàtic, no és vàlida, i, així, en matemàtiques la noció de conjunt no és definida, i s’inclou dins del desenvolupament d’una teoria axiomàtica que eviti les paradoxes i contradiccions com les que, a començament del segle XX, posaren en qüestió no solament la teoria de conjunts, sinó bona part de la matemàtica Hom no defineix, doncs, ni conjunt, ni element, ni la relació de pertinença, i es conforma amb la idea intuïtiva del que signifiquen frases com Un conjunt és format per elements, o l’element 4 pertany al conjunt dels nombres naturals La…