kevinsullivan / cs6501s23

Formal Mathematics for Software Design
6 stars 6 forks source link

1.1.3. A Path Forward - Clarity #9

Open sm4sa opened 1 year ago

sm4sa commented 1 year ago

"Perhaps the most fundamental reason is that math has up until recently been a quasi-formal, paper-and-pencil exercise, making it, hard even impossible, to connect code to such mathematics."

Sentence structure might be changed to "Perhaps the most fundamental reason is that math has up until recently been a quasi-formal, paper-and-pencil exercise making it hard, even impossible, to connect code to such mathematics." for clarity.