Modello
Silvano Petrarca
Il termine modello è diffusamente utilizzato per indicare un ampio insieme di costruzioni formali ottenute mediante schematizzazioni di processi, comportamenti, situazioni ecc., [...] Questo modo di vedere la scienza è stato criticato dai logici a causa della sua chiusura, caratteristica che lo mette sotto segreti del pensiero umano basandosi sulla modifica dei pesi matematici assegnati alle connessioni in forma di rete tra neuroni ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] Cook è quello di decidere se una formula della logica proposizionale sia soddisfacibile. Da allora sono stati trovati migliaia d'informazione sulla Terra e sugli uomini in simboli matematici e informatici. Si ritiene che tale messaggio possa essere ...
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
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Ruggero Giuseppe Boscovich
Pasquale Tucci
Nato in Dalmazia da padre serbo, si formò e operò in Italia, dove fu tra i primi a promuovere la diffusione e la discussione critica del newtonianesimo. Nell’opera [...] non era inusuale che i giovani fossero educati all’estero. Studiò matematica sotto la guida di padre Orazio Borgondi (1675-1741), e di elaborazione. In essa Boscovich criticava la struttura logica della meccanica newtoniana, dove lo spazio assoluto e ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] x e y sono uguali; (e) se per ogni n. naturale x è data una relazione logica φ(x) e se φ(0) è vera e la verità di φ(x) implica quella ε>0, dove E(x)<∞ è l'aspettazione matematica delle distribuzioni delle xi, come dire che all'aumentare del n ...
Leggi Tutto
misura
misura [Der. del lat. mensura, dal part. pass. mensus di metiri "misurare"] [LSF] Il valore di una grandezza, espresso come rapporto tra la grandezza data e un'altra grandezza della stessa specie [...] dell'operazione di integrazione in campi della matematica superiore: m. secondo Peano-Jordan, avendosi allora la densità relativa (all'acqua). ◆ [FAF] M. spettrale: v. logica quantistica: III 487 d. ◆ [ANM] M. standard e non standard: v. analisi ...
Leggi Tutto
Boole George
Boole 〈bùul〉 George [STF] (Lincoln 1815 - Cork 1864) Prof. di matematica (1849) nel Queen's College di Cork. ◆ [ALG] Algebra di B.: insieme parzialmente ordinato in cui si definisce un elemento [...] l'elemento 1 è in questo caso l'insieme Q, l'elemento 0 è l'insieme vuoto e x-=Q/x per ogni x. Inizialmente concepita per la risoluzione matematica di problemi di logica, si è posta alla base della formalizzazione del modo di funzionare dei circuiti ...
Leggi Tutto
Skolem Thoralf Albert
Skolem 〈skùulem〉 Thoralf Albert [STF] (Sandsvær 1887 - Oslo 1963) Prof. di matematica nell'univ. di Oslo (1938). ◆ [ALG] [FAF] Paradosso di S.: v. Gödel, teorema di: III 54 f. ◆ [...] [ALG] [FAF] Teoremi di Löwenheim-S.: v. logica: III 485 e. ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] : esiste una procedura meccanica capace di stabilire se una proposizione logica del primo ordine è sempre vera? Il l. calcolo è un formalismo in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni ...
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...