mercoledì 13 gennaio 2016

Infine...

...cos'è la computabilità? Cosa si può trovare nel mondo che vi gira attorno? Questo blog offre degli indizi, degli spunti, per chi volesse approfondire la sua conoscenza riguardo a questa caratteristica.
Dal punto di vista linguistico e concettuale, viene data la definizione, una traduzione in altre lingue, una mappa concettuale e una word cloud. Dal momento che il corso al quale questo blog deve la sua nascita è chiamato Storia delle cose - Anatomia e Antropologia degli oggetti si riportano anche delle cose che sono collegate alla computabilità: un francobollo, un luogo, un testo antico
Ma il termine cose è talmente ampio che vi possiamo inserire anche una tecnica, un brevetto, una macchina utile, tutti facenti parte dell'ambito scientifico al quale la computabilità appartiene, infatti essa si può ritrovare in varie scienze.
Un elemento ricorrente nel blog è il personaggio, genio matematico, di Alan Turing, uomo di cui è inevitabile trattare quando si parla di computabilità, poichè egli ne è il teorizzatore.
Su Turing infatti esiste un insieme di cose che sempre destano l'interesse degli osservatori, dei lettori, degli interessati alla storia moderna e contemporanea; su di lui sono stati scritti libri, tra cui anche un fumetto e sono stati fatti film e qui ne viene riportato uno. 
Nel mondo della cultura, dell'arte e della letteratura, però, la computabilità si può trovare anche nella poesia, in un quadro, in una canzone, in un romanzo, in una favola e addirittura in un'Odissea.
Cambiando punto di vista, potendo parlare di informatica, si è voluto riportare una interessante notizia dal web e una pubblicità un pò vintage, per i nostalgici. 
Fra le varie cose è stata riportata anche una ricetta, incredibilmente, la computabilità, nel suo ampio significato, può arrivare ovunque...!
Per un'aiuto e un approfondimento sono stati inseriti anche una bibliografia, un ABC, e un glossario.


Una cosa...figlia della computabilità.



23. Una favola


 LA PRINCIPESSA INCANTATA

di 
Ludwig Bechstein

"La figlia del re è stata rapita da uno stregone che la tiene prigioniera in un castello pieno di tesori. Chi riuscirà a superare tre prove imposte dallo stregone, sposerà la principessa e diventerà padrone di tutte quelle ricchezze."

Per leggere tutta la favola:

ABC

A...algorithm (algoritmo)

B...bounded (delimitato)

C...complexity (complessità)

D...defined (definito)

E...equivalent (equivalente)

F...formalization (formalizzazione)

G...generalized (generalizzato)

H...halt (arresto)

I...infinite (infinito)

L...learnable (apprendibile)

M...method (metodo)

N...number (numero)

O...output (produzione)

P...problem (problema)

Q...quantification (quantificazione)

R...result (risultato)

S...structure (struttura)

T...theory (teoria)

U...uncountable (innumerevoli)

V...variability (variabilità)

Z...n/d

Glossario

algoritmo procedimento che risolve un determinato problema attraverso un numero finito di passi elementari. 

computabilità - la teoria della computabilità effettiva si occupa della esistenza o meno di algoritmi risolutivi di problemi. Fra i suoi fondatori vi è Alan Turing.

computer - una macchina automatizzata in grado di eseguire complessi calcoli matematici ed eventualmente altri tipi di elaborazione dati.

crittografia - branca della crittologia che tratta delle "scritture nascoste", ovvero dei metodi per rendere un messaggio "offuscato" in modo da non essere comprensibile/intelligibile a persone non autorizzate a leggerlo.
 
macchina di turing -  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.







Bibliografia

V. D'Urbano, Quella vita che ci manca, Milano: Longanesi, 2004

K. Abdolah, Scrittura cuneiforme, Milano: Iperborea, 2011

M. Bozzo, La grande storia del computer, Bari: Dedalo, 1996

A. Hodges, Alan Turing Storia di un enigma, Torino: Bollati Boringhieri Editore, 2014

T. Pettinato, F. Riccioni, ENIGMA La strana vita di Alan Turing, Milano: Rizzoli Lizard, 2012

A.C. Clarke, 2001:Odissea nello spazio, Milano: Longanesi, 1968

N. Stephenson, Cryptonomicon, Milano: Rizzoli, 1999

