CONTI, Antonio (Schinella)
Giovanna Gronda
Nacque a Padova il 22 genn. 1677 secondogenito di Pio e di Lucrezia Nani, nobili veneti. Il padre discendeva per via femminile da Sperone Speroni e ne lasciò [...] sosteneva, sul modello delle forze plastiche di Le Clerc, una teoriadella luce seminale.
Con questa delle opere a stampa, la varietà degli interventi e delle letture del Conti.
Nel 1736 ragguaglia Pisenti su una dimostrazionedella misura delle ...
Leggi Tutto
DE SORIA, Giovanni Gualberto
Ugo Baldini
Nacque a Pisa il 10 apr. 1707 da Enrico e da Maria Elisabetta delle Sedie; l'affermazione delle Novelle letterarie (1767, col. 676) ripresa poi da A. Fabroni, [...] un'ontologia nel senso tradizionale, bensì una teoriadella costituzione e funzionamento della ragione desunta in gran parte da Locke a strumenti logici, che elimina il valore dimostrativodella rivelazione cristiana o del consensus gentium, ed ...
Leggi Tutto
metafisica
Termine non utilizzato nella filosofia antica, ed entrato nell’uso in epoca tardo-antica e medievale, dapprima per designare i trattati di Aristotele che seguono quelli di fisica («μετὰ τὰ [...] , come Kant assume e dimostra, essa resta comunque sullo sfondo della conoscenza conferendole una «unità Nella seconda fase del suo pensiero Heidegger sviluppa la teoriadella verità come «ascolto dell’essere» che si dà mediante il linguaggio ( ...
Leggi Tutto
Storia della civiltà europea a cura di Umberto Eco (2014)
Il Liceo, storia di un luogo del sapere
Claudia Macerola e Federico Minzoni
Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook
Nel 335 a.C. Aristotele [...] sollevato nella Metafisica di Aristotele, domandandosi se la dimostrazione dei principi di ogni scienza sia da destinarsi anima come una mera funzione fisiologica, unificata dal ricorso alla teoriadello pneuma, che, come l’aria nel flauto, si ...
Leggi Tutto
Nato a Milano il 19 febbr. 1821 da Claudio, un piccolo imprenditore originario di Monza, e da Giuseppina Della Volta, fece i primi studi presso i padri barnabiti di Monza e poi nelle scuole di Milano. [...] rilievo nella preparazione e nello svolgimento delladimostrazione che mirava ad abbattere il governo provvisorio C. fatta alla Università di Bologna e nota sul 15½ universale secondo le teorie del C. prima e dopo il 1876, Bologna 1897; G. Leti, E. ...
Leggi Tutto
paradosso
paradosso (dal greco pará, «oltre, contro», e dóxa, «opinione») termine applicato, nella sua accezione più ampia, a qualsiasi affermazione o ragionamento che contrasti con l’opinione comune [...] teoriadella misura
Un esempio di paradosso di questo tipo è il paradosso di Banach-Tarski, dal nome dei due scienziati polacchi S. Banach e A. Tarski, il primo matematico, il secondo logico. Essi, utilizzando l’assioma della → scelta, dimostrarono ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logica
Logica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] di dimostrazione formale nell'indagine matematica, Peacock tenta, nel Treatise on algebra (1830; seconda edizione ampliata in due volumi: 1842-1845) di fornire una sistemazione dellateoria dei numeri complessi e di quelli negativi, ricorrendo ...
Leggi Tutto
Complessità algoritmica
Fabrizio Luccio
Gli studi di complessità di calcolo si sono sviluppati essenzialmente nella seconda metà del ventesimo secolo. Basati sulla formalizzazione del concetto di algoritmo, [...] e la più breve tra tali computazioni consiste di t mosse. Nonostante l'apparente potenziamento del modello, la teoriadella computabilità dimostra che gli insiemi di stringhe accettate non cambiano, mentre cambia il numero di mosse eseguite dalle due ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] in questa disciplina, in quanto costituisce la genesi delle moderne dimostrazioni di esistenza nei modelli di equilibrio generale, della programmazione lineare, del teorema dell'autostrada e dellateoria del punto fisso. Il modello di von Neumann ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Nel secolo scorso lord Kelvin (William Thomson) ideò la cosiddetta teoria degli atomi vortice in cui gli atomi erano visti come mulinelli nell'etere, che si supponeva [...] tentativo di enumerazione degli atomi vortice di lord Kelvin.
La teoria degli atomi vortice scomparve quando la teoriadella relatività speciale di Einstein dimostrò l'inutilità dell'etere. Tuttavia, i vortici annodati continuano a essere oggetto di ...
Leggi Tutto
dimostrazione
dimostrazióne s. f. [dal lat. demonstratio -onis]. – 1. a. Ogni atto, fatto, comportamento, parola o discorso che mostra o dimostra o rivela qualche c0sa, che cioè rende o con cui si rende manifesto, conosciuto, chiaro o certo...
dialèttica s. f. [dal gr. διαλεκτική (τέχνη), lat. dialectĭca o dialectĭce (v. dialettico)]. – 1. Arte del dialogare, del discutere, come tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore,...