Saccheri, Giovanni Girolamo
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Giovanni Girolamo Saccheri
Vincenzo De Risi
Il matematico Girolamo Saccheri è considerato il primo scopritore (seppure suo malgrado) delle geometrie non euclidee. Nella sua opera principale, Euclides [...] sull’infinità delle rette (che è un postulato falso in geometria ellittica). È tuttavia possibile dubitare che egli vi sia veramente pervenuto per consequentia mirabilis (De Risi 2011, pp. 134-37). Segue il cosiddetto «primo teorema di Legendre» sul ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Probabilita
Enciclopedia del Novecento (1980)
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] probabilistico è un ampliamento della logica classica. Fin dagli inizi, ha voluto essere una logica con un continuo di valori di verità, ma fino ad ora questa pretesa non ha avuto il sostegno di uno sviluppo sintattico simile a quello del calcolo dei ...
Leggi Tutto
CATEGORIA:
STATISTICA E CALCOLO DELLE PROBABILITA
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Gödel
Storia della Scienza (2004)
La seconda rivoluzione scientifica: matematica e logica. I teoremi di incompletezza di Godel
Carlo Cellucci
I teoremi di incompletezza di Gödel
Nei giorni 5-7 settembre 1930 ebbe luogo a Königsberg [...] del 1966, Gödel dichiara che il teorema dell'indefinibilità della verità fu scoperto indipendentemente da lui e da Tarski e che esso già a quell'epoca Gödel aderisse al concetto di verità matematica oggettiva ‒ a cui egli attribuiva un'influenza ...
Leggi Tutto
inferenza
Dizionario delle Scienze Fisiche (1996)
inferenza
inferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] di una verità da un'altra, sinon., quindi, di illazione. ◆ [PRB] I. bayesiana: procedimento statistico, detto anche approccio bayesiano, che, in aggiunta ai dati campionari dell'i. statistica (v. oltre) richiede l'esame di informazioni a priori, che ...
Leggi Tutto
Scienza indiana. La scienza nella cultura indiana
Storia della Scienza (2001)
Scienza indiana. La scienza nella cultura indiana
Frits Staal
La scienza nella cultura indiana
Il concetto di scienza e la classificazione delle scienze
Per designare le conoscenze sistematiche indiane [...] , dell'identità della stessa cosa in diversi punti del tempo; ma quella scienza sorse dall'opposta fede [che ci fossero veramente cose simili nel mondo reale]. Così stanno le cose anche per la matematica, che certamente non sarebbe sorta se si fosse ...
Leggi Tutto
condizionale
Dizionario delle Scienze Fisiche (1996)
condizionale
condizionale [agg. e s.m. Der. di condizione] [LSF] Che esprime condizioni o è soggetto a condizioni. ◆ [FAF] Nella logica, è il connettivo se...allora (simb. →), il cui signif. è dato dalla [...] tavola di verità (V = vero, F = falso), riportata a fianco. ◆ [FAF] C. contrafattuale: si ha quando dall'affermazione che tutti gli elementi di un insieme godono di una certa proprietà si deduce che un elemento che non gode di quella proprietà non ...
Leggi Tutto
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] studi sulla semantica dei linguaggi formali, precisando i concetti di verità e di conseguenza logica e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non solo i due valori di verità V e F, ma un valore qualunque tra n valori. Nel 1936 definì il concetto di computabilità e nel 1943 fornì ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Scienza greco-romana. La storiografia delle scienze e la tradizione dossografica
Storia della Scienza (2001)
Scienza greco-romana. La storiografia delle scienze e la tradizione dossografica
Philip van der Eijk
La storiografia delle scienze e la tradizione dossografica
Gli atteggiamenti degli scienziati antichi [...] importante della scienza antica è la sua costante consapevolezza della tradizione su cui si basa; una caratteristica che, in verità, è stata a volte considerata come uno dei suoi maggiori punti deboli, poiché avrebbe portato gli scienziati a guardare ...
Leggi Tutto
funzione
Enciclopedia on line
Biologia
L’attività propria di una cellula, o di una sua parte, o di un organo, o di un sistema organico. Oggetto di studio della fisiologia, è intimamente legata alla forma o struttura, oggetto di studio [...] la congiunzione, o la negazione e la disgiunzione, o la negazione e l’implicazione, tale che a esso corrisponda una f. di verità coincidente con f (nel senso che per gli stessi argomenti assume gli stessi valori di f). Oltre a quelli qui indicati, vi ...
Leggi Tutto