[PLUTO-Journal] Articoli su altri personaggi

[Claudio Cattazzo]

On Thu, Jan 06, 2005 at 03:34:34PM +0100, Francisco Yepes Barrera wrote:
> Visto che si è parlato di Turing, sarebbe possibile approfittare
> dell'occasione per fare una panoramica di quello che i "teoremi di
> proibizione" hanno significato per l'informatica, ai quali Turing ha
> dato un grosso contributo, cominciando dai teoremi di incompletezza di
> Godel e passando per il teorema di Church-Turing e i lavori di Tarski
> e altri. Questi lavori hanno grossissime ricadute nell'informatica
> attuale, nella cibernetica e nell'intelligenza artificiale.

Ho paura che si vada troppo fuori rispetto ai temi consueti del nostro
giornale.
Esiste una via per riportare tutto al Software Libero? :-)


- Claudio