Per un'analisi politica dell'informatica
di Paola Manacorda

da SAPERE numero 763, agosto 1973

In questo articolo, dopo una breve rassegna delle più diffuse valutazioni sociologiche dell'informatica, si suggeriscono alcuni punti per un'analisi più strettamente politica dell'"informatizzazione" della società. Tali spunti che si discostano dalle più consuete opinioni sull'informatica vogliono rappresentare un invito alla discussione.

Le origini della logica matematica moderna
di Gabriele Lollià

da SAPERE numero 760, maggio 1973

La logica matematica si è formata come disciplina autonoma, caratterizzata dallo studio dei sistemi formali, al termine di una particolare fase di sviluppo della riflessione sui fondamenti della matematica e dell'uso del simbolismo nella logica.