Matematica: problemi aperti
Claudio Procesi
Prima di parlare dei problemi aperti nella matematica è bene riflettere su quelli che ne hanno segnato la storia passata. Sono infatti proprio questi che [...] si pensa come un numero scritto in forma binaria e il linguaggio PRIMO è formato da tutte le . La domanda è la seguente: è vero che partendo da un qualsiasi numero e iterando l'operazione T prima o poi si arriva a 1? Per esempio, a partire da 1,2,3 ...
Leggi Tutto
Modelli
Patrick Suppes
Il significato del termine 'modello' nelle scienze
Il termine 'modello' non è usato esclusivamente in ambito scientifico, ma nei contesti più vari. Ciascuno di noi sa che cosa [...] vuota di sottoinsiemi di Ω. Inoltre ℑ sia chiusa rispetto all'operazione di passaggio al complementare e all'unione, cioè sia tale che 'algebra di insiemi su Ω e sia ≥ una relazione binaria su ℑ*, l'algebra delle funzioni indicatrici estese relative a ...
Leggi Tutto
Computazione, teoria della
Fabrizio Luccio
La necessità del calcolo, pur riconosciuta dall'uomo in tutte le epoche storiche, ha condotto solo in tempi relativamente recenti a una sistemazione teorica [...] ed è quindi accettata da A. La stringa 1101 (codifica binaria di 13) causa invece le transizioni s′→s1→s0→s0→s1 (A2).
2) La famiglia dei linguaggi liberi non è chiusa sotto le operazioni di intersezione e complemento. Inoltre, dati due AP (o APND) A1 ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La scuola di Leopoli-Varsavia
Ettore Casari
La scuola di Leopoli-Varsavia
Gli inizi
La singolare vicenda intellettuale divenuta nota come 'Scuola [...] proposizionale. Richiesta la chiusura di S sotto le operazioni di negazione ¬α e di condizionalità α→β e di valori (B contiene i valori designati) e due funzioni su A∪B, una binaria c e una unaria n ‒ e si mostra come, data una matrice normale (una ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Le logiche modali
Fabio Bellissima
Paolo Pagli
Le logiche modali
L'Organon di Aristotele, atto di nascita della logica formale, comprende, oltre [...] ottenibili dal calcolo classico con l'aggiunta di assiomi riguardanti l'operatore di necessità.
Łukasiewicz pervenne alle modalità per altra via. Nel La novità è costituita dalla presenza di una relazione binaria R tra gli oggetti di W, chiamata ' ...
Leggi Tutto
algoritmi
Roberto Levi
Istruzioni per far funzionare da sole le macchine
Molte attività umane non si possono svolgere senza seguire precise indicazioni. Come le 'istruzioni per l'uso' spiegano il funzionamento [...] comprensibile al computer. Il programma e i dati su cui deve operare sono registrati in un dispositivo di memoria, ma è l'unità di usare un linguaggio intermedio, poi tradotto in forma binaria da un programma che funziona come 'interprete'.
Macchine ...
Leggi Tutto
composizione
composizióne [Der. del lat. compositio -onis, "atto, operazione del comporre, e anche il modo, gli elementi di essa e il suo risultato", dal part. pass. compositus di componere (→ composito)] [...] elemento dell'insieme stesso (c. interna) o di un altro insieme (c. esterna); per es., le operazioni elementari sono leggi di c. binaria; in genere sono binarie anche le leggi di c. che definiscono una struttura algebrica: v. algebra: I 91 b. ◆ [RGR ...
Leggi Tutto
Uguaglianza in genere tra cose di natura o qualità diversa.
Fisica
Principi di equivalenza
Principi che postulano l’uguaglianza di effetti prodotti da cause apparentemente diverse (per es., nell’elettromagnetismo [...] o meno generale. In senso astratto si dice relazione (binaria) di equivalenza tra le coppie di elementi di un rispetto alla relazione R e si indica con I/R; questa operazione corrisponde al processo di astrazione di considerare in certo senso uguali ...
Leggi Tutto
OPERATORI
Fernando BERTOLINI
. 1. Generalità. - Il termine o. indica d'ordinario il simbolo d'una operazione, o più in generale d'una applicazione univoca (v. applicazione, in questa App.); per una [...] dei numeri reali positivi; A2 l'insieme dei numeri reali, positivi e diversi da 1. Il segno ″ log ″ va considerato come un operatorebinario da A1 × A2 in A, ad esso essendo associata l'applicazione (x,y) → logyx (x ∈ A1, y ∈ A2).
Con ciò è chiarito ...
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 [...] Oskar Morgenstern pubblicano The theory of games and economic behavior, l'opera più importante per lo sviluppo della teoria dei giochi e per per individuare i due stati che rappresentano l'unità binaria. Il cambio di polarità si verifica per il ...
Leggi Tutto
operazione
operazióne s. f. [dal lat. operatio -onis, der. di operari «operare»]. – 1. In genere, l’atto dell’operare, l’attività di chi opera, di chi compie un lavoro o un’azione. Nella lingua ant., la parola aveva uso più ampio, riferita...
binario1
binàrio1 agg. [dal lat. tardo binarius, der. di bini «due per volta»]. – 1. Composto di due unità, di due elementi: divisione b., nell’esercito, la divisione composta da due reggimenti di fanteria; stelle b., sinon. di stelle doppie....