Helmholtz, Hermann Ludwig Ferdinand von
Enciclopedia on line
Fisiologo, matematico e fisico (Potsdam 1821 - Berlino 1894). Figura di eccezionale complessità e profondità, contribuì in modo sostanziale all'evoluzione del pensiero scientifico del XIX secolo, compiendo [...] der Geometrie zum Grunde liegen, H. prendeva posizione nel dibattito in atto sulle geometrie non euclidee, accettando la deduzione riemanniana del concetto di spazio da quello più generale di varietà a n dimensioni, ma presupponendo come dato certo ...
Leggi Tutto
TEORIE FORMALIZZATE
Enciclopedia Italiana - IV Appendice (1981)
TEORIE FORMALIZZATE
Aldo Marruccelli
. Una t. deduttiva T è un insieme di enunciati espressi in un determinato linguaggio (ordinario o simbolico) suscettibile di interpretazioni su opportuni insiemi [...] ") quando T è costituita soltanto dal suo linguaggio simbolico, dal suo apparato deduttivo (insieme degli assiomi e regole di deduzione) e dai teoremi derivabili in essa, senza alcun riferimento esterno. Un sistema formale è insomma un puro calcolo ...
Leggi Tutto
ergodico
Enciclopedia on line
Fisica
In meccanica statistica, si definiscono sistemi e. (e sistemi quasi-e.), sistemi per i quali le traiettorie, descritte dal punto rappresentativo del sistema stesso nello spazio delle fasi, godono [...] che la riempiono densamente, vale a dire che passano a distanza arbitrariamente piccola da ogni suo punto. È essenziale per la deduzione delle proprietà statistiche di un sistema accertarsi se esso possa considerarsi e. o quasi-ergodico. Così, per la ...
Leggi Tutto
Dimostrazione, teoria della
Enciclopedia della Scienza e della Tecnica (2007)
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 [...] Alcune osservazioni. La regola del taglio è la più importante del sistema e rappresenta una sorta di transitività della nozione di deduzione. La sua presenza o assenza è la posta in gioco in gran parte dei teoremi della teoria della dimostrazione. Il ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] nessi di idee che non si rivelano immediatamente all’intuizione (J. Locke), ora l’aspetto logico, come processo di deduzione formale da premesse, modellato sul tipo della d. matematica (R. Descartes, G. Leibniz). Nuovo impulso ha ricevuto lo studio ...
Leggi Tutto
Łukasiewicz, Jan
Enciclopedia on line
Studioso di logica (Leopoli 1878 - Dublino 1956). Tra i maggiori esponenti della cosiddetta Scuola logica polacca, svolse importanti ricerche sulla logica aristotelica e stoica. Considerando insoddisfacente [...] aspetti che possono riportarsi alla logica proposizionale e a temi di semiotica). Nel campo della teoria della deduzione elaborò numerosi modelli assiomatici; fra l'altro, un'assiomatizzazione del calcolo proposizionale, usando tre soli assiomi ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Modello
Enciclopedia Italiana - VII Appendice (2007)
Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] , in una teoria scientifica si formulano delle ipotesi che sono ottenute con l'intuizione e da queste, con procedimenti di deduzione logica, si derivano le leggi che poi possono essere confrontate con i fenomeni studiando i risultati dell'attività ...
Leggi Tutto
necessità
Enciclopedia on line
necessità Carattere, qualità, condizione di ciò che non può non essere o essere diversamente da come è.
Filosofia
Nel mondo greco, il termine corrispondente a n., ἀνάγκη, è adoperato inizialmente per [...] da quella della realtà esistente, riporta alla prima anche il concetto di n., considerandolo pertinente al campo della deduzione logica e sillogistica. Necessario è, in questo senso, ciò che rigorosamente dipende dalle sue premesse logiche, o, in ...
Leggi Tutto
BIOMATEMATICA
Enciclopedia Italiana - VII Appendice (2006)
La b. si occupa dell'applicazione di metodi matematici per descrivere dal punto di vista qualitativo e quantitativo il comportamento di sistemi biologici. A tal fine il compito del biomatematico consiste [...] , come d'altronde è richiesto dalla formalizzazione matematica. Per questo motivo, probabilmente il passo più difficile nella deduzione di un modello biomatematico è proprio il primo, quello che consiste nel passare dalla descrizione dello specifico ...
Leggi Tutto
Euclide
Enciclopedia on line
Matematico greco, autore di numerosi trattati, operò attorno al 300 a. C. nella colonia di Alessandria, allora di recente fondazione. E. è particolarmente noto per un'opera, gli Elementi (v.), contenente [...] . Non è chiaro se E. conoscesse le idee di Aristotele sulla natura dei principî su cui dovrebbe fondarsi la deduzione logica e scientifica. È facile interpretare l'opera di E. come un processo di assiomatizzazione della matematica ispirato alla ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE