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
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
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
Sistemi ambientali e loro componenti ecologiche
Almo Farina
(Museo di Storia Naturale della Lunigiana, Aulla, Massa, Italia)
L'ecologia dei sistemi ambientali (Iandscape ecology) è una disciplina che [...] vengono analizzati con procedure geostatistiche integrate dalla matematica dei frattali. L'ecologia dei sistemi ambientali ecologica puntuale con azioni di progettazione e di programmazione territoriali.
Teorie e modelli incorporati nell'ecologia dei ...
Leggi Tutto
Storie naturali
Stephen C. Stearns
(Zoologisches Institut, Universität Basel, Basilea, Svizzera)
La diversità della vita sulla Terra è anche una diversità di storie naturali. Le piante superiori e gli [...] del ciclo vitale è la programmazione specie-specifica dell'investimento riproduttivo. (1966) e B. Charlesworth (1973) hanno fornito una chiara dimostrazione matematica del modo in cui le pressioni selettive sul tasso di sopravvivenza diminuiscono con ...
Leggi Tutto
Undicesima lettera dell’alfabeto greco (maiuscolo Λ, minuscolo λ), corrispondente alla consonante latina l.
biologia Fago l. Batteriofago che ha come ospite il batterio Escherichia coli. Su di esso sono [...] in grado di descrivere in maniera rigorosa le funzioni matematiche ed è costruito in modo tale che a ogni espressione computazione equivalente alla macchina di Turing. Molti linguaggi di programmazione funzionali, tra cui per es. il LISP, sono ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1981-1990
1981-1990
1981
Il sistema operativo MS-DOS. Tale sistema, realizzato dalla Microsoft e destinato a dominare nel suo settore, è utilizzato per la prima [...] dei modelli minimali in dimensione 3. Nel 1980 il giapponese Shigefumi Mori aveva lanciato il suo famoso 'programma', a cui molti matematici dedicarono il loro lavoro: data una varietà proiettiva liscia di dimensione 3, trovare un numero finito di ...
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 [...] . È realizzata da un gruppo di meteorologi statunitensi guidati dal matematico Johann von Neumann, dell'Institute for Advanced Study di Princeton, utilizzando programmi di calcolo con elaboratori elettronici. Il risultato positivo determina il ...
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...