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 [...] nel suo lavoro sullo spazio ℓ2, sebbene la sua definizione di convergenza non comprendesse il termine 'debole' e fosse formalmente diversa, anche se equivalente a quella data qui. L'uso dei termini debole (schwach) e forte (stark) in connessione ...
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 [...] può associare un altro, il suo duale, che risulta dalla seguente manipolazione formale dei dati del primale. L'obiettivo del duale è:minimizzare ptBdove pt 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 [...] Adī, suo contemporaneo, il quale cercava i numeri della 'divisione logica' secondo cui si organizzano gli elementi della frase inna al-qā dottrina di Avicenna, e una propensione per l'ontologia formale, permettono ad al-ṭūsī di sperare in una ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] metasistematiche non-classiche, come le logiche non-monotòne, le logiche per il default reasoning e le varie logiche volte a cogliere formalmente il ragionamento induttivo e abduttivo.
Logiche più forti della logica standard
L'idea di usare la ...
Leggi Tutto
L'Eta dei Lumi: matematica. Matematica pura e applicata nel XVIII secolo
Ivor Grattan-Guinness
Matematica pura e applicata nel XVIII secolo
Nel presente volume la determinazione cronologica 'Settecento' [...] esso decretata fu piuttosto cauta, anche prima del rifiuto formale da parte di Augustin-Louis Cauchy negli anni Venti dell teoria'; gli sforzi per esprimere in simboli il ragionamento logico ne sono soltanto un piccolo esempio, in parte ispirato ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] parola. (In greco, ἀναλογία indicava somiglianza e anche proporzione, intesa come uguaglianza di rapporti); c) la traduzione logico-formale dei costituenti essenziali di un sistema in uno schema matematico astratto, così da poter variare a piacere ...
Leggi Tutto
ENRIQUES, Federigo
Giorgio Israel
Nacque a Livorno il 5 genn. 1871 da Giacomo e da Matilde Coriat.
La famiglia si trasferi a Pisa, dove egli frequentò le scuole secondarie. Già qui manifestò la sua [...] scientifici sia altrettanto importante della loro verifica formale, in quanto i concetti scientifici sarebbero determinati a quelle già citate, le seguenti opere: Per la storia della logica, Bologna 1922 (trad. franc., Paris 1925); Storia del pensiero ...
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 [...] quello di indagare le proprietà strutturali della logica: sotto questo aspetto, la logica risulta subordinata all'algebra.
In Über die formalen Elemente der absoluten Algebra (Sugli elementi formali dell'algebra assoluta, 1874), la concezione dell ...
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 [...] del core. Marshall, invece, fa un uso più moderato del formalismo matematico; infatti, il suo interlocutore privilegiato è quello che oggi si Otto Neurath (autore del manifesto del neopositivismo logico), Moritz Schlick, Rudolf Carnap e Karl Menger ...
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 [...] Heyting, John von Neumann e Friedrich Waismann, che presentarono, rispettivamente, il punto di vista logicista, intuizionista, formalista e wittgensteiniano sui fondamenti della matematica. Le tematiche affrontate in tali relazioni furono riprese in ...
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,...
formale1
formale1 agg. [dal lat. formalis]. – 1. Nel linguaggio filos., della forma, che concerne la forma o è inerente alla forma, in stretta connessione con il sign. e lo svolgimento di questo termine in filosofia. a. Nella distinzione aristotelica...