This question already has an answer here:

What exactly is a mathetmatical proof? From this question it's clear it doesn't require any special symbols.

From a question on another sites

[Computer] Viruses have no “cure.” It’s been mathematically proven that it is always possible to write a virus that any existing antivirus program can’t stop." [0]

[0] Secrets & Lies. Bruce Schneier. Page 154

In these contexts what does it even mean to be mathematically proven? Does it just mean logic was used?


marked as duplicate by Lord Shark the Unknown, Blue, Ethan Bolker, Namaste, Cesareo Jan 24 at 0:17

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

  • 1
    $\begingroup$ A mathematical proof is so if the community of mathematicians recognise it as such. $\endgroup$ – Mauro ALLEGRANZA Jan 23 at 19:36

A mathematical proof is a logical argument that proceeds from some assumptions to some conclusions. Symbols are not necessary. In my opinion, good proofs rely on words as much as possible, use symbols only when necessary.

The question you link to

Has it been mathematically proven that antivirus can't detect all viruses?

has an answer that says the answer is "yes" if you accept a certain precisely stated set of assumptions and define "detect" precisely. Whether those assumptions capture the everyday meaning of "detect a computer virus" isn't a mathematical question.


How rigorous must my set theory proof be?

Why is there not a system for computer checking mathematical proofs yet (2018)?

  • $\begingroup$ Thanks, I was going to delete my question but your answer provides interesting information $\endgroup$ – northerner Jan 24 at 0:47

Not the answer you're looking for? Browse other questions tagged or ask your own question.