Skolem, Thoralf
Enciclopedia on line
Logico e matematico (Sandsvär 1887 - Oslo 1963). Prof. a Bergen e a Oslo. Ha dato un contributo determinante alla costruzione della teoria assiomatica degli insiemi; ha dimostrato per primo che nessun [...] insieme finito o numerabile di assiomi esprimibile nella logica elementare è capace di definire la teoria dei numeri in modo da caratterizzarla completamente. Tra le opere: Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre (1923); Ein ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
linguaggio
Enciclopedia on line
Forma di condotta comunicativa atta a trasmettere informazioni e a stabilire un rapporto di interazione che utilizza simboli aventi identico valore per gli individui appartenenti a uno stesso ambiente [...] canori).
Informatica
Un l. è un sottoinsieme dell’insieme delle stringhe di lunghezza finita ottenibili per concatenazione (ovvero giustapposizione) di simboli appartenenti a un insieme finito, detto alfabeto, con l’aggiunta eventuale della stringa ...
Leggi Tutto
CATEGORIA:
LINGUISTICA GENERALE
–
ANATOMIA
–
PATOLOGIA
–
ANATOMIA COMPARATA
–
ETOLOGIA
–
PATOLOGIA ANIMALE
–
PROGRAMMAZIONE E PROGRAMMI
infinito
Enciclopedia on line
Lo spazio dalle dimensioni illimitate, o il tempo senza confini.
Il pensiero greco si è occupato fin dalle sue origini del concetto di infinito. Delle soluzioni proposte dai pensatori della scuola ionica [...] tra loro.
Se si prende come punto di partenza il concetto di insieme finito, si potrà dire che un insieme è infinito quando esso non è «equivalente» a un insieme finito (cioè non si può porre in corrispondenza biunivoca, elemento per elemento, con ...
Leggi Tutto
CATEGORIA:
FILOSOFIA DEL LINGUAGGIO
–
GRAMMATICA
–
ANALISI MATEMATICA
–
GEOMETRIA
–
DOTTRINE TEORIE E CONCETTI
sistema
Enciclopedia on line
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] . è detto a tempo discreto; se anche i valori che possono assumere le grandezze del s. sono discretizzati o appartenenti a un insieme finito, il s. è detto discreto; se alcune grandezze del s. sono variabili aleatorie, il s. è detto stocastico; se le ...
Leggi Tutto
CATEGORIA:
ANATOMIA MORFOLOGIA CITOLOGIA
–
SISTEMATICA E FITONIMI
–
TEMI GENERALI
–
CHIMICA FISICA
–
CHIMICA INORGANICA
–
FISICA MATEMATICA
–
METROLOGIA
–
OTTICA
–
ALGEBRA
–
ANATOMIA
–
ORGANISMI E ORGANIZZAZIONI INTERNAZIONALI
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
MONETAZIONE
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
SCIENZE DELLA FORMAZIONE
–
SOCIOLOGIA
–
POLITOLOGIA
–
MECCANICA APPLICATA
spettro
Enciclopedia on line
spettro In varie discipline scientifiche e tecniche, termine frequentemente usato per indicare la composizione armonica di una grandezza variabile nel tempo.
Botanica
S. biologico Lo s. ottenuto dalle [...] è B={0}, allora σ(T) è vuoto e quindi il risolvente ρ(T) è l’intero piano complesso. Se B è di dimensione finita, lo s. è un insieme finito. Se T è un operatore lineare limitato, e B≠{0}, lo s. σ(T) è non vuoto, chiuso e limitato. L’estremo superiore ...
Leggi Tutto
continuità
Enciclopedia on line
Biologia
C. del plasma germinale
Teoria biologica di M. Nussbaum e A. Weismann, secondo la quale il ‘plasma germinale’, portatore dei caratteri ereditari, contenuto nelle cellule germinali o gameti, non [...] ad ogni ε>0 è possibile determinare un δ>0 tale che, se (a1, b1), (a2, b2),..., (an, bn) è un qualunque insieme finito di intervalli contenuti in (a, b), privi a due a due di punti comuni, e la cui somma delle lunghezze sia ⟨δ, risulti
Ogni ...
Leggi Tutto
cardinalità
Enciclopedia on line
cardinalità Nella teoria degli insiemi, c. (o potenza) di un insieme è il numero degli oggetti di un insieme finito (numero cardinale). Si può estendere il concetto di c. anche a insiemi infiniti: due [...] insiemi hanno la stessa c. quando è possibile stabilire tra gli oggetti che li compongono una corrispondenza biunivoca senza eccezione. ...
Leggi Tutto
modello
Enciclopedia on line
In arte e architettura, persona od oggetto che l’artista ritrae o riproduce, oppure esemplare preparatorio dell’opera finale. Nel linguaggio scientifico, costruzione schematica, puramente ipotetica o realizzata [...] da T. Skolem nel 1934, della non caratterizzabilità dei numeri naturali nell’ambito della logica elementare mediante un insieme finito o numerabile di assiomi; la dissertazione di A. Robinson On the metamathematics of algebra del 1949 che affronta ...
Leggi Tutto
CATEGORIA:
ARCHITETTURA E URBANISTICA
–
SCULTURA
–
FILOSOFIA DEL LINGUAGGIO
–
LINGUISTICA GENERALE
–
ECOLOGIA
–
ALGEBRA
–
GEOMETRIA
–
LOGICA MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
DIRITTO PRIVATO
–
STORIA E FILOSOFIA DEL DIRITTO
–
METODI TEORIE E PROVVEDIMENTI
–
EPISTEMOLOGIA
–
FILOSOFIA DEL DIRITTO
–
FILIERE STRUMENTI E TECNICHE DELLA PRODUZIONE INDUSTRIALE
trasformazione
Enciclopedia on line
trasformazione Mutamento di forma, di aspetto, di struttura.
Biologia
Trasformazione batterica
Fenomeno che si verifica spontaneamente in natura quando le cellule si trovano in uno stadio, detto competente, [...] , è di grandissima importanza nella matematica e nelle applicazioni.
Nelle approssimazioni numeriche la t. di Fourier si determina su un insieme finito di n punti (t. discreta di Fourier) mediante l’algoritmo della t. veloce (o rapida) di Fourier che ...
Leggi Tutto
stocastico
Enciclopedia on line
Nel calcolo delle probabilità (dal gr. στοχαστικός «congetturale»), lo stesso di casuale e aleatorio. Per estensione, nel linguaggio scientifico, si dice di strumento, procedimento, teoria, modello atti [...] famiglia di variabili casuali {Xt}, t ⊂ T. Perché sia nota la distribuzione del processo, deve essere data, per ogni insieme finito {t1, ..., tn} ∈ T di valori del parametro, la distribuzione della variabile casuale a n dimensioni Xt1, ..., Xtn, per ...
Leggi Tutto