La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] . La teoria della dimostrazione iniziata da Hilbert si è sviluppata fino a essere una parte sostanziale e tecnicamente sofisticata della logicamatematica, in cui sono state perseguite con successo forme relativizzate del programma di Hilbert. ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Il Bourbakismo
Jean-Paul Pier
Il Bourbakismo
L'avvento e l'influenza di Bourbaki costituiscono uno dei fenomeni più sorprendenti nella matematica [...] e le applicazioni universali.
Il punto di vista bourbakista relativo alla logicamatematica è quello del matematico attivo non particolarmente interessato alle questioni dei logici puri, come emerge dall'introduzione al Fascicule des résultats:
Il ...
Leggi Tutto
La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] dell'informatica l'IA tende a ricercare e a sviluppare le teorie di base, sia già esistenti (per es., la logicamatematica), sia del tutto nuove (come la teoria dei problemi). Nel campo delle applicazioni dell'informatica, l'IA rappresenta una ...
Leggi Tutto
Numeri
Umberto Zannier
Quanti? Quanto? Quando? A che distanza? Domande a cui rispondiamo, di solito, con numeri. Di essi facciamo continuo uso, e l’importanza concettuale, oltre che pratica, della nozione [...] qualcuno sospetta che possano essere indecidibili in tempo finito, il che rappresenta una possibilità ben contemplata dalla logicamatematica; in questi casi saremmo condannati a una perpetua ignoranza.
Se poi usciamo dall’ambito dei numeri naturali ...
Leggi Tutto
DE VITI DE MARCO, Antonio
Antonio Cardini
Nacque a Lecce il 30 sett. 1858.
Il padre, Raffaele De Viti, era stato adottato da un De Marco, per cui aveva assunto il titolo di marchese e il cognome De [...] pol. economy, XLV [1937], p. 713), ma anche, al contrario, che "il nesso logico [nel D.] è rigorosissimo e dà un vero godimento spirituale specie a menti educate alla logicamatematica" (A. Cabiati, La "Finanza" di A. D., in Giorn. degli economisti e ...
Leggi Tutto
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 [...] ben riassunta dal seguente giudizio di Hao Wang:
Nel limitato campo della logicamatematica la presenza di Gödel naturalmente è cospicua. Nessuno può negare che egli sia il più grande logico del secolo, il cui lavoro è al centro stesso dell'intero ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Umberto Eco
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Il ritorno a Kant nasce sia in reazione alle difficoltà, da parte del pensiero hegeliano, [...] dei suoi contenuti, che sono indipendenti dal soggetto: da qui l’interesse per la logicamatematica e la riflessione sul calcolo infinitesimale, che diviene il prototipo di una ragione a priori infinitesimale (Il principio del metodo infinitesimale ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Luigi Catalani
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Le molteplici interpretazioni storiche e filosofiche che si sono succedute nel corso [...] ; da un pensatore di orientamento platonico come Nicola Cusano; mentre alcuni dei più illustri maestri di logica, matematica e filosofia naturale delle università italiane, come Pietro da Mantova, Giovanni Marliani, Apollinare Offredi, Oliviero da ...
Leggi Tutto
GEYMONAT, Ludovico
Girolamo De Liguori
Nacque a Torino l'11 maggio 1908, da Giovanni, valdese, e da Teresa Scarfiott, cattolica, entrambi di famiglia piemontese. Conseguì la laurea in filosofia, presso [...] , scritta in Italia, pensata in stretto dialogo con le scienze fisico-matematiche e logiche). Direttore nel 1960 del primo gruppo di logicamatematica del Consiglio nazionale delle ricerche, diresse contemporaneamente le collane di filosofia della ...
Leggi Tutto
essere
L’uso del termine essere, come sostantivazione del verbo εἶναι (τὸ ὄν; τὸ εἶναι), è presente nel poema di Parmenide indicato come Sulla natura (περὶ φύσηως). Per quanto si possa sostenere che [...] (si pensi a Mill), come anche in discipline più speciali- stiche quali la filosofia del linguaggio, la logicamatematica (Frege) o anche la psicologia e la psicologia sociale. Negli ultimi due decenni del sec. 19° e nel sec. 20°, con l’affermazione ...
Leggi Tutto
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...
logico1
lògico1 (ant. lòico) agg. [dal lat. logĭcus, gr. λογικός, der. di λόγος «discorso, ragionamento»] (pl. m. -ci). – 1. a. Che concerne la logica o la logica matematica: principî l.; linguaggio l.; calcolo l.; o, più genericam., che riguarda...