notazione
notazióne [Der. del lat. notatio -onis, dal part. pass. notatus di notare, a sua volta da nota] [LSF] L'atto e l'effetto dell'apporre o dell'usare note, insieme di segni e simboli adottati [...] convenzionale; in realtà, la scelta del simbolo e delle norme di trascrizione simbolica ha spesso un'importanza decisiva nello [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu la tendenza (G. Peano) a introdurre una ...
Leggi Tutto
OPERATORI; OPERAZIONALE, CALCOLO (od operatorio, calcolo)
Tullio Viola
Riteniamo opportuno aggiungere alle considerazioni svolte nelle voci: operatori (App. III, 11, p. 317) e simbolico, calcolo (App. [...] per 0 ≤ x ≤ 2π, è quello di fig. 1. Con lo stesso simbolo, o meglio con y = (sen x)2, possiamo intendere il particolare valore che (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati ...
Leggi Tutto
Il Rinascimento. Il metodo e l'ordine del sapere
Cesare Vasoli
Il metodo e l'ordine del sapere
Prodromi di un dibattito
La ricostruzione del lungo dibattito cinquecentesco sui criteri fondamentali [...] Non stupisce che, nella letteratura come nell'iconologia simbolica del secolo, emerga spesso un'immagine di grande labirinto delle leggi e delle costituzioni e ancor più lo sarà la logica popolare, adattata all'uso della vita umana, di cui Ramo ci ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] 'espressione fi(t1,…,tmi) è un termine. In particolare, i simboli di funzione con zero argomenti sono chiamati costanti. Per esempio, se è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] che in uno scritto quasi testamentario del 1919 ricapitola l’itinerario compiuto nel campo della logica:
Con questa decina di simboli, uniti ai simboli per rappresentare le idee di aritmetica e di geometria, si possono esprimere tutte le proposizioni ...
Leggi Tutto
L'Ottocento: matematica. Immagini della matematica nell'Ottocento
Umberto Bottazzini
Immagini della matematica nell'Ottocento
Il panorama della matematica negli ultimi decenni del XIX sec. è per molti [...] hanno favorito la nascita dell'era dell'algebra simbolica e astratta, che finisce per caratterizzare la produzione matematica nella Gran Bretagna di tutto il secolo. Lo stesso spirito algebrico informa le ricerche logiche di De Morgan e Boole e i ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Galileo Galilei
William Shea
Galileo Galilei
La formazione e l'insegnamento
Galileo Galilei nacque a Pisa il 15 febbraio 1564 (e non il 18, come riportano [...] Carbone integrò ai celebri Commentaria di Francisco Toledo alla logica di Aristotele. Il problema si poneva in relazione nel quale la teoria eliocentrica è sostenuta su una base simbolica e matematica. Dopo averne letto la prefazione, Galilei scrisse ...
Leggi Tutto
simbolicosimbò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 [...] s. markoviane: → dinamica: D. simbolica. ◆ [ALG] [FAF] Logica s.: lo stesso che logica matematica. ◆ [EMG] Metodo s., o metodo di Steinmetz o di Steinmetz-Kennelly: metodo di calcolo correntemente impiegato nell'elettrotecnica nella trattazione di ...
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 [...] fra determinanti e matrici, Napoli 1916), di analisi simbolica delle forme (Lezioni sulle forme fondamentali dello spazio rigato del tutto nuovi.
Si occupò inoltre di algebra della logica nel periodo del grande exploit, verificatosi proprio alla fine ...
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,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...