2019-09-27 Archiv

IThink.

De uiteindelijke betekenis van de informatietechnologie ligt niet in de producten die zij levert maar in de denkwijze die zij ons leert.

Peter J. de Bruin: Stelling 4 behorend bij het proefschrift Inductive Types in Constructive Languages