inversione
inversióne [Der. di inverso] [LSF] Atto ed effetto dell'invertire, cioè del cambiare verso, del passare a una situazione per qualche verso contraria di quella originaria. ◆ [ALG] [ANM] Denomin. [...] colori, e nella cinematografia a passo ridotto, per dilettanti. ◆ [ELT] I. logica: l'operazione di cambiamento di segno effettuata con un circuito logico, per es. con una porta NOR. ◆ [ALG] I. per raggi vettori reciproci: la trasformazione nel piano ...
Leggi Tutto
Linguistica
La parte della linguistica che studia la connessione di unità minori a formare unità maggiori. In questo senso si parla anche di fonetica sintattica (o sandhi, con il termine della grammatica [...] . lo studio della s. fu strettamente connesso con quello della logica; contribuirono allo sviluppo di tale tendenza pensatori come C. Wolf, ascendente o uno iato (es., vorranno essere); se lo porta solo la finale della prima parola, si può avere un ...
Leggi Tutto
Locuzione introdotta da A. Robinson nel 1960 per indicare l’analisi basata su un modello matematico in cui, utilizzando una (opportunamente modificata) logica del primo ordine, viene data una definizione [...] infinitesimo che G.W. Leibniz considerava sostanzialmente alla stregua degli altri numeri aveva portato ai vani tentativi di G.L. Lagrange, J.-B. d’Alembert, B n. è la semplicità della struttura logica che non richiede, a differenza della ...
Leggi Tutto
Matematica
Proprietà di postulati e di proposizioni che si mutano in altri postulati e altre proposizioni ove a certi enti se ne sostituiscano determinati altri.
Principio di dualità
Nella geometria proiettiva [...] «Due rette distinte individuano un punto e uno soltanto». Ciò porta a enunciare il principio di dualità nel piano: da ogni teorema dualità.
Si hanno così un principio di dualità in logica matematica (sia enunciativa sia dell’ordine): se le formule ...
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. [...] " (B. de Finetti), è indubbia la distinzione rigorosamente logica dai due concetti.
4. - I funzionali vennero chiamati analisi funzionale. Basta osservare che l'operazione, o trasformazione T, che porta una qualunque f ∈ C0 in altra g = T(f), pur ...
Leggi Tutto
GÖDEL, Kurt
Logico matematíco, nato a Bruna, Moravia, il 28 aprile 1906. Libero docente di matematica a Vienna (1933-38), prese in quel tempo attiva parte al seminario filosofico Verein Ernst Mach, poi [...] , senza uscire dal sistema stesso; ciò che porta a rafforzare il convenzionalismo sempre più diffuso nella a biographical directory, Lancaster 1949; E. Carruccio, Matematica e logica nella storia e nel pensiero contemporaneo, Torino 1952; E. ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Kalam e filosofia naturale
Marwan Rashed
Kalām e filosofia naturale
Il rapporto tra Kalām e filosofia naturale è assai complesso e articolato; [...] , soltanto di una questione di periodizzazione: è la logica sotterranea delle alleanze tra neoarchimedismo e teorie dell'impetus Quale che sia la soluzione di questo enigma storico, la portata di tale impegno fisico è considerevole. Ci dà la certezza ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] una molecola d'acqua. Tale idea consente di rivisitare la logica e la teoria della dimostrazione da un punto di vista pseudocollisioni; cioè per N>4 esistono condizioni iniziali che portano a singolarità diverse da quelle dovute al fatto che due o ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1941-1950
1941-1950
1941
Le successioni esatte. Introdotte in una nota sui gruppi di coomologia (priva di dimostrazioni) dal polacco Witold Hurewicz ed estensivamente [...] ; cioè, esiste un algoritmo che, data una formula della logica del primo ordine nel linguaggio di tali strutture, stabilisce in isotopica.
Un sistema di 'pompaggio ottico'. Destinato a portare un dato materiale in uno stato eccitato ordinato, è ...
Leggi Tutto
La civilta islamica: condizioni materiali e intellettuali. Dal greco all'arabo: trasmissione e traduzione
Roshdi Rashed
Dal greco all'arabo: trasmissione e traduzione
Gli storici delle scienze e della [...] della sapienza, e altri. Essi presero quanto avevano scelto. Quando lo portarono ad al-Ma᾽mūn, egli ordinò loro di tradurre le opere, filosofo voleva conoscere di più e meglio la filosofia, la logica, e ugualmente la statica e la fisica. Le esigenze ...
Leggi Tutto
porta1
pòrta1 s. f. [lat. pŏrta, affine a pŏrtus -us «porto3»] (pl. -e; pop. ant. le pòrti). – 1. a. Vano aperto in un muro o altra struttura per crearvi un passaggio costituito da un elemento orizzontale (soglia) posto a livello del pavimento,...
rigore
rigóre s. m. [dal lat. rigor -oris, der. di rigēre «essere rigido»]. – 1. letter. Rigidità, in senso materiale: il r. delle membra intirizzite; il r. della morte (lat. rigor mortis); tronchi ... in rigor di pietra, simili a gemmei steli...