Long division verified via Hoare logic

Post by Discordian93 » Thu, Feb 27, 2025, 10:36 PM UTC

CaptainNegative wrote: post #26

Not specific to this article, but it's tragic that computer science curricula, and discussions of these algorithms, virtually never highlight the tight connection between binary search and long division. Long division done in binary is exactly binary search for the correct quotient, with the number written above the line (plus some implicit zeros) being the best lower bound proven thus far. Similarly, division done i…

Post by chihuahua » Fri, Feb 28, 2025, 5:18 PM UTC

copperx wrote: post #53

chihuahua wrote: post #39

Earlier quoted context omitted.

I studied "Mathematics and Computation" there in 89-92 because they seemed to think that "computation" was a fad that was probably going away, so you couldn't let people study just "Computation". There was a certain amount of formal methods, but only in a perfunctory manner, as if to satisfy an inconvenient requirement. Some functional programming, but in an extremely shallow way. Overall, I did not learn a single us…

Just a heads up. > I followed this up with Ph.D. in Computer Science somewhere else, which was also a complete waste of time. It has been shown this form of thinking results in depression.