La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] per la sua logica, che permette di dimostrare che un programma è corretto, nel senso che rispetta le relazioni tra . Il sovietico Yuri V. Matiyasevic, dell'Istituto di matematica Steklov dell'Università di Leningrado, dimostra che il X problema ...
Leggi Tutto
Natura e cultura nel linguaggio
Elizabeth Bates
(Center for Research in Language, University of California San Diego, California, USA)
In questo saggio vengono discussi la struttura, le origini, lo sviluppo [...] pesantemente costretto dai limiti della memoria, della percezione e della programmazione motoria. La logica e la grammatica non sono date nel arrivi sulla Terra sapendo tutto di fisica e matematica, armato di elaboratori che potrebbero accedere a ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] in larga misura formali come le scienze dei sistemi e della programmazione, le teorie della decisione e dei giochi e la logica dell grafici a 104 anni fa; i primordi dei metodi matematici e astronomici a 103 anni fa; ad appena qualche secolo ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] lavori è noto come teoria KAM, dalle iniziali dei nomi dei matematici che l'hanno ideata.
Il linguaggio FORTRAN. Nasce in questo anno (CLOS), una versione di Common lisp basata sulla programmazione a oggetti.
Soluzione del problema di Post. Nel ...
Leggi Tutto
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, [...] Misure di irrazionalità per π, ζ(2) e ζ(3). Il matematico giapponese Masayoshi Hata ottiene la migliore maggiorazione tutt'oggi nota per la spaziale statunitense Deep Space 1. Si tratta del primo programma spaziale della NASA per il XXI sec. e ha ...
Leggi Tutto
Probabilità
Gian-Carlo Rota e Joseph P.S. Kung
*La voce enciclopedica Probabilità è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un contributo di Marco Li Calzi.
sommario: 1. Introduzione. [...] Poisson. - Lo spazio campione di Poisson fornisce una base matematica formale allo studio di fenomeni di vario tipo, quali ad mediante i precedenti, o come la lunghezza della ‛programmazione' ricorsiva più piccola dell'n-esimo termine mediante ...
Leggi Tutto
Università
Roberto Moscati
Origine ed evoluzione di una istituzione europea
L'università nel Medioevo
L'università rappresenta una delle istituzioni più importanti che la società moderna ha ereditato [...] insegnate le sole competenze teoriche quali la matematica (compresa nel vecchio quadrivium). Queste guide per la valutazione' o a fornire modelli per la valutazione di programmi di studio o di politiche di ammissione. Si tratta di esempi di ...
Leggi Tutto
Epistemologia
VVincenzo Cappelletti
di Vincenzo Cappelletti
Epistemologia
Sommario: 1. Dalla gnoseologia all'epistemologia. 2. Il mentale tra il soggettivo e l'oggettivo. 3. La scienza del secondo Novecento [...] seconda metà dei Novecento, e cerca di coinvolgere nei suoi programmi di rilevamento e riordinamento, metodologici ed assiomatici, le scienze umane e sociali dopo la fisica, la matematica e la biologia. L'interesse epistemologico, d'altra parte, è ...
Leggi Tutto
L'Io cosciente: una visione neuroeuristica della mente
Alessandro E.P. Villa
(Laboratoire de Neuro-heuristique, Institut de Physiologie, Université de Lausanne, Losanna, Svizzera)
John G. Taylor
(Centre [...] che il cervello compie. Si capisce che stiamo proponendo un programma di lavoro per il futuro, ma torniamo ora al complessità tale da non poter essere facilmente descritta in termini matematici o logici. Per questo motivo non ci sembra possibile ...
Leggi Tutto
MACCHINE
Vittorio Marchis e Marcella Corsi
Storia della tecnologia
di Vittorio Marchis
Definizioni e classificazione
Si definisce macchina un complesso di elementi fissi e mobili, vincolati cinematicamente, [...] macchina modificabile nelle funzioni per mezzo di un 'programma' numerico registrato nella memoria della macchina stessa si York 1964 (tr. it.: La mente, le macchine e la matematica, Torino 1968).
Ashton, T.S., The industrial revolution. 1760-1830 ...
Leggi Tutto
programma
s. m. [dal lat. tardo programma -mătis, gr. πρόγραμμα -ματος, der. di προγράϕω, propr. «scrivere prima»] (pl. -i). – 1. Enunciazione particolareggiata, verbale o scritta, di ciò che si vuole fare, d’una linea di condotta da seguire,...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...