ממש לא.
אתה מוזמן להמשיך לקרוא. אחדמכותבי המאמר חשב כמוך (בערך) ואפילו ניסה לכתוב ספר שמלמד סטודנטים בצורה פורמלית כזאת. זה לא עבד, בלשון המעטה. ובמילים שלהם:
Programming teachers, being programmers and therefore formalists, are particularly prone to the ‘deductive fallacy’, the notion that there is a rational way in which knowledge can be laid out, through which students should be led step-by-step. One of us even wrote a book which attempted to teach programming via formal reasoning. Expert programmers can justify their programs, he argued, so let’s teach novices to do the same! The novices protested that they didn’t know what counted as a justification, and Bornat was pushed further and further into formal reasoning. After seventeen years or so of futile effort, he was set free by a casual remark of Thomas Green’s, who observed “people don’t learn like that”, introducing him to the notion of inductive, exploratory learning.
אהד.