La grande scienza. Cronologia scientifica: 1991-2000
1991-2000
1991
Il sistema operativo Linux. Uno studente finlandese, Linus Torvalds, sviluppa il sistema operativo Linux. Il sistema può essere distribuito, [...] trovare ed eliminare velocemente gli errori di programmazione. Oltre a essere distribuito da varie compagnie, Linux può non si è ancora in grado di individuare la natura di questi oggetti.
Il primo laser atomico. Un gruppo di fisici del MIT, guidato ...
Leggi Tutto
La scienza presso le civilta precolombiane. La natura della conoscenza e delle pratiche scientifiche nella civilta inca
Gary Urton
Jean-François Genotte
La natura della conoscenza e delle pratiche [...] forme di oggetti diversi (per es., ponti, magazzini, e croci di varie forme). Alcune costellazioni stella-a-stella erano delle risorse, come pure l'osservanza di esigenze di programmazione in vista del loro sfruttamento ottimale.
L'agricoltura è ...
Leggi Tutto
La grande scienza. Combinatoria
Peter J. Cameron
Combinatoria
Secondo alcuni la combinatoria costituisce soltanto una parte della matematica, secondo altri essa non rappresenta una branca separata, [...] dimostrò che una soluzione è possibile se e soltanto se n è congruo a 1 o 3 mod 6; un insieme soluzione contiene esattamente n(n−1 programmi per i computer e i linguaggi di programmazione hanno subito una grande evoluzione, e ora un oggetto algebrico ...
Leggi Tutto
Dimostrazione, teoria della
Jean-Yves Girard
La teoria della dimostrazione nasce negli anni Venti del Novecento come strumento di realizzazione del programma di David Hilbert per la fondazione della [...] un lavoro sistematico volto a chiarire in generale la natura e i limiti dei programmi riduzionisti e anche come l'insieme degli oggetti che godono di B. La sostituzione di un termine T={x∣B} a X in A, che indicheremo con A[T/X], consiste nel ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. L'economia matematica 1870-1950
Angelo Guerraggio
L'economia matematica 1870-1950
Di matematica sociale comincia a parlare Condorcet nella Francia [...] meccanica quantistica e anche la matematica si è trasformata. Gli 'oggetti' sui quali essa riflette non vengono più considerati in base di programmazione. Il suo metodo del simplesso risale all'estate 1947 e nell'autunno egli lo presenta a von ...
Leggi Tutto
logica matematica
Walter Maraschini
Simboli per ragionare correttamente
Quando due amici discutono non sempre sono d’accordo: possono avere intenzioni e gusti diversi, oppure opinioni contrastanti sul [...] A e B. La logica formale è detta perciò anche logica simbolica: con i simboli sono espressi i suoi ‘oggetti’ alla base del funzionamento dei moderni computer (linguaggi di programmazione).
La logica dei proverbi
I proverbi sono sentenze popolari ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] per la formulazione e lo studio di linguaggi di programmazione. L’idea alla base delle diverse formulazioni è quella oggetti termini quozientati rispetto a opportune relazioni di equivalenza definite a partire dalle regole di riscrittura. Centrali a ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] con un calcolatore elettronico: v. linguaggi di programmazione. ◆ [ELT] [INF] L. algebrico: v. base di dati: I 343 a. ◆ [ELT] [INF] L. contestuale, le proposizioni, individuali per denotare gli oggetti, predicative per denotare gli attributi, ...
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 [...] programmazione di alto livello, dove il programmatore non è tenuto a conoscere i dettagli di funzionamento della macchina che esegue i programmi sulla teoria delle distribuzioni. Oltre a inquadrare formalmente oggetti come la δ di Dirac, che ...
Leggi Tutto
La Rivoluzione scientifica: luoghi e forme della conoscenza. Universita e ordini religiosi
Florence C.Hsia
Antonella Romano
Università e ordini religiosi
La retorica incentrata sull'idea di riforma [...] farsi visitare da medici specialistici, per esaminare la vasta gamma di oggetti in vendita, oppure per ottenere l'indirizzo di un insegnante. . L'analisi dei programmi e delle pratiche d'insegnamento dei vari collegi, a cominciare dal Collegio Romano ...
Leggi Tutto
oggetto
oggètto s. m. [dal lat. mediev. obiectum, neutro sostantivato di obiectus, part. pass. di obicĕre «porre innanzi»; propr. «ciò che è posto innanzi (al pensiero o alla vista)»]. – 1. In filosofia, ogni cosa che il soggetto percepisce...
memòria s. f. [dal lat. memoria, der. di memor -ŏris «memore»]. – 1. a. In generale, la capacità, comune a molti organismi, di conservare traccia più o meno completa e duratura degli stimoli esterni sperimentati e delle relative risposte. In...