assiomatizzazióne
Dizionario delle Scienze Fisiche (1996)
assiomatizzazione
assiomatizzazióne [Atto ed effetto dell'assiomatizzare "procedere per assiomi", da assioma] [FAF] A. di una teoria: formulazione di alcune proprietà della teoria dalle quali tutte [...] le altre possono essere dedotte: v. assiomatizzazione ...
Leggi Tutto
spazio
Enciclopedia on line
spazio Sostantivo polisenso che designa in generale un’estensione compresa tra due o più punti di riferimento. Può essere variamente interpretato a seconda che lo si consideri dal punto di vista filosofico, [...] Riemann lo s. è una struttura tridimensionale, ma il sistema di assiomi della sua geometria non è dato a priori. Riuscendo a scoprire altri tipi di s. prima non previsti, il metodo analitico di Riemann si è mostrato più fecondo dei metodi sintetici ...
Leggi Tutto
CATEGORIA:
CORPI CELESTI
–
COSMOLOGIA
–
DISCIPLINE STRUMENTI E TECNICHE DI RICERCA
–
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
FISICA MATEMATICA
–
GEOGRAFIA FISICA
–
GEOMETRIA
–
DISCIPLINE
–
DIRITTO COMUNITARIO E DIRITTO INTERNAZIONALE
–
STORIA E FILOSOFIA DEL DIRITTO
–
DOTTRINE TEORIE E CONCETTI
–
FILOSOFIA DEL DIRITTO
–
METAFISICA
–
POLITOLOGIA
–
TRASPORTI AEREI
Ramsey, Frank Plumpton
Enciclopedia on line
Filosofo e logico inglese (Cambridge 1903 - ivi 1930). Prof. all'università di Cambridge, conosciuto soprattutto per la sua analisi critica dei Principia mathematica di B. Russell e A. N. Whitehead, R. [...] ottenute implicano le stesse conseguenze osservative del sistema di assiomi di partenza. Delineò anche una teoria delle probabilità di tipo «soggettivistico», intesa a fornire una misura del grado di «credenza parziale». Si interessò anche al calcolo ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] cantoriani nella matematica fornendo una dimostrazione della coerenza di un sistema di assiomi per la teoria degli insiemi, secondo lo stile di Zermelo. Hilbert tuttavia era sensibile alle critiche di Kronecker e di Brouwer e si rendeva conto che una ...
Leggi Tutto
Psiche
Universo del Corpo (2000)
Psiche
Riccardo Zerbetto
L'etimologia del termine psiche (dal greco ψυχή, connesso con ψύχω, "respirare, soffiare") si riconduce all'idea del 'soffio', cioè del respiro vitale; presso i greci designava [...] della coscienza.
Tale prospettiva riflette il noto teorema di K. Gödel, il quale sostiene come nessun sistema di assiomi abbastanza complesso sia capace di sostenere la veridicità di un enunciato restando confinato all'interno del proprio orizzonte ...
Leggi Tutto
assiomàtico
Dizionario delle Scienze Fisiche (1996)
assiomatico
assiomàtico [agg. (pl.m. -ci) Der. del gr. axiomatikós] [ALG] Metodo a.: v. assiomatizzazione: I 181 a. ◆ [ALG] [FAF] Trattazione a. (di una data questione): nella logica matematica, la trattazione [...] in cui si astrae da ogni definizione costruttiva degli enti che intervengono nella questione e si considerano solo talune loro proprietà espresse formalmente in un sistema di assiomi, dai quali, per via puramente logica, si deducono nuove proprietà. ...
Leggi Tutto
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 [...] ricostruzione e lo sviluppo). La valuta chiave del sistema di Bretton Woods divenne il dollaro, cioè la moneta che la teoria si propone, implicitamente presenti già nel s. di assiomi. Nel s. ipotetico-deduttivo spesso è utile introdurre altri concetti ...
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
sistema
Dizionario delle Scienze Fisiche (1996)
sistema
sistèma [Der. del lat. systema, dal gr. sy´stema "insieme di cose", che è da synístemi "riunire"] [LSF] (a) Oggetto che, pur essendo costituito da più elementi interconnessi e interagenti tra [...] : III 14 c. ◆ [MCC] S. del secondo ordine: v. sistemi dinamici: V 291 f. ◆ [ALG] [FAF] S. di assiomi: insieme degli assiomi di una teoria. ◆ [ELT] [INF] S. di calcolatori: insieme di calcolatori interconnessi tra loro ognuno dei quali può colloquiare ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ACUSTICA
–
ASTROFISICA E FISICA SPAZIALE
–
BIOFISICA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA MATEMATICA
–
FISICA NUCLEARE
–
FISICA TECNICA
–
GEOFISICA
–
MECCANICA
–
MECCANICA DEI FLUIDI
–
MECCANICA QUANTISTICA
–
METROLOGIA
–
OTTICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] matematica; non però, come i formalisti, in quanto gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto ...
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 [...] di questo procedimento che permette di combinare insieme i vantaggi del metodo deduttivo e di quello induttivo. I nuovi m. si presentano generalmente sotto forma di tabelle, di sistemi di equazioni o di di assiomi non logici. Vale il teorema di ...
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