Commenti a: Ricorsione, sost.: vedi Ricorsione. https://atlog.it/blog/archives/59 ...stronger than before Tue, 03 May 2016 13:32:12 +0000 hourly 1 https://wordpress.org/?v=6.6.2 Di: Riccardo https://atlog.it/blog/archives/59#comment-47 Mon, 03 May 2010 14:35:15 +0000 http://timeisntonmyside.wordpress.com/?p=59#comment-47 Io getto la spugna… ho capito che un file del genere mi farebbe incazzare non poco…

]]> Di: aspirantelogico https://atlog.it/blog/archives/59#comment-46 Mon, 03 May 2010 07:43:57 +0000 http://timeisntonmyside.wordpress.com/?p=59#comment-46 Anche io… e cio’ e’ tragico.
Tuttavia nulla mi impedisce di guardarmi questo video.

http://www.bastardidentro.it/node/view/33833

]]> Di: omega1ck https://atlog.it/blog/archives/59#comment-45 Sun, 02 May 2010 13:29:39 +0000 http://timeisntonmyside.wordpress.com/?p=59#comment-45 In risposta a aspirantelogico.

In effetti c’è un legame strettissimo tra informatica e logica, ma purtroppo ne so troppo poco per poterne scrivere con cognizione di causa.

]]> Di: aspirantelogico https://atlog.it/blog/archives/59#comment-44 Sun, 02 May 2010 10:11:52 +0000 http://timeisntonmyside.wordpress.com/?p=59#comment-44 Mi piace sempre vedere come la teoria degli insiemi (e quindi, per ora, la logica) e l’informatica siano cosi’ intimamente fuse. Sono talmente fuse che alcuni informatici arrivano a vedere l’una, l’informatica, come concreta manifestazione dell’altra, la logica. E sull’onda di questa sovrapposizione non credono nell’assioma della scelta, perche’ appunto la macchina non puo’ “scegliere”. Secondo me e’ un punto di vista molto interessante.

Detto questo, voglio concludere con due commenti.
Il primo. Non toccatemi l’assioma di estensionalita’ o non mi vengono piu’ i conti.
Il secondo. Se i file zip sono cosi’ problematici, usa winrar!

]]>