On ne peut pas aller de l'informel au formel par des moyens formels.
❧
Il y aura toujours des choses que nous aimerions dire dans nos programmes, mais qui ne peuvent être que mal dites avec tous les langages connus.
◆
À lire aussi de Alan Jay Perlis
Les systèmes ont des sous-systèmes, et les sous-systèmes ont des sous-sous-systèmes et ainsi de suite à l'infini - c'est pourquoi nous recommençons toujours de zéro.
Vous ne pouvez pas communiquer la complexité, juste en faire prendre conscience.
Sur une période de 5 ans on trouve un superbe langage de programmation. Mais on ne sait pas quand cette période de 5 ans aura lieu.
Le meilleur livre grand public sur la programmation est «Alice au Pays des Merveilles», mais c'est parce que c'est le meilleur livre pour le profane sur tous les sujets.
Dans la même œuvre
Dans un ordinateur, le langage naturel n'est pas naturel.
Si votre ordinateur parle anglais, il a probablement été fabriqué au Japon.
Quand nous écrivons des programmes qui «apprennent», ce qui arrive c'est que nous apprenons, et eux pas.
La seule théorie constructive liant les neurosciences et la psychologie surviendra de l'étude du logiciel.
L'ordinateur le plus important est celui qui bouillonne dans nos crânes et recherche des émulations extérieures satisfaisantes. La standardisation des ordinateurs réels serait un désastre - donc ça n'arrivera probablement pas.