unitaunità [Der. del lat. unitas -atis "l'essere uno solo"] [LSF] Ciascuna delle parti identificabili in un sistema. ◆ [ALG] Il numero 1, fondamento della numerazione. ◆ [ELT] [INF] Nella tecnica dei [...] parte che svolga una funzione ben definita: u. aritmetica-logica, di controllo, di ingresso e uscita, ecc.: v. calcolatori, architettura dei: I 392 c. ◆ [MTR] [ASF] U. astronomica (UA): unità di misura delle distanze astronomiche, pari alla distanza ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] e qualsiasi proposizione da essi dedotta; viceversa qualsiasi teorema dell’aritmeticaè quello analogico, il s. formale è una costruzione logicae simbolica di una situazione reale, attori prevalenti sulle altre unità del s., e i loro eventuali alleati ...
Leggi Tutto
Pittore, architetto, scienziato (Vinci, Firenze, 15 aprile 1452 - castello di Cloux, od. Clos-Lucé presso Amboise, 2 maggio 1519). Ha personificato il genio rinascimentale che rivoluzionò sia le arti figurative [...] è immaginata la fine del mondo, evento fantastico in cui operano con logica coerenza e delle luci, accomunate in un'unità compositiva superiore, ma nello stesso 'aritmeticae la geometria, che trattano con "somma verità della quantità discontinua e ...
Leggi Tutto
numero
nùmero [Der. del lat. numerus] [LSF] Oltre che nei vari signif. propri della matematica, alcuni dei quali sono ricordati oltre, il termine è usato in varie discipline fisiche anche come sinon. [...] complessi A+iB, con i unità immaginaria e A, B n. interi e y sono n. naturali con successori uguali, allora x e y sono uguali; (e) se per ogni n. naturale x è data una relazione logica φ(x) e se φ(0) è vera e nome di aritmetica superiore, è lo studio ...
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 [...] aritmetica (arithmētikḕ theōría), i cui elementi sono gli interi considerati come pluralità di unità (monádōn plẽthos) e Abū 'l-Huḏayl e di al-Naẓẓām, tra tanti altri, andavano in cerca di metafisica, fisica, biologia elogica con spirito altamente ...
Leggi Tutto
La Rivoluzione scientifica: i protagonisti. Gottfried Wilhelm Leibniz
Massimo Mugnai
Gottfried Wilhelm Leibniz
Gli anni giovanili
Gottfried Wilhelm Leibniz nasce a Lipsia il 1° luglio 1646, da famiglia [...] eseguire le quattro operazioni dell'aritmeticae, stimolato dal bibliotecario reale concetti, si avrà un calcolo logico in senso proprio; se infine di legame analogo a una sostanza che darebbe unità ai corpi organici. In questo stesso anno inizia ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] costituito da un frammento di DNA di 126 unità che codifica per la produzione del t-acido logico israeliano Michael Rabin, basandosi sui risultati aritmetici di Gary Miller, propone un algoritmo probabilistico per riconoscere i numeri primi. L'idea è ...
Leggi Tutto
Nodi e fisica
Louis H. Kauffman
Sommario: 1. Introduzione. 2. Come fissare un nodo: le mosse di Reidemeister. 3. Invarianti di nodi e links: un primo passo. 4. Il polinomio di Jones. 5. Il polinomio [...] alle leggi dell'aritmetica, così dobbiamo credere di V non è altro che l'immagine di 1 (l'elemento unità di C), cioè 〈a∣ (1) ∈ V. Abbiamo perciò i bra e i ket come applicazioni formale dell'integrale e la sua logica interna hanno fatto ritenere ...
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 [...] (decimale) nell'aritmetica (v. oltre), al posto delle antiche n., puramente convenzionali o comunque non connesse a una precisa regola di scomposizione dei numeri. ◆ [STF] [ALG] [FAF] Nella teoria degli insiemi e nella logica matematica vi fu ...
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 [...] ore 05.30 locali, gli Stati Uniti fanno esplodere, in un'apposita base è indecidibile; non esiste, cioè, un algoritmo che, data una formula della logicaaritmetica di modulo fissato, ricavandone l'analoga relazione asintotica. Per questo risultato e ...
Leggi Tutto
unita
unità s. f. [dal lat. unĭtas -atis, der. di unus «uno»; in alcuni dei sign. concreti, ha risentito l’influenza dell’ingl. unit (che in inglese è distinto da unity)]. – 1. a. Il fatto, la condizione e la caratteristica di essere uno,...
ragione
ragióne s. f. [lat. ratio -onis (der. di ratus, part. pass. di reri «fissare, stabilire»), col sign. originario di «conto, conteggio»]. – 1. a. La facoltà di pensare, mettendo in rapporto i concetti e le loro enunciazioni, e insieme...