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 [...] d., elaborata da D. Hilbert e K. Gödel, che studia le capacità dimostrative dei sistemi formali, teoria che, dopo il fallimento del suo originale obiettivo, quello cioè di una fondazione razionale definitiva dell’aritmetica, ha stimolato tuttavia ...
Leggi Tutto
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. [...] procedura per l'eliminazione dei termini teorici dagli enunciati delle teorie scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti designanti entità teoriche con opportune variabili ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Kripke, Saul Aaron
Enciclopedia on line
Logico e filosofo statunitense (n. Bayshore, New York, 1940 - m. 2022); docente della Rockefeller University (New York) dal 1968 al 1976, dal 1977 ha insegnato alla Princeton University. Ha elaborato una [...] semantica formale per la logica intuizionistica e per quella modale, estendendo successivamente i risultati di quest'ultima all'analisi filosofica del riferimento dei termini del linguaggio naturale. Di qui è nata la teoria causale del riferimento, ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Peano, Giuseppe
Enciclopedia on line
Matematico (Cuneo 1858 - Torino 1932), prof. di calcolo infinitesimale alla univ. (dal 1890) e all'Accademia militare di Torino, socio nazionale dei Lincei (1929); uno dei maggiori matematici italiani [...] legati soprattutto la costruzione di un utile e rigoroso formalismo logico; la rigorosa critica logico-formale dei fondamenti dell'aritmetica, della geometria proiettiva, della teoria generale degli insiemi; il primo esempio d'integrazione per ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
STATISTICA
Enciclopedia Italiana - V Appendice (1995)
STATISTICA
Pietro Muliere
Ester Capuzzo
(XXXII, p. 506; App. I, p. 1018; IV, III, p. 447)
''Statistica'' è un termine con un significato amplissimo sia per la varietà delle applicazioni sia per le [...] ;l(θ1, d1) = 0 per θεΘ1
Utilizzando lo schema della teoria delle decisioni con una funzione di danno di questo tipo è necessario se le variazioni periodiche sono state rimosse. Formalmente una serie storica è detta ''strettamente stazionaria ...
Leggi Tutto
PROBABILITÀ, Calcolo delle
Enciclopedia Italiana - IV Appendice (1981)
PROBABILITÀ, Calcolo delle (XXVIII, p. 259; App. II, 11, p. 611; III, 11, p. 485)
Giorgio Dall'Aglio
Il calcolo delle p., entrato con l'inizio del secolo nella sua fase moderna, ha proseguito anche negli [...] di un evento veniva concepita, sia pure in modo non formale, come il rapporto tra il numero dei casi favorevoli e certa misura", che è appunto la p. di B, data A. La teoria della p. viene così vista come "la logica dell'incerto". Per formalizzare la ...
Leggi Tutto
SISTEMI DINAMICI
Enciclopedia Italiana - VI Appendice (2000)
Sistemi dinamici
Franco Magri
Dmitrij Anosov
Il concetto di sistema è presente nel dibattito scientifico degli ultimi decenni nelle più diverse discipline: dall'idea di sistema fisico a quella di ecosistema, [...] il differenziale della hamiltoniana.
Questa semplice manipolazione formale trasforma le equazioni di Hamilton in una un lavoro di H. Rohrl dove si usa anche un raffinamento della teoria locale classica suggerita da A. Levelt in quegli stessi anni.
La ...
Leggi Tutto
ALGEBRA
Enciclopedia Italiana - IV Appendice (1978)
Premessa. - Gli sviluppi dell'a. nel quindicennio 1960-75 sono stati assai notevoli, sia dal punto di vista quantitativo sia da quello qualitativo. Prima di esaminare alcuni progressi in direzioni particolari, [...] "lunghezza minima" della scrittura di un elemento in un'a. di Boole? (G. Birkhoff, l. c.).
c) Teoria algebrica degli automi. Si può dare una definizione formale (matematica) di un automa M. Esso è un sistema costituito da due insiemi A e Z di simboli ...
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 [...] . in senso stretto" (o anche di "sistema formale" o "formalismo") quando T è costituita soltanto dal suo linguaggio simbolico logica matematica: Principi di logica matematica; metamatematica; modelli, teoria dei, in questa Appendice).
Bibl.: S. C. ...
Leggi Tutto
EQUAZIONI
Enciclopedia Italiana - VI Appendice (2000)
(XIV, p. 132; App. III, i, p. 564; IV, i, p. 714; v. equazioni differenziali, App. V, ii, p. 131).
Il concetto generale di e. in matematica è trattato nella voce equazioni del vol. XIV dell'Enciclopedia [...] per un certo valore v dei parametri, allora il formalismo generale implica che per questo valore v dei parametri le e. di Painlevé e sono meglio comprese nel contesto della presente teoria.
Abbiamo visto che ci sono due origini per le e. di Painlevé ...
Leggi Tutto
CATEGORIA:
ALGEBRA