Scienza greco-romana. La geometria da Apollonio a Eutocio
Reviel Netz
La geometria da Apollonio a Eutocio
Il periodo di formazione del canone geometrico greco si estende dal 200 a.C. al 550 d.C., come [...] ’è l’analisi? Essenzialmente, si tratta di un modo di affrontare un problema matematico supponendolo risolto per poi trarre le conseguenze di questa ipotesi (per gli aspetti logici di questo metodo v. Mahoney 1968 e Hintikka 1974). L’analisi ha avuto ...
Leggi Tutto
Scienza greco-romana. La scienza greca e l'Oriente
André Pichot
La scienza greca e l'Oriente
La scienza e la filosofia sono state a lungo considerate il frutto del 'miracolo greco', un frutto incomparabile [...] molto superiori alle tecniche linguistiche di persuasione. Così, la matematica divenne il modello, all'interno della dialettica platonica o della logica aristotelica, per disciplinare l'autonomia del linguaggio grammaticale fuorviatasi nella ...
Leggi Tutto
La Rivoluzione scientifica: i domini della conoscenza. La sintesi newtoniana
Maurizio Mamiani
La sintesi newtoniana
Le opere maggiori di Newton
Isaac Newton rese pubbliche due sole opere, destinate [...] , Newton prese spunto da un manuale di logica scolastica, il Logicae artis compendium di Robert Sanderson egli si ispira ai Sermons di Isaac Barrow (1630-1677), il matematico teologo che gli aveva ceduto la cattedra lucasiana di Cambridge.
Contro i ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] dato nodo o link, vediamo qui emergere un vero problema matematico. Dire che un anello è annodato significa dire che nessuna gauge. L'espressione formale dell'integrale e la sua logica interna hanno fatto ritenere che nel modello proposto esista un ...
Leggi Tutto
Scienza greco-romana. La matematica nel V secolo
Reviel Netz
La matematica nel V secolo
Il titolo di questo capitolo è di per sé problematico. Decidere se al di là di alcuni lavori isolati si possa [...] nel migliore dei casi a Eudemo, delle cui storie delle discipline matematiche parleremo in seguito).
Tuttavia, la cronologia in sé è un ascolto a Eudemo, che gli attribuisce una successione logica di dimostrazioni a partire da assiomi, come se ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Aritmetica
Pascal Crozet
Aritmetica
Se ciò che in questa sede intendiamo per aritmetica si ricollega in generale al calcolo con quantità [...] che questi materiali sono esterni e ⟨i materiali dei problemi logici> sono di ordine intellettuale. È ciò di cui 5 come 1/3+(2/3)(1/10), e la maggior parte dei matematici continuerà a osservare questa forma di scrittura. Abū 'l-Wafā᾽ formula, nella ...
Leggi Tutto
L'Eta dei Lumi: matematica. Geometria analitica, delle curve e delle superfici. Il problema delle parallele
Peter Schreiber
Geometria analitica, delle curve e delle superfici. Il problema delle parallele
A [...] insiemi ordinati e non ordinati, costruito inizialmente per la logica e la teoria degli insiemi, e cioè delle 'liste a far passare la voglia a chi legge" (p. X).
Molti matematici del XVIII sec., che lavoravano in sintonia con lo spirito del tempo, ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] i processi legati all'uso del computer e agli strumenti di comunicazione, ha però un'origine strettamente matematica; essa risale ai lavori di logici dei primi decenni del Novecento, quali Emil L. Post, Alonzo Church e Alan M. Turing, motivati dalla ...
Leggi Tutto
Programmazione lineare
Robert Dorfman
di Robert Dorfman
Programmazione lineare
Introduzione
La programmazione lineare è una famiglia di metodi matematici per individuare i modi più redditizi o in [...] metodo e per le sue varianti, sia perché si fonda sul concetto matematico di base. Nell'algebra delle matrici e dei vettori si definisce base di queste nozioni di base, possiamo illustrare la logica applicata dai computer per risolvere un problema ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Algebra e linguistica. Gli inizi dell'analisi combinatoria
Roshdi Rashed
Algebra e linguistica. Gli inizi dell'analisi combinatoria
Intorno [...] ), ai primi dell'XI sec., e in un contesto matematico molto diverso.
Quanto riferito da Ibn Ḫaldūn sembra non lasciare suo contemporaneo, il quale cercava i numeri della 'divisione logica' secondo cui si organizzano gli elementi della frase inna al ...
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...