3 ms·
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
by mkoubaa 9mo ago
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