3 ms·

Never heard of a mathematical error called a bug before

• hanche 3y ago
  Me neither, but it makes sense to me in the case of an error that is relatively easily corrected. If a proof is fatally flawed, however, I would not use that term.