logica intuizionista
Silvio Bozzi
La più studiata rivale della logica classica sin da quando fu assiomatizzata da Arend Heyting nel 1930. Già Anchei M. Kolmogorov nel 1925 e Vasili I. Glivenko nel 1929 [...] ’universo del discorso fornisce teoria delle specie ecc.). Un passo decisivo sul piano dell’elaborazione semantica lo compie nel 1935 Alfred Tarski che prova che i teoremi proposizionali di HI coincidono con le formule vere (che hanno cioè come valore ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] il numero degli elementi del p. cartesiano è pari al p. del numero degli elementi dei a₁a₂a₃...=Πnn==₁∞an; si dice che esso ha il valore P, o converge a P, se il limite dei p. troncati indicare l'intersezione nella teoria degli insiemi e la ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] , ecc.). ◆ [MCQ] R. del pacchetto d'onde: v. misura in meccanica quantistica, teoria della: IV 8 d. ◆ [ALG] [GFS] R. di un disegno (di una pianta, di una carta topografica, ecc.): l'operazione di riprodurlo (e, con valore concreto, la riproduzione ...
Leggi Tutto
capacita
capacità [Der. del lat. capacitas -atis, da capax "capiente"] [LSF] (a) Attitudine di un oggetto a contenere qualcosa fino a un determinato limite; è riferita di norma a recipienti (c. di un [...] del canale fornisce sul valore della variabile di uscita: v. informazione, teoria dell': III 200 b. ◆ [INF] [ELT] C. del canale: v. informazione, teoria [EMG] C. di un accumulatore elettrico: il valore della carica elettrica (espressa però di norma in ...
Leggi Tutto
DELL'AGNOLA, Carlo Alberto
Francesco Saverio Rossi
Nacque a Taibon Agordino (Belluno) il 23 giugno 1871 da Giovanni Battista e da Maria Soccol.
Compiuti gli studi medi a Belluno, si trasferì all'università [...] note e opere didattiche di notevole valore riprendendo teorie e metodi impiegati da altri studiosi 1939-40 (9nov. 1940), Venezia 1941; F. G. Tricomi, Matematici ital. del primo secolo dello Stato unitario, in Mem. dell'Acc. delle scienze di Torino, ...
Leggi Tutto
BARBIERI, Ubaldo
Mario Gliozzi
Nacque a Modena il 2 giugno 1874 e, compiuti gli studi secondari, entrò nell'Accademia d'artiglieria e genio, uscendovi nel 1897 col grado di tenente del genio. Ma dopo [...] questioni relative alla teoria fisico-matematica della della gravità raggiungono il loro massimo valore numerico. Il B. metteva così per 6, III (1926), pp. 607-6 11; Collegamento geodetico del vertice di Andrate alla rete di 30 ordine dello Stato, ...
Leggi Tutto
Poisson Simeon-Denis
Poisson 〈puasòn〉 Siméon-Denis [STF] (Pithiviers 1781 - Parigi 1840) Prof. di analisi matematica e di meccanica nell'École polytechnique (1802) e alla Sorbona di Parigi (1812). ◆ [...] fibre parallele all'asse: v. elasticità, teoria della: II 254 c. ◆ [PRB numeri in quanto si applica bene a eventi con valore medio piccolo: v.dati, statistica dei: II luce le proprietà degli integrali primi del moto e la struttura simplettica dello ...
Leggi Tutto
delta 1
dèlta1 [La quarta lettera dell'alfabeto greco (min. δ, maiusc. Δ] [ANM] La lettera δ indica: (a) una variazione molto piccola della funzione, o grandezza, f cui è applicata (δf) e anche, estensiv., [...] il simb. Δ per l'operatore di Laplace, del quale simb. ora più usuale nella fisica è , N* (il numero tra parentesi è il valore della massa, in MeV/c2, con c velocità nell'ambito delle distribuzioni (v. distribuzioni, teoria delle: II 221 d), è una ...
Leggi Tutto
stabilizzatore
stabilizzatóre [agg. (f. -trice) e s.m. Der. di stabilizzare (→ stabilizzante)] [LSF] Apparecchio, dispositivo o sostanza che ha la capacità di rendere stabile o più stabile qualcosa; [...] ALG] Particolare sottogruppo: v. invarianti, teoria degli: III 283 e. ◆ limiti, della forza elettromotrice e dell'impedenza del circuito; a parte certi tipi, di uso stato solido) in modo da mantenere a un valore costante la tensione d'uscita. (b) S. ...
Leggi Tutto
orientamento
orientaménto [Der. di orientare, formato da oriens -entis con il signif. di "determinare l'est"] [LSF] Atto ed effetto del determinare i punti cardinali di un luogo e, in generale, del determinare [...] e. ◆ [EMG] Momento di o.: nella teoria della polarizzazione dielettrica e della magnetizzazione, il valore medio del componente del momento elettrico o magnetico delle molecole nella direzione del campo polarizzante o magnetizzante, da attribuire a ...
Leggi Tutto
valore
valóre s. m. [dal lat. tardo (in glosse) valor -oris, der. di valere: v. valere]. – 1. Riferito a persona indica: a. Possesso di alte doti intellettuali e morali, o alto grado di capacità professionale: un uomo, una donna di v., di...
numero
nùmero s. m. [dal lat. numĕrus; cfr. novero]. – 1. Ciascuno degli enti astratti che rappresentano insiemi di unità, ordinati in una successione infinita (serie naturale dei n.) nella quale ogni elemento conta un’unità in più rispetto...