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 [...] incontro di parole diverse appartenenti a una stessa frase fonetica (cioè a una stessa frase non nel senso di proposizione grammaticale, ma nel senso di gruppo di parole pronunciate di seguito). L’incontro di parole diverse, intimamente congiunte per ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. Il Libro V degli Elementi
Bijan Vahabzadeh
Il Libro V degli Elementi. i commentari arabi sulla teoria delle proporzioni
La teoria delle [...] uguale o minore di H. Di conseguenza, se quattro grandezze sono proporzionali, esse soddisfano la condizione della def. V.
Nella seconda proposizione egli dimostra nello stesso modo che se il rapporto tra A e B non è come quello di C e D, allora gli ...
Leggi Tutto
Informatica
Processo inverso
(reverse engineering) L’attività di analisi di un prodotto (hardware e/o software) e, più in generale, di un dispositivo, ottenuto mediante ingegnerizzazione, al fine di individuarne [...] del gruppo; a′ si chiama ancora l’i. di a e si denota ancora con il simbolo a–1.
Inverso di un dato teorema
La proposizione che si ottiene scambiando tra di loro la tesi e l’ipotesi del teorema. Non è detto che un teorema e il suo i. debbano essere ...
Leggi Tutto
Negli ultimi decennî l'aritmetica superiore o teoria dei numeri è stata intensamente coltivata, in ispecie in Germania, nei paesi anglosassoni ed in Russia. Nella impossibilità di esaurire in ogni particolare [...] che G (2n, 2) ≥ 1 per n ≥ 2 e che G (2n + 1,3) ≥ 1 per n ≥ 3. Le dimostrazioni di tali proposizione, delle quali la seconda è conseguenza ovvia della prima, non sono tuttora state ottenute nella loro integrità, nonostante la gran mole di ricerche ad ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] in cui W è un insieme non vuoto di mondi, R una relazione riflessiva su W, V è una funzione che associa a coppie di proposizioni e mondi un valore nell'insieme {1,0}. Negli S4-modelli la R è riflessiva e transitiva, negli S5-modelli una relazione di ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] una teoria assiomatica formale con insieme dei teoremi X e con complessità algoritmica o contenuto di informazione algoritmica H(X). Allora, posto che una proposizione come
Il 99° bit di Ω è 0,
Il 37° bit di Ω è 1,
la quale determina il valore di un ...
Leggi Tutto
eliminazione
eliminazióne [Der. del lat. eliminatio -onis, "atto ed effetto dell'eliminare", der. del part. pass. eliminatus di eliminare, comp. di ex "fuori di" e limen -minis "soglia della casa" e [...] mobile. ◆ [FAF] Procedimento per e., o eliminativo: operazione euristica per individuare la proposizione vera tra varie proposizioni; consiste nell'esaminare una proposizione per volta, eliminando via via quelle che risultano all'esame false o errate ...
Leggi Tutto
TARSKI, Alfred
Vito A. BELLEZZA
Studioso di logica matematica, nato a Varsavia il 14 gennaio 1902, naturalizzato americano nel 1945. Dopo aver insegnato nell'univ. di Varsavia e dal 1939 in varie università [...] tesi del T., secondo cui il problema fondamentale della sua opera ("la costruzione della definizione di una proposizione vera e la determinazione delle basi scientifiche della teoria della verità") apparterrebbc alla teoria della conoscenza e quindi ...
Leggi Tutto
La civilta islamica: antiche e nuove tradizioni in matematica. La tradizione araba del Libro X degli Elementi
Marouane Ben Miled
La tradizione araba del Libro X degli Elementi
La storia delle letture [...] n può essere grande a piacere, ne segue che ci sono infiniti irrazionali compresi fra m e m+1. Corollario di questa proposizione è che esiste un'infinità di grandezze irrazionali comprese fra due grandezze razionali. La domanda che ci si pone è: Ibn ...
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 [...] i punti a cui riduco queste parole" (ibidem). Stabilite le regole e le definizioni, occorre provare con il loro aiuto le proposizioni del testo sacro: "Premesse queste cose, paragono le parti dell'Apocalisse l'una con l'altra e le riassumo in ordine ...
Leggi Tutto
proposizione
propoṡizióne s. f. [dal lat. propositio -onis, propr. «il mettere innanzi», der. di proponĕre: v. proporre]. – 1. In genere, ciò che si enuncia, si dichiara, si afferma, e la frase stessa che contiene l’enunciato. In partic.:...
indipendente
indipendènte agg. [comp. di in-2 e dipendente, part. pres. di dipendere]. – In generale, che non dipende, che non è soggetto o subordinato ad altre persone o ad altre cose. In partic.: 1. Di stato (o nazione), non soggetto alla...