necessità
Enciclopedia on line
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 [...] di Dio, rende indipendente la volontà dalla ragione. B. Spinoza identifica in Dio la n. con la libertà per tutti i valori di verità delle proposizioni che la costituiscono. R. Carnap (Meaning and necessity) ha ampliato l’idea wittgensteiniana col ...
Leggi Tutto
scelta
Enciclopedia on line
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 [...] ma teorici delle s. sono considerati anche V. Pareto, I.R. Hicks, F. Knight, i quali tentarono di costruire uno schema un insieme A non è equipotente a un sottoinsieme di un insieme B, allora B è equipotente ad un sottoinsieme di A). Nel 1938 K. Gödel ...
Leggi Tutto
combinatorio
Enciclopedia on line
Filosofia
G.W. Leibniz chiamò arte c. quella che R. Lullo aveva battezzato ars magna, e cioè il simboleggiamento dei vari concetti in segni geometrici o algebrici, tale che permettesse di combinarli reciprocamente [...] matematica c. è ora costituita da tre settori: a) la teoria del conteggio, o enumerazione, nel senso del calcolo c. classico; b) la teoria dell’ordine su reticoli finiti e su matroidi; c) il settore che si occupa di geometrie finite, gruppi finiti di ...
Leggi Tutto
troncamento
Enciclopedia on line
In linguistica, lo stesso che apocope, ossia caduta di uno o più fonemi in fine di parola.
In grammatica italiana, caduta di vocale (o di sillaba) finale che avvenga tanto davanti a vocale quanto davanti [...] c) che la vocale finale sia preceduta da l, ll, n, nn, r, o anche (ma è raro) da rr o da m (in espressioni io; da’, fa’, sta’, va’ per dai, fai, stai, vai); b) quando un bisillabo proclitico perde la seconda sillaba e rimane con la prima terminante ...
Leggi Tutto
transfinito
Enciclopedia on line
transfinito In matematica, che va al di là del finito. Numeri t. (o infiniti), numeri che estendono al caso di insiemi con infiniti elementi i concetti di numero cardinale e ordinale dell’aritmetica ordinaria [...] insiemi A, B è vera almeno una delle due asserzioni che A è equipotente a un sottoinsieme di B, oppure che B è equipotente potenza del continuo. Prendendo la potenza dell’insieme delle parti di R, si ottiene un numero t. più grande; questo è indicato ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
coefficiente
Enciclopedia on line
Matematica
In matematica, e nelle sue applicazioni, grandezza, dimensionata o adimensionata, costante o dipendente da qualche variabile, che, operando su una certa quantità A (per es., la misura di una [...] l’asse delle x. Non dipende dall’orientamento di r; esprime, in altri termini, la pendenza di r rispetto all’asse x. Se l’equazione di r è ax+by+c=0, in forma esplicita, y=mx+n, il suo c. angolare è tg α=m=−a/b.
Economia
In economia aziendale, c. d ...
Leggi Tutto
riducibilità
Enciclopedia on line
riducibilità In analisi vettoriale due sistemi di vettori applicati (per es., due sistemi di forze) si dicono mutuamente riducibili se si può passare dall’uno all’altro con sole operazioni elementari (➔ [...] complanari e che le loro rette di applicazione s’incontrino in un punto.
In logica matematica l’assioma di r. fu introdotto da B. Russell per superare alcune difficoltà che si presentavano nella teoria dei tipi; tale assioma si può enunciare dicendo ...
Leggi Tutto
Frege, Gottlob
Enciclopedia on line
Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] . La posizione di F. è un rigoroso logicismo: egli sostiene infatti (e a lui s'ispirò, tra gli altri, B. Russell) che i concetti matematici fondamentali debbono essere esprimibili mediante concetti logici; vi sono cioè certi tipi di proposizioni e di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
formalismo
Enciclopedia on line
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 [...] lingua poetica», di cui facevano parte V. Šklovskij, O. Brik, B. Ejchenbaum, Ju. Tynjanov) a Pietrogrado. I formalisti consideravano l’ , di cui furono rappresentanti J. Mukařovský e lo stesso R. Jakobson dopo il suo trasferimento da Mosca a Praga. ...
Leggi Tutto
non standard
Enciclopedia on line
Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] portato ai vani tentativi di G.L. Lagrange, J.-B. d’Alembert, B. Bolzano e A.-L. Cauchy per poi essere accantonata x*−y*≈0; ne consegue la completezza dell’insieme degli iperreali R* (ampliamento di R): ogni numero, standard o non, è vicino a un ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA