linguaggio
linguàggio s. m. [der. di lingua]. – 1. Nell’uso ant. o letter., e talora anche nell’uso com. odierno, lo stesso che lingua, come strumento di comunicazione usato dai membri di una stessa [...] teorie concernenti la natura, la struttura e le funzioni dei segni linguistici (e, più in generale, dei comportamenti comunicativi) che ricorrono nei sistemi dei considerazione in diverse scienze e tecniche varî tipi di l. artificiali, o simbolici, ...
Leggi Tutto
meccanica
meccànica s. f. [dal lat. tardo mechanĭca, gr. μηχανική (τέχνη), dall’agg. μηχανικός: v. meccanico]. – 1. a. Nella suddivisione tradizionale della fisica, la disciplina che studia le leggi [...] moto e di classificarne i varî tipi), dinamica (che studia le leggi del moto dei corpi in quanto soggetti all’azione m. relativistica che, in base alla teoria della relatività, fa dipendere le masse dei corpi dalle loro velocità, considera la ...
Leggi Tutto
quark
〈ku̯òok〉 s. ingl. [formato da qu[estion m]ark «punto interrogativo» e fig. «cosa ignota o inconoscibile», e usato come parola di significato indeterminato da J. Joyce nella frase three quarks for [...] a formulare una teoria delle interazioni di quark è replicato in tre colori. I tipi (o sapori, come si dice per distinguere questo i primi due (up e down) sono i costituenti dei protoni e dei neutroni, ossia della materia ordinaria; il terzo è ...
Leggi Tutto
reticolo
retìcolo s. m. [dal lat. reticŭlum o reticŭlus, dim. di rete «rete»]. – 1. a. Sinon. di rete e di reticolato, usato in alcune espressioni tecniche per indicare un disegno in forma di rete o [...] e di intersezione nella teoria degli insiemi; per es., in aritmetica costituisce un reticolo l’insieme dei numeri naturali (le efficienza ed economicità, secondo cui possono essere strutturati alcuni tipi di edifici, in genere adibiti a uffici o a ...
Leggi Tutto
accoppiamento
accoppiaménto s. m. [der. di accoppiare]. – 1. L’accoppiare, l’accoppiarsi, e il modo con cui due persone o cose sono accoppiate, con cui cioè la coppia è formata: a. di parole; l’a. dei [...] operazione con la quale, nel montaggio dei film, si dispongono a giunte pari , rotoidali, elicoidali in corrispondenza con i tipi di coppie cinematiche semplici che tali accoppiamenti , e in partic. nella teoria quantistica dell’atomo, sono detti ...
Leggi Tutto
macchina
màcchina (ant. màchina) s. f. [dal lat. machĭna, che è dal gr. dorico μαχανά, attico μηχανή]. – 1. In senso storico e antropologico, qualsiasi dispositivo o apparecchio costruito collegando [...] in varie locuz.: per es., teoria delle m., lo studio delle scorrere nei due sensi) diviso in campi, ciascuno dei quali può contenere un simbolo di un alfabeto procedere alla stampa del giornale. Per i diversi tipi di macchina da stampa, v. stampa. e ...
Leggi Tutto
processo
procèsso s. m. [dal lat. processus -us, propr. «avanzamento, progresso», der. di procedĕre «procedere»; il sign. giuridico è del lat. mediev. (ellissi di processus iudici «svolgimento del giudizio»); [...] della trattazione; nel p. della sua vita; il p. dei fatti, della guerra; E sì com’uom che suo primario e p. secondario, i due tipi di funzionamento psichico che guidano rispettivam. l lo stesso termine, nella teoria delle probabilità, si indicano ...
Leggi Tutto
difesa
difésa s. f. [lat. tardo defensa, der. di defendĕre «difendere», part. pass. defensus]. – 1. a. L’azione del difendere o del difendersi: accingersi alla d.; occuparsi della d.; la d. di un territorio, [...] indica, nella teoria delle aperture, un impianto caratteristico adottato dal Nero (per es., d. siciliana, d. francese, d. dei due cavalli più in partic., l’insieme dei varî mezzi con cui si pone riparo a determinati tipi di offese: d. aerea, ...
Leggi Tutto
catena
caténa s. f. [lat. catēna]. – 1. a. Mezzo di collegamento e di unione fatto di più anelli di ferro o d’altro metallo passati l’uno dentro l’altro, che serve per tener saldamente legate cose, animali, [...] direttamente l’apporto di energia luminosa) ai consumatori dei varî livelli. Si distinguono due tipi fondamentali: c. di pascolo (per es.: piante . In matematica, nella teoria degli insiemi, successione di insiemi, ciascuno dei quali è contenuto nel ...
Leggi Tutto
opera
òpera (ant. o poet. òpra; ant. òvra) s. f. [lat. ŏpĕra «lavoro (in senso astratto, come attività); prestazione di lavoro; giornata di lavoro, nei campi; lavoratore a giornata»; è il plur. collettivo [...] , soprattutto in opposizione alle parole: in teoria tutto è facile, ma vorrei vederti all caso, della fortuna; capì che la burla era o. dei suoi compagni; è o. tua se mi trovo nei opus, per distinguere i diversi tipi di strutture murarie romane, con ...
Leggi Tutto
tipi, teoria dei
tipi, teoria dei in logica, teoria elaborata da B. Russell per superare le antinomie, basate sulla autoreferenzialità, venute alla luce all’epoca della crisi dei → fondamenti della matematica. La teoria propone una stratificazione...
Filosofo e logico britannico (Trelleck, Galles, 1872 - Pernhyndeudraeth 1970). Tentò di risolvere i paradossi da lui stesso individuati nei progetti di fondazione logica dell'aritmetica, ed elaborò - risentendo in parte dell'influsso di L. Wittgenstein...