update

programmer permet de montrer que l'on connait.md

@@ -0,0 +1,21 @@
+up:: [[connaissance]]
+author:: [[Alan Perlis]]
+#informatique #philosphie #citation 
+
+
+> [!cite]+ [Special Feature: Epigrams on programming](zotero://select/groups/5383243/items/WCBTJR4H) - [Page 7](zotero://open-pdf/groups/5383243/items/E4IWF2MD?page=7&annotation=YP4AULVD)
+> You think you know when you learn, are more sure when you can write, even more when you can teach, but certain when you can program.
+> ^YP4AULVDaE4IWF2MDg5383243p7
+
+# Reflexions personnelles
+"Si on peut programmer quelque chose, alors on est sûr que l'on connaît véritablement cette chose."
+
+Indices pour savoir si on [[connaissance|connaît]] effectivement quelque chose :
+- on pense connaitre si on a appris
+- on en est un peu plus sûr si on peut l'écrire
+- on en est assez sûr si on peut l'enseigner
+- on en est certain lorsque l'on peut le programmer
+
+Ces indices passent tous par le fait de produire une description de cette connaissance, mais de différentes manières.
+Comme un programme est une description sans ambiguité, alors programmer quelque chose nécessite de connaitre cette chose sans ambiguités.
+