ricorsivita
ricorsività in logica, caratteristica di un procedimento che riduce la complessità di un problema riportandolo a problemi via via più semplici cui il procedimento stesso viene applicato. [...] curve patologiche.
La teoria della ricorsività è una delle branche fondamentali della logicamatematica e si pone come obiettivo quello di definire, in senso matematicamente rigoroso, il concetto intuitivo di → funzione calcolabile, per la quale cioè ...
Leggi Tutto
categoria
categoria in algebra astratta, termine indicante una struttura generale, che può essere considerata come terzo livello di astrazione dopo quello degli elementi di un insieme (qualunque sia [...] classi, conservandone le strutture e i morfismi (i → funtori). La teoria delle categorie conferisce unità concettuale a branche diverse della matematica: algebra, topologia algebrica, geometria differenziale, geometria algebrica, logicamatematica. ...
Leggi Tutto
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 [...] non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logicamatematica vi fu la tendenza (G. Peano) a introdurre una particolare n., includente pressoché tutte le proposizioni e le ...
Leggi Tutto
chiusura
chiusura [Der. del lat. clausura, dal part. pass. clausus di claudere "chiudere", "atto ed effetto del chiudere" e anche "ciò con cui si chiude"] [ALG] C. algebrica: v. varietà algebrica: VI [...] : è definita dai relativi assiomi di c. (v. oltre). ◆ [ALG] [FAF] C. universale di un'espressione: nella logicamatematica, data un'espressione contenente certe variabili libere è la nuova espressione che si ottiene da quella universalizzando (cioè ...
Leggi Tutto
Wiener
Wiener Norbert (Columbia, Missouri, 1894 - Stoccolma 1964) matematico statunitense. Dopo il dottorato conseguito all’età di 18 anni alla Harvard University, con una tesi di logicamatematica, [...] Insegnò, a partire dal 1919, al mit di Cambridge (Massachusetts). Diede fondamentali contributi nel campo della teoria matematica dei processi stocastici, della previsione e del calcolo delle probabilità, e a partire dai suoi lavori sulla statistica ...
Leggi Tutto
Hirzebruch
Hirzebruch Friedrich (Hamm, Renania Settentrionale-Vestfalia, 1927 - Bonn 2012) matematico tedesco. Ha studiato matematica, fisica e logicamatematica presso l’università di Münster, dove [...] algebriche complesse di dimensione qualunque. Hirzebruch ha esercitato una grande influenza sullo sviluppo e la diffusione della matematica in Germania; è stato uno dei fondatori, nel 1957, e animatore della Matematische Arbeitstagung di Bonn. Per ...
Leggi Tutto
modus ponens
modus ponens 〈mòdus pònens〉 [Lat. "modo che afferma"] [FAF] Inferenza della sillogistica classica del tipo: se sussiste p allora vale q; sussiste p; allora vale q. La regola di deduzione [...] corrispondente compare nei più diffusi calcoli logici moderni. Nella logicamatematica è chiamata più frequentemente regola di separazione o di distacco e si enuncia così: "A una sequenza di espressioni in cui occorrono sia l'espressione H sia l' ...
Leggi Tutto
Casari
Casari Ettore (Smarano, Trento, 1933) logico e filosofo della matematica italiano. Avviato agli studi di logica da L. Geymonat, ha insegnato filosofia della scienza nelle università di Cagliari [...] 1967) e (dal 1998) logica presso la Scuola normale superiore di Pisa, contribuendo alla rinascita della logicamatematica in Italia. Tra le sue opere: Questioni di filosofia della matematica (1964), La logica del Novecento (1981), Introduzione alla ...
Leggi Tutto
Linguistica
Forme o parole postulate Quelle forme o parole antiche, di solito contrassegnate con asterisco, che non sono documentate in alcun testo, ma di cui viene ragionevolmente supposta l’esistenza [...] sistema deduttivo). È termine in uso soprattutto nella matematica, mentre in fisica e nelle scienze applicate le che riguarda l’esistenza di determinati enti geometrici). Nella logica moderna la differenziazione tra assiomi e p. è venuta ...
Leggi Tutto
STRUTTURA
Natale Gucci
Mario Como
Roberto Capra
Paolo Zellini
(App. II, II, p. 923; III, II, p. 857; IV, III, p. 504)
Ingegneria civile. Strutture di acciaio. - Le più recenti applicazioni delle [...] teorica. Soprattutto negli anni Trenta le ricerche erano per lo più orientate a stabilire quali problemi della matematica e della logica erano risolubili per via costruttiva, ovvero con un algoritmo, e si erano scoperti, su questa linea, diversi ...
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...