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 [...] per elaboratori elettronici contenente 450.000 unità base di calcolo ca. (transistori oppure dispositivi analoghi); all'epoca introdurre DNA estranei nelle piante.
Sequenziato il batteriofago lambda. Viene pubblicata la sequenza completa delle 48.502 ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Cronologia 1420-2013
Vittorio Marchis
Cronologia
1420-2013
Si è scelto di iniziare questa cronologia con la costruzione della cupola di S. Maria del Fiore a Firenze, perché questo evento rappresenta [...] e radioelettrici.
1922
• La Lancia realizza la Lambda, la prima vettura a carrozzeria autoportante.
• Entra guidati da Mario Tchou (1924-1971). Si tratta del primo calcolatore elettronico a uso commerciale prodotto in Italia e del primo ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero - Tecnica (2013)
Cose belle e utili: la nascita del prodotto industriale
Anty Pansera
In Italia, di ‘disegno’ – e di ‘prodotto’ industriale – non si può parlare finché il Paese non vive una realtà industrializzata: [...] sua impresa, sempre caratterizzata dall’innovazione tecnologica: la Lambda (1923) fu, infatti, la prima vettura a produzione di macchine per scrivere, poi da calcolo – le si deve anche il primo calcolatore elettronico italiano, l’Elea 9003, il ...
Leggi Tutto
La scienza bizantina e latina prima dell'influsso della scienza araba. La concezione agostiniana del sapere...
Pasquale Porro
La concezione agostiniana del sapere e la tradizione neoplatonica latina
La [...] qui una corrispondenza naturale tra le operazioni di calcolo e le realtà quantificate (la dimensione quantitativa due lati dell'unità a formare una specie di lettera greca lambda. Tale progressione sta proprio a indicare il passaggio dall'unità alla ...
Leggi Tutto
GRATTON, Livio
Raffaele Gratton
Nacque a Trieste il 30 luglio 1910 da Giulio e Maria Visintini. Orfano di padre a soli due anni, il G. si trasferì a Roma con la madre e i fratelli nel 1920, e vi compì [...] su alcune binarie strette (Breve notizia sullo spettro di Lambda Andromedae, in Mem. della Società astronomica italiana, XVI , prima come libero docente, e poi come professore di calcolo delle probabilità e di astronomia teorica (aveva avuto tra i ...
Leggi Tutto
tipi, teoria dei
Sistema formale che Russell propose all’inizio del 20° sec. al fine di dare una soluzione al problema dei paradossi logici (➔ paradosso). Sia nella forma della teoria dei tipi ramificata [...] al tipo logico immediatamente superiore. Tale locuz. è utilizzata in logica anche con riferimento a particolari calcoli (lambdacalcoli) le cui espressioni (lambda termini) sono classificate in tipi. Ne sono esempi: la teoria dei t. di A. Church; la ...
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 [...] temperatura (in particolare a 2,17K per l’He4), un andamento che ricorda la forma della lettera l.
Matematica
L. calcolo (o λ-calcolo) Sistema formale sviluppato negli anni 1930 da A. Church, con il contributo di S.C. Kleene, allo scopo di studiare ...
Leggi Tutto