F. Marcello, P. Dario, La computabilità: algoritmi, logica, calcolatori, Roma: Carocci, 2011


22. Una ricetta

IL BUDINO 

...ALLA VANIGLIA:


Zucchero 100 
Vaniglia 1 bacca 
Latte fresco intero 350 ml  
Panna fresca 200 ml  
Uova 4 tuorli freschissimi  
Colla di pesce 9 g

Per preparare il budino alla vaniglia cominciate mettendo  i fogli di gelatina ad ammorbidire in una ciotola con dell’acqua fredda per 15 minuti. Incidete il baccello di vaniglia a metà e prelevatene i semini sempre aiutandovi con il coltello; in un tegame versate il latte e la panna e aggiungete il baccello di vaniglia e i semini; mettete sul fuoco il tegame e portate lentamente gli ingredienti a sfiorare l’ebollizione. Spegnete il fuoco, filtrate il composto in una ciotola per eliminare il baccello ed eventuali residui, unite quindi i fogli di gelatina, ben strizzati, e mescolate fino a scioglierli completamente. In una ciotola dai bordi alti, versate i tuorli e lo zucchero; con l’aiuto di una frusta amalgamateli e quindi unite, sempre mescolando, il composto liquido di latte e panna. Mettete il composto ottenuto in uno stampo e fate raffreddare in frigorifero per almeno 4 ore prima di servirlo. Quando sarà il momento di sformare il budino, immergete lo stampo per qualche secondo in acqua bollente e poi sformate il budino capovolgendolo su di un piatto da portata.

Di questa ricetta la cosa fondamentale è la quantità della colla di pesce, senza di essa, quando si estrae il budino dallo stampo, questo non assume una consistenza solida, ma al contrario si espande.


Fonti: 
http://ricette.giallozafferano.it/Budino-alla-vaniglia.html 

21. Una tecnica

ALGORITMO GREEDY

Un algoritmo greedy tenta di costruire una soluzione ottima partendo da una soluzione parziale iniziale ed estendendola a poco a poco fino a quando questo non è più possibile. 
Quando l’algoritmo tenta di estendere una soluzione parziale non lo fa considerando tutte le possibili estensioni (che potrebbero essere numerosissime) ma solamente quelle che chiamiamo estensioni locali. Le estensioni locali di una soluzione parziale rappresentano in qualche modo le più piccole estensioni possibili e sono relativamente poche. Fra tutte le estensioni locali l’algoritmo sceglie la più conveniente. Ovvero quella estensione che sembra, almeno localmente, la più promettente per raggiungere una soluzione ottima.



Fonti:

 

 

martedì 12 gennaio 2016

20. Un'opera d'arte

779 Verso l'alto, Tobia Ravà, 2003

Fonti:
http://www.tobiarava.com/ 

18. Una canzone


Pocket Calculator 
brano musicale dei Kraftwerk, pubblicato nel 1981.

Per la registrazione del brano i Kraftwerk hanno utilizzato degli strumenti musicali portatili ed una calcolatrice con suoni per inserire nel brano anche gli effetti sonori dovuti alla pressione dei tasti.  


Fonti:

19. Un romanzo

Neal Stephenson, Cryptonomicon, 1999

Nomine: Premio Prometheus, Premio Hugo per il miglior romanzo, Premio Arthur C. Clarke
 
 
 
 
Fonti: 

17. Un film

The Imitation Game, USA, 2014, regia di Morten Tyldum.


Fonti:
https://it.wikipedia.org/wiki/The_Imitation_Game 
http://www.culturaeculture.it/cultura/alan-turing-storia-di-un-enigma-libro-recensione-62647/

16. Computabilità nelle scienze...

Biologia - il calcolo delle leggi che definiscono l'esistenza degli esseri viventi.

Astronomia - il calcolo delle leggi che definiscono l'universo, la ricerca della quantificabilità delle entità astronomiche.

Matematica - il calcolo matematico.

Chimica - il calcolo delle leggi che definiscono i processi chimici.

Fisiologia - il calcolo delle leggi che definiscono il funzionamento vitale degli esseri viventi animali e vegetali, in condizioni normali.

Antropologia - la quantificazione dei  tipi e gli aspetti umani soprattutto dal punto di vista morfologico, fisiologico, psicologico.

Meteorologia - il calcolo delle leggi che determinano fenomeni atmosferici dal punto di vista fisico, chimico e dinamico.

