Mixing
When is something considered to be a mathematical proof? [duplicate]
$begingroup$
This question already has an answer here:
What is a proof?
14 answers
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?
proof-writing soft-question
asked Jan 23 at 19:21
northernernortherner
1253
$endgroup$
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.
add a comment |
$begingroup$
This question already has an answer here:
What is a proof?
14 answers
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?
proof-writing soft-question
asked Jan 23 at 19:21
northernernortherner
1253
$endgroup$
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
add a comment |
$begingroup$
This question already has an answer here:
What is a proof?
14 answers
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?
proof-writing soft-question
asked Jan 23 at 19:21
northernernortherner
1253
$endgroup$
This question already has an answer here:
What is a proof?
14 answers
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?
This question already has an answer here:
What is a proof?
14 answers
proof-writing soft-question
proof-writing soft-question
asked Jan 23 at 19:21
northernernortherner
1253
asked Jan 23 at 19:21
northernernortherner
1253
asked Jan 23 at 19:21
northernernortherner
1253
asked Jan 23 at 19:21
northernernortherner
1253
asked Jan 23 at 19:21
northernernortherner
1253
1253
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.
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
add a comment |
1
$begingroup$
A mathematical proof is so if the community of mathematicians recognise it as such.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 19:36
1
1
$begingroup$
A mathematical proof is so if the community of mathematicians recognise it as such.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 19:36
$begingroup$
A mathematical proof is so if the community of mathematicians recognise it as such.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 19:36
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
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.
Related:
How rigorous must my set theory proof be?
Why is there not a system for computer checking mathematical proofs yet (2018)?
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
$endgroup$
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
add a comment |
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
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.
Related:
How rigorous must my set theory proof be?
Why is there not a system for computer checking mathematical proofs yet (2018)?
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
$endgroup$
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
add a comment |
$begingroup$
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.
Related:
How rigorous must my set theory proof be?
Why is there not a system for computer checking mathematical proofs yet (2018)?
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
$endgroup$
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
add a comment |
$begingroup$
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.
Related:
How rigorous must my set theory proof be?
Why is there not a system for computer checking mathematical proofs yet (2018)?
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
$endgroup$
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.
Related:
How rigorous must my set theory proof be?
Why is there not a system for computer checking mathematical proofs yet (2018)?
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
answered Jan 23 at 19:30
Ethan BolkerEthan Bolker
45k553120
45k553120
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
add a comment |
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
$begingroup$
Thanks, I was going to delete my question but your answer provides interesting information
$endgroup$
– northerner
Jan 24 at 0:47
add a comment |
1
$begingroup$
A mathematical proof is so if the community of mathematicians recognise it as such.
$endgroup$
– Mauro ALLEGRANZA
Jan 23 at 19:36