Hacker News: throwaway587468https://news.ycombinator.com/user?id=throwaway587468Hacker News RSShttps://hnrss.org/hnrss v2.1.1Mon, 06 Apr 2026 05:21:10 +0000<![CDATA[New comment by throwaway587468 in "Dijkstra On the foolishness of "natural language programming""]]>The problem you’re referring to arose precisely due to lack of formalism. It was a problem back when mathematicians were toying with naive set theory, one not based on axioms, but instead on intuitive terminology. Moving to axiomatic, more formal, set theory solved it.

]]>Thu, 03 Apr 2025 15:35:32 +0000https://news.ycombinator.com/item?id=43571252throwaway587468https://news.ycombinator.com/item?id=43571252https://news.ycombinator.com/item?id=43571252