Antropologia
Nel dibattito antropologico e sociologico contemporaneo, il termine g. ha sostituito il termine sesso per indicare la tipizzazione sociale, culturale e psicologica delle differenze tra maschi [...] , appare particolarmente attenta alla problematica della dinamica storica e funzionale dei g. e della loro collocazione nel più vasto sociali ed estetiche differenti diffondendo cioè valori, linguaggi e tematiche radicati o appartenenti a una ...
Leggi Tutto
LOGICA MATEMATICA
Aldo Marruccelli
Alberto Pasquinelli
(XXI, p. 398; App. II, 11, p. 226; III, 1, p. 999).
Princìpi di logica matematica.
È opportuno premettere all'articolo che dà notizia dei progressi [...] in un numero finito di passi se una qualsiasi fbf del suo linguaggio è o no un teorema della teoria. Tenuto conto del teorema di , sulla scorta della dottrina gödeliana dei funzionali ricorsivi, ovvero delle singolari tecniche costruttivistiche ...
Leggi Tutto
STATISTICA (XXXII, p. 506; App. I, p. 1018)
Franco Giusti
Bruno Grazia Resi
Ludovico Piccinato
Alfredo Rizzi
Metodo scientifico che ha per oggetto lo studio quantitativo di fenomeni di massa, cioè [...] (cluster analysis) in archeologia, nell'analisi dei linguaggi, nell'identificazione e nella caratterizzazione delle classi sociali, valori noti in ciascuna prova.
Questi tipi di modelli funzionali, che ammettono come caso particolare tutti i tipi di ...
Leggi Tutto
MATEMATICA (XXII, p. 547; App. II, 11, p. 276; III, 11, p. 44)
Francesco Giacomo Tricomi
Non è intento di quest'articolo di riferire analiticamente sui progressi realizzati nei vari rami della m. nell'ultimo [...] che vengono sempre più poste in primo piano le classi (o spazi) funzionali a cui si suppongono appartenere i dati e in cui si cercano le soluzioni, con conseguenti cambiamenti di linguaggio, che tende a divenire sempre più tecnico e astruso, sì che ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] lo sviluppo di sistemi esperti e lo studio del linguaggio naturale. In PROLOG il calcolo di un valore come quello di Riesz-Thorin, degli anni Trenta, in cui si dimostra che un funzionale T lineare e continuo sia da Lp0 in Lq0 sia da Lp1 in Lq1, è ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] integrals. Lo statunitense James Serrin determina alcune condizioni sufficienti affinché il funzionale F(u)=∫ωf(x,u(x), Du(x)) ‒ dove tra gli individui. Nel 1979 fu introdotto un linguaggio standard per formulare richieste di informazioni in una base ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] articolo Quasiconvexity and the semicontinuity of multiple integrals, in cui tratta di funzionali del tipo I(u)=∫ωf(x,u(x),∇u(x))dx dove iniziali dei nomi dei matematici che l'hanno ideata.
Il linguaggio FORTRAN. Nasce in questo anno presso l'IBM, a ...
Leggi Tutto
DE GIORGI, Ennio
Enrico Moriconi
Nacque l’8 febbraio del 1928 a Lecce figlio di Nicola e di Stefania Scopinich.
La madre proveniva da una famiglia di navigatori di Lussino, mentre il padre era insegnante [...] legati alla Γ-convergenza, un tipo di convergenza per funzionali (un funzionale è una funzione che ha funzioni come argomento). A di precisione, sottolineava che bisogna saper rispettare i linguaggi, i metodi, i criteri propri di ogni disciplina ...
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 [...] del collegamento tra derivazioni naturali e funzionali (il cosiddetto isomorfismo di Curry-Howard A1⋀… An)⇒⊥. Vedremo più avanti come il calcolo si possa estendere a linguaggi più forti; limitiamoci per ora al caso del primo ordine classico ‒ ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] logica matematica (teoria dei tipi, teoria delle funzioni e dei funzionali ricorsivi) che nell’informatica. Nella logica, sopratutto dopo la una base per la formulazione e lo studio di linguaggi di programmazione. L’idea alla base delle diverse ...
Leggi Tutto
funzionale1
funzionale1 agg. [der. di funzione, sul modello del fr. fonctionnel]. – 1. a. Relativo a una funzione, inerente alle funzioni esercitate da una persona: competenza f.; privilegi f.; qualifiche f., le qualifiche che, nell’ordinamento...
organico
orgànico agg. e s. m. [dal lat. organĭcus, gr. ὀργανικός «attinente alle macchine, agli strumenti; che serve di strumento», der. di ὄργανον: v. organo] (pl. m. -ci). – 1. agg. Che si riferisce a, o ha rapporto con, gli organismi viventi,...