La seconda rivoluzione scientifica: matematica e logica. L'emergere della concezione strutturale in algebra
Leo Corry
L'emergere della concezione strutturale in algebra
Il punto di vista strutturale [...] riscontrata anche dopo il 1930.
Ulteriori ricerche di Dedekind
L'opera di Dedekind fornisce la migliore prospettiva per un esame del ruolo ', stabilendo interdipendenze logiche e astratte fra le proprietà specifiche di alcune operazioni che in essa ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'intuizionismo di Brouwer
Anne L. Troelstra
L'intuizionismo di Brouwer
Nella dissertazione Over de Grondslagen der Wiskunde (I fondamenti della [...] di uno spazio topologico T ordinato per inclusione, dove U→V:=Interno (V (T U)). Le operazionilogiche ∧, ⋁, →, ¬ corrispondono alle operazioni di reticolo ∧, ⋁, → e all'operazione definita ¬a:=a→0, dove 0 è l'elemento minimo del reticolo (un'algebra ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
Vito Volterra
Angelo Guerraggio
Fino agli anni Settanta del secolo scorso, le tracce di Vito Volterra nel mondo matematico italiano sono rimaste piuttosto deboli. La maturazione di una diversa sensibilità [...] la sua prima stagione moderna con la diffusione delle opere di Léon Walras, William Stanley Jevons, Carl Menger l’analisi, una scienza di enti ideali sì, ma rigorosamente logica; confrontare poscia colla realtà; rigettare o trasformare, man mano ...
Leggi Tutto
simbolico
simbòlico [agg. (pl.m. -ci) Der. di simbolo] [ANM] Calcolo s.: calcolo condotto su simboli; per es., calcolo operatorio s., detto anche semplic. calcolo s. (→ operatorio). ◆ [PRB] Dinamiche [...] → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o metodo di può facilmente dimostrare che tale corrispondenza resta valida nell'operazione di somma, ovvero la funzione sinusoidale somma di due ...
Leggi Tutto
prodotto
prodótto [Part. pass. sostantivato di produrre, der. del lat. producere "portare avanti", comp. di pro- "davanti" e ducere "condurre"] [LSF] Generic., il risultato di qualcosa, spec. di un'attività, [...] che p. scalare di vettori. ◆ [ALG] P. interno globale: v. varietà riemanniane: VI 505 c. ◆ P. logico: (a) [INF] l'operazione AND (v. circuiti logici: I 618 Tab. 1.1); (b) [ALG] espressione, quasi desueta, per indicare l'intersezione nella teoria ...
Leggi Tutto
DEL RE, Alfonso
Franco Rossi
Nacque a Calitri (Avellino) l'8 ott. 1859 da Raffaele e da Rosa Margotta.
Appena quindicenne si trasferì a Napoli ove compì gli studi superiori e quindi si iscrisse alla [...] 1907) riscossero unanimi consensi in Italia e all'estero (cfr. B. A. Bernstein, Postulati per la logica delle classi in termini della operazione "eccezione", e pruova dell'indipendenza dei postulati dovuti a D., Napoli 1918). Esse occupano un posto ...
Leggi Tutto
analisi
anàlisi [Der. del gr. análysis "scomporre in elementi"] [LSF] Scomposizione di un tutto, concreto o astratto, nelle parti che lo costituiscono, soprattutto a scopo di studio; si oppone a sintesi, [...] : la parte dell'a. matematica che studia gli operatori lineari; il suo sviluppo è dovuto all'estensione dei standard: disciplina nata negli anni '60 nell'ambito della logica matematica per rendere rigoroso il metodo degli infinitesimi e degli ...
Leggi Tutto
riduzione
riduzióne [Der. del lat. reductio -onis "atto ed effetto del ridurre e del ricondurre", dal part. pass. reductus di reducere (→ ridotto)] [ALG] [ANM] I vari signif. particolari del termine [...] Attualmente si parla di r., indipendentemente dal fatto che all'operazione prendano o no parte idrogeno e ossigeno, ogni volta . all'assurdo, che è forse la più antica legge della logica degli enunciati, già conosciuta da Platone, afferma che, se un ...
Leggi Tutto
Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] da un numero finito k di stati o configurazioni ed è pensata per eseguire solo un tipo di operazione primitiva. A ogni operazione corrispondono tre azioni o comandi: scrittura di un nuovo simbolo nella cella, posizionamento in un nuovo stato ...
Leggi Tutto
logicològico [agg. (pl.m. -ci) Der. del lat. logicus, dal gr. log✄ikós, a sua volta da lógos "discorso, ragio-namento"] [LSF] Che concerne la logica o che è conforme a essa come retto modo di ragionare. [...] di una variabile, come l'operazione il cui risultato dà il valore alternativo di x; per le rispettive tavole di verità e per i dispositivi che le realizzano, v. circuiti logici. ◆ [ALG] [FAF] Teorema l.: nella logica matematica, è un'espressione del ...
Leggi Tutto
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...
operatore
operatóre s. m. [dal lat. tardo operator -oris]. – 1. (f. -trice) a. Chi opera, chi compie determinate azioni o operazioni, per lo più abitualmente. Raro in usi generici: o. del male; o. di incantesimi; o. d’inganni; e ant. con il...