La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] tecnologica, e svolse un ruolo decisivo nei due progetti che portarono alla costruzione dei primi computer: l'ENIAC (electronicnumericalintegratorand calculator), diretto negli Stati Uniti da John von Neumann (1903-1957), e l'ACE (automatic ...
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 [...] elettronico con tubi termoelettronici, poi noto come Atanasov Berry computer e indicato con la sigla ABC.
Il primo reattore nucleare ed è denominato con la sigla ENIAC (electronicnumericalintegratorand calculator). L'elaboratore usa circa 17.500 ...
Leggi Tutto