refutabile
refutàbile [Der. del lat. refutabilis "confutabile", da refutare "respingere, confutare"] [ALG] [FAF] Nella logicamatematica, di un enunciato del quale, in un dato insieme formale, sia dimostrabile [...] la negazione ...
Leggi Tutto
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logicamatematica, sinon. di ricorrenza. ...
Leggi Tutto
particolarizzatore
particolarizzatóre [Der. di particolarizzare] [ALG][FAF] Uno dei due quantificatori della logicamatematica (l'altro è il generalizzatore). ...
Leggi Tutto
L'Ottocento: matematica. Algebra della logica
Massimo Mugnai
Algebra della logicaLogica e matematica: pensare e calcolare
Sia nell'Antichità sia durante il Medioevo, la logica e la matematica si configurano [...] questo periodo, nell'ambito della cultura europea, si afferma l'idea di stabilire uno stretto rapporto tra logica e matematica: un'idea che, giudicata nella prospettiva degli sviluppi successivi, costituisce un risultato di gran lunga più importante ...
Leggi Tutto
Scienza greco-romana. Euclide e la matematica del IV secolo
Reviel Netz
Euclide e la matematica del IV secolo
Sappiamo del IV sec. a.C. più di quanto non sappiamo del V, ma è sempre molto poco. Fra [...] proporzionalità, possiamo dedurre C:A=C:B. L’interesse filosofico per la natura della ‘proporzione’ si traduce in risultati logici e matematici, e ciò che rende ‘rigoroso’ il Libro V è il fatto che tutto sia ricondotto a una definizione esplicita ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La probabilita
Eugenio Regazzini
La probabilità
Evoluzione della nozione di probabilità
La grande difficoltà in cui si dibattevano i cultori [...] falso se E si verifica e B non si verifica, privo di valore logico se E non si verifica: è un modo diverso per dire che nel caso di addendi identicamente distribuiti, di speranza matematica nulla, e dotati di funzione generatrice dei momenti, ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali alle derivate parziali
Haïm Brezis
Felix Browder
Equazioni differenziali alle derivate parziali
Lo studio delle equazioni [...] una forma precisa e convincente, e perché la teoria che ne risulta è uno strumento che viene usato in aree della matematica di grande rilievo, come per esempio l'analisi di Riemann delle funzioni abeliane.
In quello stesso lavoro si trova inoltre un ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le origini dell'analisi funzionale
Angus E. Taylor
Le origini dell'analisi funzionale
L'analisi funzionale acquista una precisa identità nel [...] di una classe di operatori lineari continui a valori numerici fu Jacques-Salomon Hadamard (1865-1963), uno dei più celebri matematici francesi. Egli era stato l'insegnante di Fréchet in un liceo di Parigi e, in seguito, questi divenne il primo ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria algebrica
Jeremy Gray
Geometria algebrica
Agli inizi del XX sec. la scuola di punta in geometria algebrica era quella italiana, guidata [...] se, e soltanto se, la dimensione dell'anello locale OP in P è uguale alla dimensione del quoziente mP/(mP)2.
Un altro matematico che si convertì alla geometria algebrica negli anni Trenta del XX sec. fu il francese André Weil (1906-1998). Egli fu uno ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Geometria differenziale
Jeremy Gray
Geometria differenziale
La geometria differenziale è lo studio dei problemi geometrici mediante i metodi [...] in basso di prima. L'equivalenza tra gravità e accelerazione richiede quindi che la gravità devii il percorso della luce.
La matematica adeguata a questa intuizione non è semplice (Tav. Ia e Ib).
La nostra descrizione è corretta solamente fino a un ...
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...