assorbente
assorbènte [agg. e s.m. Der. del part. pres. absorbens -entis del lat. absorbire "assorbire, accogliere in sé", comp. di ab- e sorbere "sorbire"] [LSF] Come agg., qualifica di corpi, materiali, [...] ecc., dotati di sensibili proprietà di assorbimento nei riguardi di specifiche radiazioni meccaniche, elettromagnetiche oppure particellari: a. acustico, a. per l'infrarosso, ecc.; a. di neutroni, ecc. Come s.m. è sinon. di assorbitore. ◆ [FTC] [ACS] ...
Leggi Tutto
attivo
attivo [Dal. lat. activus, der. del part. pass. actus del lat. agere "agire, fare"] [LSF] Che è capace di agire o che agisce; specific., che è dotato di una qualche attività, cioè che possiede [...] determinate proprietà oppure che è capace di determinare particolari effetti: mezzo elettricamente a., cioè polarizzato o polarizzabile; mezzo magneticamente a., cioè magnetizzato o magnetizzabile; mezzo otticamente a., cioè dotato di potere ottico ...
Leggi Tutto
reale
reale [agg. (usato talvolta nella matematica anche come s.m.) Der. del lat. realis, da res "cosa"] [LSF] Ogni sistema fisico effettivo, del quale può convenire costruire un modello ideale, trascurando [...] o minimizzando certe sue proprietà e dando maggiore rilievo ad altre, come accade, per es., per un gas r. in contrapp. a gas ideale, o gas perfetto. ◆ [ALG] Figura r.: figura geometrica rappresentata da un'equazione a coefficienti reali. ◆ [ANM] ...
Leggi Tutto
permutabilita
permutabilità [Der. del lat. permutare "cambiare completamente", comp. di per- intensivo e mutare "cambiare"] [ALG] P. di elementi di un insieme: per un insieme nel quale sia definita un'operazione [...] * su due elementi a e b, proprietà per la quale è a*b=b*a; allora a e b, e quanti altri elementi soddisfano questa condizione, si dicono elementi permutabili; se ciò vale per tutte le possibili coppie di elementi dell'insieme, si parla propr. di ...
Leggi Tutto
insieme
insième [Der. del lat. insemel, forma corrotta di insimul, comp. di in- e simul "insieme"] [ALG] Secondo la definizione di G. Cantor, ogni raccolta (aggregato, famiglia) di enti distinti, detti [...] scrivendo tra parentesi graffe i suoi elementi o una proprietà che li caratterizza, come nell'esempio che segue: di B. Le operazioni di unione e di intersezione tra i. godono delle proprietà commu-tativa (ossia A»B=B»A, A«B=B«A), associativa ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] x, allora X contiene tutti gli elementi di ℕ.
L'ultimo assioma, il V, è alla base delle dimostrazioni per induzione su ℕ: per mostrare che una proprietà P(x) vale per ogni x∈ℕ, è sufficiente mostrare che vale P(0) e che P(x)⇒P(sc(x)) per ogni x (si ...
Leggi Tutto
rappresentazione
rappresentazióne [Der. del lat. repraesentatio -onis, dal part. pass. repraesentatus del lat. repraesentare "rappresentare", comp. di re- "di nuovo" e praesentare "presentare"] [ALG] [...] che si stabilisce tra due insiemi allo scopo di semplificarne lo studio riportando le proprietà dell'uno a quelle dell'altro, oppure allo scopo di paragonare le loro proprietà: v. algebre di operatori: I 93 f. ◆ [MCQ] L'insieme degli stati base con ...
Leggi Tutto
topologico
topològico [agg. (pl.m. -ci) Der. di topologia] [ALG] Relativo alla topologia, che si studia dal punto di vista della topologia: classificazione t., varietà t., ecc. ◆ [ALG] Gruppo t.: gruppo [...] ., la connessione). ◆ [ALG] Spazio t.: insieme non vuoto in cui si fissano certi sottoinsiemi come aperti (che godono di proprietà analoghe a quelle degli intervalli aperti su una retta), il che permette di introdurre concetti come il limite di una ...
Leggi Tutto
Numeri, teoria dei
LLarry Joel Goldstein
di Larry Joel Goldstein
SOMMARIO: 1. Introduzione: a) argomenti fondamentali; b) la teoria dei numeri nel XVII e XVIII secolo; c) Gauss. □ 2. Teoria algebrica [...] primo non ramificato. Allora è possibile costruire un elemento [(F/???OUT-Q???/p] del gruppo di Galois di F su ???OUT-Q??? con la seguente proprietà: se pℴF=P1 ... Pg e f1=...=fg=f, allora [(F/???OUT-Q???/p] ha ordine f. [(F/???OUT-Q???/p] è chiamato ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] una prova della non dimostrabilità di 0≠1 e quindi della loro coerenza.
Calcoli di sequenti e programmazione logica
La proprietà della sottoformula, presente in tutti i calcoli di sequenti per cui vale una forma di Hauptsatz, enuncia una specie di ...
Leggi Tutto
proprieta
proprietà (pop. propietà) s. f. [dal lat. propriĕtas -atis, der. di proprius «proprio»]. – 1. a. Qualità propria e particolare che un essere, un corpo, una sostanza (o anche una specie) ha per sua natura e per cui si distingue da...
catasto (ant. anche catastro e, a Venezia, catàstico) s. m. [dal gr. biz. κατάστιχον «registro», da κατά στίχον «riga per riga»]. – In origine, qualsiasi rassegna di beni, anche mobili, e di possessori, allo scopo di ripartire il carico fiscale;...