Search Results
| Search type | Search syntax |
|---|---|
| Tags | [tag] |
| Exact | "words here" |
| Author |
user:1234 user:me (yours) |
| Score |
score:3 (3+) score:0 (none) |
| Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
| Views | views:250 |
| Code | code:"if (foo != bar)" |
| Sections |
title:apples body:"apples oranges" |
| URL | url:"*.example.com" |
| Saves | in:saves |
| Status |
closed:yes duplicate:no migrated:no wiki:no |
| Types |
is:question is:answer |
| Exclude |
-[tag] -apples |
| For more details on advanced search visit our help page | |
Results tagged with solution-verification
Search options not deleted
user 1317694
For posts looking for feedback or verification of a proposed solution. "Is this proof correct?" or "where is the mistake?" is too broad or missing context. Instead, the question must identify precisely which step in the proof is in doubt, and why so. This should not be the only tag for a question, and should not be used to circumvent site policies regarding duplication.
0
votes
0
answers
56
views
How to Introduce Proof by Contradiction in the 2-Column Format
Proofs by contradiction are quite simple when writing proofs as prose. Make an assumption, derive a contradiction, and prove the assumption is therefore impossible. My question arises from the fact th …
- 295
8
votes
4
answers
1k
views
Disproving surjectivity of $f : \Bbb Z \times \Bbb Z \rightarrow \Bbb Z$, $f(u,v) = 3u + 6v$
A function $f : \Bbb Z \times \Bbb Z \rightarrow \Bbb Z$ is defined as $f(u,v) = 3u + 6v.$
Is the function surjective? Prove it.
I had the following proof.
Proof
Pick $x = 2$, then $3u + 6v = 2 \Right …
- 295
2
votes
1
answer
140
views
Help Revising a 2-Column Proof for Euclid's Elements I.7
This is my working 2-column proof for Book 1 Proposition 7. I would be remiss in saying that this is completely foolproof. One question is how we are to formulate a proof by contradiction within the s …
- 295