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

Bé que el terme és aplicat també a l’adquisició de territori que no pertanyia a cap altre estat, hom parla més pròpiament d’annexió quan a un estat és incorporat totalment o parcialment el territori d’un altre estat L’annexió d’un país o d’un territori és formalitzada per un acte tradicionalment reservat al cap de l’estat annexant, acte que pot ésser reconegut generalment per la comunitat internacional —com és el cas en els tractats de pau, de retrocessió, etc— o només per alguns dels seus membres —com sol passar en cas d’ocupació violenta, o de guerra en curs o no conclosa per…

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…

Cal distingir entre les lleis de conservació associades a simetries dinàmiques i les lleis de conservació que resulten de simetries més profundes de la natura D’una banda, l’existència d’una llei de conservació d’una variable dinàmica com és ara l’energia, permet que, en analitzar l’evolució del sistema, hom pugui rebutjar totes aquelles solucions que, si bé són possibles per tal com satisfan l’equació dinàmica, no s’adiuen amb la conservació admesa per tant, el coneixement de les lleis de conservació simplifica notablement el tractament dels problemes, alguns dels quals serien, altrament,…

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 tenir-ne…

A més, però, de la lògica pròpiament dita, actualment hom inclou sota el títol de lògica les investigacions metalògiques, les quals comprenen la teoria de la deducció o estudi de les propietats dels conjunts d’axiomes i la semàntica formal D’altra banda, no tot el que ha figurat històricament sota el nom de lògica —com és ara la hegeliana— entra avui dins l’àmbit d’aquesta, ni totes les investigacions pròpiament lògiques han estat consignades com a tals Malgrat aquesta dificultat, existeix una unitat bàsica de temàtica, separable de la filosofia, que permet de considerar la lògica com una…