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. [...] teoria dei tipi, a introdurre la distinzione tra paradossi logici e paradossi semantici (dovuti questi ultimi semplicemente a « scientifiche, consistente nel sostituire negli assiomi del sistema formale in cui è espressa la teoria tutte le costanti ...
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
Tschirnhaus, Ehrenfried Walter von
Enciclopedia on line
Scienziato (Kieslingswalde, Görlitz, 1651 - Dresda 1708). Volontario nell'esercito olandese nella guerra contro la Francia; si occupò di matematica, fisica e filosofia e fu in relazione con i più grandi [...] come "medicina" della mente) e l'accentuazione, in logica, del momento della definizione rispetto a quello puramente formale e grammaticale, tema che troverà ampia risonanza nel dibattito logico-metodologico nella Germania del Settecento a partire da ...
Leggi Tutto
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 [...] moderni. Al nome di P. restano 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 ...
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 [...] di eventi passati (noti) occorrerà stabilire un legame logico di dipendenza tra tutti gli eventi (passati e della varianza e se le variazioni periodiche sono state rimosse. Formalmente una serie storica è detta ''strettamente stazionaria'' se la ...
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 , data A. La teoria della p. viene così vista come "la logica dell'incerto". Per formalizzare la determinazione della p. e le sue regole ...
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, [...] di modelli di una teoria del primo ordine v. logica matematica in questa App. "Uno dei più importanti concetti c.).
c) Teoria algebrica degli automi. Si può dare una definizione formale (matematica) di un automa M. Esso è un sistema costituito da ...
Leggi Tutto
GEOMETRIA
Enciclopedia Italiana - III Appendice (1961)
GEOMETRIA (XVI, p. 623)
Vittorino DALLA VOLTA
Mario BENEDICTY
In questi ultimi venti anni la g. ha subìto una profonda evoluzione che ne ha mutato molti aspetti, tanto che oggi fra i matematici non [...] degli enti stessi, ma rispettando - oltre alle leggi della logica - l'esigenza che la geometria per così dire "classica Il metodo è stato esteso, almeno per quanto riguarda la parte formale dei risultati, a corpi diversi da quello complesso. I metodi ...
Leggi Tutto
OPERATIVA, RICERCA
Enciclopedia Italiana - V Appendice (1993)
OPERATIVA, RICERCA
Lucio Bianco-Mario Lucertini
(App. III, II, p. 315; IV, II, p. 669)
Premessa. − La r.o. è una disciplina che, a partire da radici culturali diversificate, ha acquisito soltanto negli [...] o di decisione).
Una volta definiti in modo formale gli obiettivi, si esprimono mediante relazioni matematiche i legami del sistema, a partire da un insieme di relazioni logico-matematiche che modellano le funzioni dei diversi sottosistemi, e ...
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 [...] f. in senso stretto" (o anche di "sistema formale" o "formalismo") quando T è costituita soltanto dal suo linguaggio simbolico, trad. it. di E. Ballo e S. Bozzo, Introduzione alla logica, Milano 1969); M.L. Dalla Chiara Scabia, Modelli sintattici e ...
Leggi Tutto