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 [...] la sua concezione complessiva. Il teorema di Löwenheim-Skolem, stabilito nel 1920, mostrava infatti come ogni teoria T formulata nella logica del primo ordine che ha un modello infinito deve avere un modello numerabile. In tal modo nessuna tale T ...
Leggi Tutto
L'Ottocento: matematica. Meccanica analitica
Storia della Scienza (2003)
L'Ottocento: matematica. Meccanica analitica
Helmut Pulte
Meccanica analitica
La meccanica analitica è una branca della meccanica razionale la quale, dopo i primi passi compiuti nel XVII sec., ebbe [...] […] non vi può essere alcun nuovo principio fondamentale nella teoria del moto e dell'equilibrio, che non sia già contenuto nei +1 equazioni differenziali ordinarie del primo ordine che determinano completamente il moto del sistema a partire dalla ...
Leggi Tutto
energia
Dizionario delle Scienze Fisiche (1996)
energia
energìa [Der. del lat. energia, dal gr. enérgeia, da érgon "lavoro"] [LSF] Capacità che un corpo o un sistema di corpi ha di compiere lavoro, sia come e. in atto, cioè che opera nel processo [...] possibili. ◆ [FML] [MCQ] E. del primo ordine e del secondo ordine: valore dell'e. di uno stato ottenuto Hartree-Fock, metodo di: III 150 a. ◆ [FSD] E. di deformazione: v. elasticità, teoria dell': II 253 f. ◆ [CHF] E. di legame: → legame. ◆ [MCQ] E ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ACUSTICA
–
ASTROFISICA E FISICA SPAZIALE
–
BIOFISICA
–
ELETTROLOGIA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA DEI SOLIDI
–
FISICA MATEMATICA
–
GEOFISICA
–
MECCANICA
–
OTTICA
–
RELATIVITA E GRAVITAZIONE
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
equazione
Dizionario delle Scienze Fisiche (1996)
equazione
equazióne [Der. del lat. aequatio -onis "uguaglianza, uguagliamento", da aequare "uguagliare"] [LSF] Uguaglianza tra due espressioni (il primo e il secondo membro dell'e.) contenenti una o [...] costituisce). ◆ [ASF] E. annua della Luna: nella teoria del moto della Luna, uno dei termini principali della serie che E. differenziale lineare alle derivate parziali del primo ordine e del secondo ordine: v. equazioni differenziali alle derivate ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
–
ASTROFISICA E FISICA SPAZIALE
–
ELETTROLOGIA
–
FISICA ATOMICA E MOLECOLARE
–
FISICA MATEMATICA
–
GEOFISICA
–
MECCANICA
–
METROLOGIA
–
STORIA DELLA FISICA
–
TERMODINAMICA E TERMOLOGIA
–
ALGEBRA
–
ANALISI MATEMATICA
–
STATISTICA E CALCOLO DELLE PROBABILITA
–
EPISTEMOLOGIA
–
METAFISICA
–
ELETTRONICA
–
MECCANICA APPLICATA
teoremi di indecidibilita
Enciclopedia della Scienza e della Tecnica (2008)
teoremi di indecidibilità
Silvio Bozzi
In logica matematica, risultati che affermano che una data teoria formalizzata T non è decidibile, vale a dire non ammette un algoritmo in grado di stabilire in [...] di questi risultati è il teorema di Gödel (1931), il quale afferma che l’aritmetica di Peano del primo ordine è indecidibile. Il risultato si può estendere a teorie molto più deboli dell’aritmetica di Peano – quale il sistema Q di Robinson – e in ...
Leggi Tutto
CATEGORIA:
LOGICA
estetica
Enciclopedia on line
Filosofia
Dapprima disciplina riguardante la conoscenza sensibile o la percezione, dalla metà del 18° sec. il suo significato prevalente è di disciplina riguardante il bello (naturale e in particolare [...] si chiamava ‘arte bella’, e quindi tra ‘teoria, dottrina dell’arte’ e ‘comprensione attraverso l’ anche l’«idea particolare del bello». L’inadeguatezza del primo metodo come tale stava la modificazione dell’ordine dei significati del mondo che, in ...
Leggi Tutto
CATEGORIA:
ESTETICA
Aristòtele
Enciclopedia on line
Filosofo greco (Stagira 384-83 a. C. - Calcide 322 a. C.). Fu, con Socrate e Platone, uno dei più grandi pensatori dell'antichità e di tutti i tempi. Nato da una famiglia di medici, si formò nell'Accademia [...] il nome di Parva naturalia; 3) Scritti di filosofia prima: Metafisica (14 libri), così chiamata, sembra, perché evidenti sono ancora le tracce del platonismo (Dio, supremo ordinatore e fine di tutte le l'etere. Nella sua teoria del cielo A. riprende il ...
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, [...] 110 km al di sopra del livello del mare. Il lancio del primo satellite russo Sputnik il 4 aveva aperto con la sua teoria del moto relativo. Questo s., ’essi uno s. vettoriale reale; analogamente le n-ple ordinate (x1, ..., xn) di numeri reali, se si ...
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
diritto
Enciclopedia on line
In senso oggettivo, il complesso di norme giuridiche, che comandano o vietano determinati comportamenti ai soggetti che ne sono destinatari, in senso soggettivo, la facoltà o pretesa, tutelata dalla legge, [...] teorie hanno suscitato forti dubbi. Contro la prima si è fra l’altro osservato che la volontà del titolare del dalla natura delle cose, e il suo fondamento fu visto in un ordine naturale estraneo e presupposto all’uomo. Tuttavia, già nel 5° sec. ...
Leggi Tutto
tempo
Enciclopedia on line
Intuizione e rappresentazione della modalità con cui i singoli eventi si susseguono e sono in rapporto l’uno con l’altro (per cui essi avvengono prima, dopo o durante altri eventi), vista o come fattore [...] ordine cosmico come punto di riferimento oggettivo per la misura temporale; dall’altro, distinguendo il mondo dal primo motore immobile, che è fuori del ciclica del t. storico (teoria dell’‘eterno ritorno’), mentre peculiare del cristianesimo sarebbe ...
Leggi Tutto