La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] ⟨X0,…,Xn,…⟩ di sottoinsiemi di N, ed è data da un'unica relazione binaria R tale che x∈Xn⇔R(x,n). Allora, l'unione degli insiemi Xn incorporasse tutta la matematica ‒ in un campo di ricerca in cui gli oggetti di interesse sarebbero stati varie ...
Leggi Tutto
Numeri, teoria dei
Larry Joel Goldstein
La teoria dei numeri è il settore della matematica dedicato allo studio delle proprietà degli interi, cioè dell'insieme ℤ costituito dai numeri
…, −4, −3, −2, [...] Artin della teoria del corpo di classi. La sua teoria delle forme quadratiche binarie ha condotto alla teoria dei corpi di numeri algebrici e una parte delle sue ricerche sulle congruenze fornisce i primi esempi dell'ipotesi di Riemann per le curve ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] anche macchine di Turing non deterministiche. Si ha così che un linguaggio è in NP se esiste una ricerca in un albero binario di altezza polinomiale che fornisce il risultato. Un tipico problema della classe NP è la soddisfacibilità delle formule ...
Leggi Tutto
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 [...] D-moduli. D'altra parte ci sono problemi, su cui i ricercatori di oggi lavorano o potrebbero farlo, che erano ben conosciuti ai una stringa si pensa come un numero scritto in forma binaria e il linguaggio PRIMO è formato da tutte le stringhe che ...
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 [...] , sia ℑ un'algebra di insiemi su Ω e sia ≥ una relazione binaria su ℑ*, l'algebra delle funzioni indicatrici estese relative a ℑ. Allora l 'alta percentuale di variazione dei fenomeni e quindi la ricerca di modelli più dettagliati è, per molti scopi, ...
Leggi Tutto
Reticoli, analisi dei
Antonio M. Chiesi
Definizione
L'analisi dei reticoli, o network analysis, consiste in un insieme di metodi e tecniche di analisi strutturale che si basano sui seguenti postulati [...] strategica di chi è meglio in grado di fornire informazioni utili alla ricerca di un lavoro, il tipo di legame che intercorre tra l'attore tipo teorico. Il risultato dell'analisi consiste in una matrice binaria n⟨P8>n in cui n è il numero dei ...
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 [...] . Gli anni che seguirono furono rivolti alla ricerca di tale formalizzazione, sotto l'ipotesi che ogni nello stato finale s0 ed è quindi accettata da A. La stringa 1101 (codifica binaria di 13) causa invece le transizioni s′→s1→s0→s0→s1 e non è quindi ...
Leggi Tutto
Simulazione, modelli di
Italo Scardovi
Modelli e simulazioni nella scienza
Secondo l'etimo latino, 'simulare' sta per 'render simile', come vuole la sua derivazione da similis; e tuttavia il verbo ha [...] viene datata al 1944, nell'ambito di un progetto di ricerca sull'atomo (Los Alamos, New Mexico) finalizzato all'impiego prevedibile con una probabilità superiore a 1/10; se è binaria, con una probabilità superiore a 1/2).
Ulteriormente perfezionato ...
Leggi Tutto
Invarianti, Teoria degli
Claudio Procesi
La geometria proiettiva, e le geometrie non euclidee, ebbero un grande impatto sul pensiero algebrico e geometrico del secolo scorso. Le idee scaturite da questa [...] anche il suo atto di morte. La teoria delle forme binarie verrà sempre più dimenticata e solo negli ultimi trent'anni pertanto la risposta è negativa. D'altra parte una lunga serie di ricerche ha messo in evidenza una classe di casi notevoli in cui la ...
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 [...] per lungo tempo uno dei poli di orientamento della ricerca logica mondiale fu la seconda. Privi, a B 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 in ...
Leggi Tutto
gruppo
s. m. [dal germ. kruppa]. – 1. Insieme di più cose o persone, distinte l’una dall’altra, ma riunite insieme in modo da formare un tutto: un g. di case, di persone; un g. di stelle; un g. d’aziende; g. familiare, costituito dai membri...
qubit
s. m. inv. Unità minima di informazione che può essere elaborata da un calcolatore quantistico. ◆ Nei computer del futuro, i bit, gli interruttori che accendendosi e spegnendosi fanno funzionare il microprocessore, potranno essere sostituiti...