STORIA DELLA MATEMATICA
Enciclopedia della Matematica (2013)
STORIA DELLA MATEMATICA
Luigi Borzacchini
STORIA DELLA MATEMATICA
Il tempo della scienza senza tempo
La matematica è la più antica e la più immutabile delle discipline. Si può dire che la matematica [...] il segno più chiaro è la computer science: in essa la mente viene ridotta a un linguaggio, di tipo più o meno logico, o a un effetto della struttura neuronale connessionista del cervello.
I paradossi
Il passaggio fra i due secoli vide il fiorire dei ...
Leggi Tutto
sillogismo
Enciclopedia Dantesca (1970)
sillogismo (silogismo)
Cesare Vasoli
Termine tecnico della logica, è usato da D. a denotare l'argomento deduttivo, che procede cioè dal generale al particolare secondo precise regole operative. Nel s. [...] un significato meno esteso (cfr. Ep III 6, Quaestio 8 e 10). Si aggiunga, poi, che nel caso in cui l'estensione logica dei due estremi sia uguale, s'intende come premessa maggiore quella nella quale il termine medio è più esteso. Nella sua forma più ...
Leggi Tutto
IBN WASIL
Federiciana (2005)
IBN WĀṢIL
BBruna Soravia
Storico, studioso di logica e giudice (qāḍī) siriano, ambasciatore per conto del sultano mamelucco Baybars presso Manfredi, re di Sicilia, al quale avrebbe dedicato un trattato [...] intento a insegnare nel suo circolo intellettuale (halqa), ricevesse la visita di un messo di Baybars, nella persona del grande logico persiano Naǧm al-Dīn Abū l-Hasan ῾Ali, detto Dabīrān, che gli avrebbe comunicato la sua inclusione nell'ambasceria ...
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 [...] e delimitandone il valore assoluto. Si occupò anche di teoria degli insiemi, topologia, algebra, geometria e di varie questioni di logica formale.
Vita e pensiero
Prof. di teoria degli insiemi all'univ. di Varsavia, ha insegnato nella univ. di ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
tipi, teoria dei
Enciclopedia della Matematica (2013)
tipi, teoria dei
tipi, teoria dei in logica, teoria elaborata da B. Russell per superare le antinomie, basate sulla autoreferenzialità, venute alla luce all’epoca della crisi dei → fondamenti della matematica. [...] di insiemi di individui ecc. Questa versione della teoria fu proposta negli anni Venti del secolo scorso dal filosofo e logico polacco Leon Chwistek (1884-1944) e da F.P. Ramsey. Storicamente, però, essa è preceduta dalla teoria dei tipi ramificati ...
Leggi Tutto
Horn, clausola di
Enciclopedia della Matematica (2017)
Horn, clausola di
Horn, clausola di in logica, → clausola avente una particolare struttura. In una clausola si distinguono letterali negativi, se sono espressi in forma negativa, cioè preceduti dal connettivo [...] lettera proposizionale A. Ogni clausola di Horn può essere riscritta, in forma logicamente equivalente, come implicazione; per esempio:
• la clausola ￢A ∨ B è logicamente equivalente all’implicazione A ⇒ B (il simbolo ⇒ indica il connettivo di ...
Leggi Tutto
completezza, teorema di
Enciclopedia della Matematica (2013)
completezza, teorema di
completezza, teorema di → completezza logica. ...
Leggi Tutto
Peyer, Johann Konrad
Enciclopedia on line
Medico (Sciaffusa 1653 - ivi 1712); professore di logica e fisica a Basilea. Si dedicò con passione a ricerche anatomiche e a lui si deve la descrizione dei noduli linfatici dell'intestino (placche di [...] P.). Studiò anche l'apparato digerente dei ruminanti ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Giàcomo da Venezia
Enciclopedia on line
Erudito (sec. 12º); rivelò all'Occidente la "logica nova" di Aristotele, traducendo dal greco in latino e commentando (1128 circa) gli Analitici primi e secondi, i Topici e gli Elenchi sofistici. A lui [...] si deve anche la traduzione di altre opere aristoteliche: della Physica, del De anima, di parte dei Parva naturalia e della Metaphysica (la cosiddetta Metaphysica vetustissima) ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
decisione, problema della
Enciclopedia della Matematica (2013)
decisione, problema della
decisione, problema della in logica, problema che concerne la possibilità di determinare la validità di un enunciato in un dato sistema logico. Per esempio, nel linguaggio degli [...] delle proposizioni elementari che la costituiscono. In questo senso il calcolo degli enunciati è decidibile. Ciò non avviene nella logica predicativa (ossia nel linguaggio dei predicati) come dimostrato nel 1936 da A. Church e in generale dal teorema ...
Leggi Tutto