Economia -  la quantificazione delle risorse di un Paese, la gestione attraverso regole matematiche.

Archeologia - la quantificazione delle testimonanze archeologiche.

Anatomia - la numerabilità delle caratteristiche degli esseri viventi.

Psicologia - la quantificazione dei meccanismi mentali.

Sociologia - la quantificazione dei fatti sociali.

Mineralogia - calcolo delle leggi che definiscono le proprietà morfologiche, chimiche e strutturali dei minerali; la quantificazione dei diversi minerali.


Linguistica - la numerabilità dei diversi alfabeti, delle diverse regole linguistiche.

Informatica - il calcolo degli algoritmi.

Zoologia - la quantificazione delle spiecie animali.

Etologia - nella disciplina biologica fondata la K.Lorenz (1903-1989), la quantificazione delle abitudini e i costumi degli animali, e l'adattamento delle piante all'ambiente.

Ecologia - la quantificazione dell'impatto che hanno l'uomo, gli animali e i vegetali sull'ambiente in cui vivono.
 

15. Notizia

 Solu

 

Il computer più piccolo del mondo si chiama Solu 

di Dario Marchetti

18/10/2015


Appena lanciato su Kickstarter, questo micro pc ridefinisce il concetto di personal computer, puntando tutto sul cloud e sul lavoro condiviso tra più utenti.
Questo micropc di 10cm per lato e appena un centimetro di spessore, realizzato interamente in legno, nasconde al suo interno SoluOS, un sistema operativo pensato appositamente per l’era del cloud: tutti i contenuti memorizzati su Solu, che ha una memoria da appena 32GB, vengono automaticamente sincronizzati con i server dell’azienda produttrice, impostazioni e password comprese. L’idea è quella di eliminare ogni preoccupazione riguardante i file e la loro condivisione, visto che il sistema fa tutto da sé, senza bisogno di creare account, o scaricare applicazioni: aggiornamenti e upgrade avvengono in automatico e i programmi si pagano in abbonamento, mese dopo mese. Un po’ come succede per Netflix e Spotify. 
Innovativa anche l’interfaccia: invece delle classiche cartelle e finestre, la schermata di SoluOS riprende la struttura delle reti neurali umane, con una serie di “bolle” collegate tra loro. Per scegliere un file basta zoomare verso il punto desiderato e aprirlo, senza dover navigare tra menu e cartelle ad albero. La parte superiore di Solu infatti è un touchscreen a tutti gli effetti, da utilizzare in autonomia quando si è in giro o come mouse quando si collega il pc a uno schermo e una tastiera, attraverso Bluetooth e porte USB di tipo C.
Fonti:

14. Un brevetto



DITTA INTERNATIONAL COMPUTERS 
AND TABULATORS LIMITED


descrizione  APPARECCHI SCIENTIFICI, APPARECCHI ELETTRICI ED ELETTRONICI ECC.

data deposito  10/06/1959

data registrazione  20/10/1960

citta  MILANO

citta (originale)  MILANO

provincia  MILANO

provincia (originale)  MI

stato  ITALIA

stato (originale)  ITALIA

provincia di presentazione  MILANO

provincia di presentazione (originale)  CAMERA DI COMMERCIO DI MILANO

n.reg.Generale  151228

Fonti: 

13. Nell'Odissea del virtuale

HAL9000
"Nessun calcolatore 9000 ha mai commesso un errore o alterato un'informazione. Noi siamo, senza possibili eccezioni di sorta, a prova di errore, e incapaci di sbagliare." - HAL9000
da  
2001:Odissea nello spazio,
Stanley Kubrick, 1968.
In questo lungometraggio di fantascienza l'intelligenza artificiale HALL9000 è reso protagonista di una sorta di evoluzione, per certi versi terrificante, dell'intelligenza artificiale: l'assunzione di emozioni. Esso infatti è stato creato per essere un calcolatore infallibile, ma nonostante questo, commette un errore che provoca una catena di eventi alla fine della quale la super-macchima viene disabilitata ed è in quest'ultimo atto che emerge la paura di HALL9000, la paura di morire, e lentamete le sue facoltà intellettive regrediscono fino ad un macabro infantilismo.

Fonti:
https://it.wikipedia.org/wiki/2001:_Odissea_nello_spazio 
https://it.wikipedia.org/wiki/HAL_9000