biblio toscana

Macchine mortali (Mortal Engines) è un film del 2018 diretto da Christian Rivers, al debutto da regista, ambientato in un futuro distopico post apocalittico. La pellicola è l'adattamento cinematografico dell'omonimo romanzo del 2001 di Philip Reeve.

Le macchine anatomiche sono due modelli anatomici dell'apparato circolatorio realizzati nella seconda metà del XVIII secolo usando come base gli scheletri di un uomo e una donna. I due corpi mettono in mostra una posticcia rete di vasi sanguigni la cui fattura è così minuziosa e precisa da essere stata creduta naturale per secoli. Oggi sono esposti nella cappella Sansevero nella città di Napoli.

Il termine macchina designa un insieme di componenti, collegati tra loro, dotati di azionatori, circuiti di comando e connessi solidalmente allo scopo di adempiere un'azione ben determinata, capace di compiere lavoro attraverso una forza di natura diversa da quella degli animali, determinando o potenziando le capacità umane (ad eccezione delle macchine semplici). Esistono macchine di generi molto diversi e costruite per scopi differenti (ad esempio: macchine elettriche, macchine per movimento terra, macchine per trasporto e sollevamento, macchine a fluido).

In informatica una macchina di Turing (o più brevemente MdT) è una macchina ideale che manipola i dati contenuti su un nastro di lunghezza potenzialmente infinita, secondo un insieme prefissato di regole ben definite. In altre parole si tratta di un modello astratto che definisce una macchina in grado di eseguire algoritmi e dotata di un nastro potenzialmente infinito su cui può leggere e/o scrivere dei simboli. Introdotta nel 1936 da Alan Turing come modello di calcolo per dare risposta all'Entscheidungsproblem (problema di decisione) proposto da Hilbert nel suo programma di fondazione formalista della matematica, è un potente strumento teorico che viene largamente usato nella teoria della calcolabilità e nello studio della complessità degli algoritmi, in quanto è di notevole aiuto agli studiosi nel comprendere i limiti del calcolo meccanico; la sua importanza è tale che oggi, per definire in modo formalmente preciso la nozione di algoritmo, si tende a ricondurlo alle elaborazioni effettuabili con macchine di Turing.

La direttiva macchine indica informalmente la direttiva dell'Unione europea 2006/42/CE che si applica a macchine fisse, mobili, trasportabili e di sollevamento/spostamento, anche se alcune macchine restano però escluse dal campo d'applicazione di tale direttiva.