fuzzy
Enciclopedia on line
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 [...] sistemi che si volevano modellare. Il rigore e la precisione formale, che costituivano il loro merito, era proprio ciò che insieme fuzzy come più generale di quella di insieme della teoria ordinaria e con un maggiore campo di applicabilità; quella di ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
espressione
Enciclopedia on line
Biologia
Espressione genica
In genetica, processo per cui la sequenza di nucleotidi di un gene viene trascritta in una sequenza corrispondente di acido ribonucleico messaggero (mRNA) e quindi tradotta [...] Croce e nella filosofia delle forme simboliche di E. Cassirer. La teoria di Croce si fonda sulla distinzione della nozione di ‘impressione’ , si chiama e. ogni scrittura che indichi formalmente il risultato di un numero finito di operazioni razionali ...
Leggi Tutto
costruttivismo
Enciclopedia on line
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 [...] produttivista, orientata, più che all’autonoma ricerca formale, che poneva un rischio di isolamento dell’artista molti logici e matematici) si ricollega ai concetti di computabilità, decisione ecc., ed è alla base della teoria della ricorsività (➔). ...
Leggi Tutto
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 [...] notevoli gli Sborniki po teorij poetičeskogo jazyka («Raccolte di teoria della lingua poetica», 2 vol., 1916-17). Scrissero fu D. Hilbert, nel 1900-20. L’indirizzo formalista hilbertiano, anziché respingere (come fa l’intuizionismo) quelle parti ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] univ. di Berkeley (1942-68). Numerosi i suoi contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
conforme
Enciclopedia on line
Matematica e fisica
Rappresentazione (o trasformazione) c. Corrispondenza (detta pure isogona) biunivoca e bicontinua tra i punti di due piani tale che coppie di curve corrispondenti si taglino sotto [...] di campo invarianti per trasformazioni c. ha una grande importanza nelle teorie unificate con la gravità.
Invarianza c. Proprietà formale di invarianza di alcune teorie fisiche sotto le trasformazioni conformi. Riveste un ruolo importante nella ...
Leggi Tutto
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] della riducibilità e di problemi di decisione, sviluppando la nozione di gradi di insolubilità. Importante la sua teoria dei sistemi formali e degli insiemi ricorsivamente numerabili, di quegli insiemi, cioè, che o sono vuoti o sono codominî di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Jung, Joachim
Enciclopedia on line
Naturalista, matematico e filosofo (Lubecca 1587 - Amburgo 1657); godette di altissima stima tra i contemporanei. In contrapposizione alle dottrine scolastiche, fu fautore del metodo sperimentale e matematico, [...] terminologico. Notevole anche la sua attività nel campo della logica formale, che segna, grazie alla sua opera, alcuni dei maggiori moderna (significativi soprattutto gli ampliamenti della teoria della deduzione sillogistica). Opere principali: Logica ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Zygmund, Antoni
Enciclopedia on line
Matematico (Varsavia 1900 - Chicago 1992), prof. a Wilno (1930) e, successivamente, alle univ. della Pennsylvania (1945) e di Chicago (dal 1947). La sua vasta attività scientifica ha riguardato diversi [...] e l'integrabilità delle funzioni, la moltiplicazione formale e l'unicità delle serie trigonometriche e soprattutto differenziazione degli integrali e sullo sviluppo e applicazione della teoria degli integrali singolari. Tra le opere: Trigonometric ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
TENSORIALE, ALGEBRA e ANALISI
Enciclopedia Italiana - IV Appendice (1981)
TENSORIALE, ALGEBRA e ANALISI
Dionigi Galletto
Il calcolo t., sinonimo di calcolo differenziale assoluto (v. differenziale assoluto, calcolo, XII, p. 796; tensore, XXXIII, p. 497), i cui fondamenti [...] il tramite dei coefficienti Lihj con la stessa legge formale che fornisce le componenti del tensore di Riemann, to differential geometry, Londra 1959; C. Cattaneo, Introduzione alla teoria einsteiniana della gravitazione, Roma 1961; B. Finzi, M. ...
Leggi Tutto