logoalt Hacker News

mkoubaayesterday at 4:06 PM1 replyview on HN

An algorithm written in a well specified language with precise semantics might have bugs. A "logical" argument made with natural language is orders of magnitude less precise


Replies

bobson381yesterday at 4:10 PM

What I've always wondered, though, is whether that lack of precision is what allows for meaning to arise in the first place. In the gap between language and - this - .

show 1 reply