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 [...] di Luitzen E.J. Brouwer la verità matematica di una proposizione A coincide con l'esistenza B è vera in tutti gli j tali che i⊆j.
I rapporti tra logica intuizionista e logica modale sono complessi. Sia A* la traduzione che interpreta A come □A nel ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] spiegata dai condizionamenti cui è soggetta piuttosto che dalle logiche di scelta dell'attore, il presupposto è che cui maggiore esponente è certamente Harrison White, elabora concetti matematici di analisi strutturale sviluppando i lavori di Harary e ...
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' [...] affascinante, fu la formulazione algebrica della logica (sillogistica).
Al pari della geometria, anche l'algebra si manifestò come un quadro d'insieme oltre che come disciplina a sé stante. I matematici fuori della Gran Bretagna avevano più o ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] e il sequente ⇒A è dimostrabile in LK allora A è una legge logica. Quanto alla completezza, essa si può formulare dicendo che ⇒A è dimostrabile quanto in esso è implicito.
Nella pratica matematica non si dimostra mai un risultato per verifica ...
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 [...] 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, al calcolatore, i valori dei ...
Leggi Tutto
L'Ottocento: matematica. Calcolo delle variazioni
Craig Fraser
Calcolo delle variazioni
Il problema di Euler
Nel 1744 Leonhard Euler formulò il problema principale del calcolo delle variazioni nei [...] tale differenza uguale a zero.
Nel 1762 il giovane matematico torinese Joseph-Louis Lagrange introdusse un nuovo e migliore metodo del suo integrale invariante, è evidente il legame logico di tale definizione con alcuni concetti della teoria di ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Equazioni differenziali ordinarie
Jean Mawhin
Equazioni differenziali ordinarie
Accanto a sostanziali progressi nella teoria delle equazioni [...] in numerose applicazioni, non soltanto fisiche o tecniche, ma anche in biologia e in dinamica delle popolazioni: lo studio matematico di quest'ultimo caso sarà sviluppato negli anni Venti del Novecento da Alfred J. Lotka (1880-1949) e da Volterra ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La topologia degli insiemi di punti
Roger Cooke
Brian Griffith
La topologia degli insiemi di punti
La topologia generale o topologia degli insiemi [...] quali la convergenza è arbitrariamente lenta. Affermazione logicamente equivalente al fatto che la somma di P. L'introduzione stessa dell''insieme' (Punktmenge), rese il linguaggio matematico chiaro come non lo era mai stato in passato. Cantor mostrò ...
Leggi Tutto
MARCHETTI, Alessandro
Cesare Preti
Nacque a Pontormo (ora Pontorme, frazione di Empoli), il 17 marzo 1633 da Angelo e da Luisa Buonaventuri. Terzo di cinque figli, non ancora adolescente rimase orfano [...] . Forse anche l'aspirazione a ottenere la cattedra di matematica dello Studio pisano, manifestata con evidenza in quegli anni dal dimostrazione del padre Vanni, pur se argomentata con una logica stringente e non priva di fascino, era però viziata ...
Leggi Tutto
Fuzzy
Settimo Termini
L'aggettivo fuzzy − che potrebbe essere reso in italiano con sfocato o sfumato ma solitamente non viene tradotto − è usualmente associato a sostantivi quali insieme, logica, sistema.
L'aspetto [...] proprio nello scarto tra le situazioni estremamente flessibili del mondo reale e la precisione del linguaggio matematico tradizionale.
Aspetti logici
Lo sviluppo della teoria degli insiemi fuzzy ha contribuito a riscoprire l'importanza delle − 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,...
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...