misura
misura [Der. del lat. mensura, dal part. pass. mensus di metiri "misurare"] [LSF] Il valore di una grandezza, espresso come rapporto tra la grandezza data e un'altra grandezza della stessa specie [...] dell'operazione di integrazione in campi della matematica superiore: m. secondo Peano-Jordan, avendosi allora la densità relativa (all'acqua). ◆ [FAF] M. spettrale: v. logica quantistica: III 487 d. ◆ [ANM] M. standard e non standard: v. analisi ...
Leggi Tutto
aritmetica
aritmètica [Der. del lat arithmetìca, dal gr. arithmós "numero"]. Parte della matematica concernente lo studio dei numeri, soprattutto dei numeri interi; il termine, per la prima volta usato [...] taluni risultati, da precedenti proprietà, per via puramente logica, senza far ricorso all'intuizione. È da , il complesso delle regole di calcolo valide per quegli enti matematici ("numeri") che hanno qualche parentela con gli interi ordinari: ...
Leggi Tutto
Corrispondenza di misura fra due o più cose che siano fra loro in stretta relazione.
Arte
Mondo antico
Non è possibile cogliere una continuità storica nella trasformazione del concetto di p., intesa come [...] della figura umana. L’architettura greca adotta una logica di costruzione basata sull’idea del modulo, 1925; K. Mel´nikov, Parigi, progetto di garage sulla Senna, 1925).
Matematica
P. fra numeri e fra grandezze Dati 4 numeri in un certo ordine, ...
Leggi Tutto
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] usare in certo modo del linguaggio, quindi su una convenzione linguistica. La n. logica diventa così n. verbale.
Matematica
Nella logica e nella matematica, si dice che la proposizione A rappresenta una condizione necessaria perché si verifichi la ...
Leggi Tutto
Libero atto di volontà per cui, tra due o più offerte, proposte, possibilità o disponibilità, si manifesta o dichiara di preferirne una (in qualche caso anche più di una), ritenendola migliore, più adatta [...] sociale di tipo utilitaristico (A. Bergson, P. Samuelson), è stata sistematicamente formulata da K.J. Arrow (➔ public choice).
Matematica
In logica, l’assioma di s. asserisce che data una classe Q di insiemi non vuoti si può costruire un insieme F ...
Leggi Tutto
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] che hanno spinto Gottlob Frege a espungerli dall’orizzonte della logica. La proposta di Zadeh ha sollevato, in effetti, crescente distanza tra l’accuratezza dei metodi e degli strumenti matematici e la natura sfuggente, la scivolosità dei sistemi che ...
Leggi Tutto
Arte e architettura
Movimento d’avanguardia che si sviluppò in Russia nel complesso clima d’impegno ideologico e culturale degli anni successivi alla Rivoluzione del 1917. Sulla base di stimoli e suggestioni [...] e dimostrazioni costruttive, cioè tali da mostrare effettivamente l’ente matematico da definire o di cui si vuole provare l’esistenza. Un c. meno spinto (accettato da molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc ...
Leggi Tutto
Espressione con cui si nega, contrario di affermazione.
Filosofia
Il latino negatio corrisponde all’ἀπόϕασις della logica aristotelica, designante il giudizio che connette il soggetto e il predicato in [...] ; morale, immorale, amorale; uguale, disuguale ecc.).
Matematica
Per n. di una proposizione (simbolo ¬) si come atto del negare ma anche come contenuto negato. Alla n. logica corrisponde, nell’algebra delle classi, il passaggio da un insieme A ...
Leggi Tutto
Matematico ungherese naturalizzato statunitense (Budapest 1903 - Washington 1957). I suoi contributi hanno caratterizzato numerosi aspetti del pensiero matematico e scientifico del 20° sec. e spesso le [...] condotti sia in Ungheria sia in Germania, prese parte alla scuola matematica fondata a Gottinga da D. Hilbert e ne divenne uno dei ha anche fornito notevoli contributi allo studio della logica degli elaboratori elettronici. N. è inoltre autore ...
Leggi Tutto
Diritto
F. giuridico Concezione del diritto secondo la quale l’essenza del fenomeno giuridico consiste nella qualificazione da parte del diritto di atti, fatti e comportamenti che non sarebbero giuridici [...] ogni ricorso all’intuizione (esperienza sensibile), dando loro un fondamento puramente logico (➔ sistema). Primo e massimo esponente della scuola del f. matematico fu D. Hilbert, nel 1900-20. L’indirizzo formalista hilbertiano, anziché respingere ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...