What symbol do you use (in proofs) for contradiction?

For the discussion of math. Duh.

Moderators: gmalivuk, Prelates, Moderators General

What symbol do you use for contradiction?

Nothing, just the word "contradiction"
20
43%
Downward zigzag or lightning bolt (\blitza)
11
23%
Head-butting arrows (\Rightarrow\Leftarrow)
5
11%
Perpendicular lines (\bot or \odplus)
2
4%
Struck-out arrows (\nleftrightarrow)
1
2%
That splat thingie (\textreferencemark)
2
4%
Something Else
6
13%
 
Total votes : 47

What symbol do you use (in proofs) for contradiction?

Postby szarka » Sat Dec 08, 2007 4:43 pm UTC

What symbol, if any, do you use to express contradiction when writing proofs? (The Comprehensive LaTeX Symbol List shows several alternatives on p.19 and suggests that there's no consensus.)
Last edited by szarka on Sun Dec 09, 2007 5:49 am UTC, edited 1 time in total.
szarka
 
Posts: 33
Joined: Mon Sep 24, 2007 9:45 pm UTC
Location: Spaceship Earth

Re: What symbol do you use (in proofs) for contradiction?

Postby SimonM » Sat Dec 08, 2007 5:06 pm UTC

I find it easier to see whats going on when a few words are used. Hence I use the word "contradiction"
mosc wrote:How did you LEARN, exactly, to suck?
User avatar
SimonM
 
Posts: 280
Joined: Sat Jul 21, 2007 4:49 pm UTC
Location: Guernsey, CI

Re: What symbol do you use (in proofs) for contradiction?

Postby crazyjimbo » Sat Dec 08, 2007 6:36 pm UTC

If I'm going symbolically I use a # like symbol ( \varhash in LaTeX ). I try to use words as much as possible though.
User avatar
crazyjimbo
 
Posts: 887
Joined: Fri Apr 20, 2007 11:45 pm UTC
Location: Durham, England

Re: What symbol do you use (in proofs) for contradiction?

Postby Torn Apart By Dingos » Sat Dec 08, 2007 6:36 pm UTC

I use \bot when I write stuff by hand for myself. Otherwise I just write out "Contradiction.". I've started to use \blitza a little though, because it looks cool.
User avatar
Torn Apart By Dingos
 
Posts: 817
Joined: Thu Aug 03, 2006 2:27 am UTC

Re: What symbol do you use (in proofs) for contradiction?

Postby szarka » Sun Dec 09, 2007 5:50 am UTC

Argh! I edited the poll to add a "something else" category and it reset everything. Bug or feature? Hard to say...

Anyway, I usually just use words, but my analysis prof may have converted me to the head-butting arrow thingie...
szarka
 
Posts: 33
Joined: Mon Sep 24, 2007 9:45 pm UTC
Location: Spaceship Earth

Re: What symbol do you use (in proofs) for contradiction?

Postby McHell » Tue Dec 11, 2007 2:00 pm UTC

Any symbol usage should refer to blackboard maths (and by extension, written exam paper maths).

If you follow proper math paper writing standards (e.g. [our lord] D. Knuth's stanford CS course on math writing) for a course book or reviewed paper: you arrive to the contradiction and then finish by a sentence pointing out how this is a contradiction.

So in BB maths it's clear writing "contradiction!" or "$\blitza$ is equivalent, hence the second in preferable if either (a) the *whole* audience knows what it stands for or (b) you make it clear in words, while writing the squiggle, that it stands for a contradiction (so you do orally what the written math version prescribes).
User avatar
McHell
 
Posts: 318
Joined: Fri Jun 22, 2007 12:52 pm UTC
Location: Ellowen Deeowen

Re: What symbol do you use (in proofs) for contradiction?

Postby 3.14159265... » Tue Dec 11, 2007 8:11 pm UTC

Lightening bolty thingie.

Tis awsomes.

My analysis teacher, uses its. I likes.
"The best times in life are the ones when you can genuinely add a "Bwa" to your "ha""- Chris Hastings
User avatar
3.14159265...
Irrational (?)
 
Posts: 2413
Joined: Thu Jan 18, 2007 12:05 am UTC
Location: Ajax, Canada

Re: What symbol do you use (in proofs) for contradiction?

Postby ICDB » Wed Dec 12, 2007 3:17 am UTC

I just wrote it out, but I think I'll try some of these. They're cool!
ICDB
 
Posts: 198
Joined: Mon Jun 04, 2007 3:34 am UTC

Re: What symbol do you use (in proofs) for contradiction?

Postby mudge » Thu Dec 13, 2007 11:05 am UTC

I actually know of someone with the \blitza tattooed on them.

I however, usually use the headbutting arrows. The blitza is cooler, but the arrows were what I learned, and seem to make the most sense to me (It's like two implications colliding!)
http://www.cdbaby.com/cd/mudge <-- buy my CD (Now back in stock!)
User avatar
mudge
 
Posts: 292
Joined: Sun Sep 30, 2007 10:14 pm UTC
Location: Chicago

Re: What symbol do you use (in proofs) for contradiction?

Postby You, sir, name? » Sat Dec 15, 2007 1:57 pm UTC

I usually go for

"_|_ Contradiction!"

It may be a bit of a superfluous redundancy, but it does cover all bases.
I now occasionally update my rarely-updated blog.

I edit my posts a lot and sometimes the words wrong order words appear in sentences get messed up.
User avatar
You, sir, name?
 
Posts: 6636
Joined: Sun Apr 22, 2007 10:07 am UTC
Location: Chako Paul City

Re: What symbol do you use (in proofs) for contradiction?

Postby Ended » Sat Dec 15, 2007 2:52 pm UTC

I use # for contradiction. Also, unless it's really obvious, I try to write '# of linear independence of the en' or whatever. I think just writing 'contradiction kthxbye', without explaining exactly what is being contradicted, is annoying for someone reading your work (not least when you go back to read it yourself).
Generally I try to make myself do things I instinctively avoid, in case they are awesome.
-dubsola
Ended
 
Posts: 1459
Joined: Fri Apr 20, 2007 3:27 pm UTC
Location: The Tower of Flints. (Also known as: England.)

Re: What symbol do you use (in proofs) for contradiction?

Postby szarka » Mon Dec 24, 2007 6:49 am UTC

My analysis prof calls the head-butting arrow thingie "Bulgarian contradiction". I think that's in honor of another prof at my school who uses it, but I'm never sure. Like many truly funny people, it's sometimes difficult to know when he's joking...
szarka
 
Posts: 33
Joined: Mon Sep 24, 2007 9:45 pm UTC
Location: Spaceship Earth


Return to Mathematics

Who is online

Users browsing this forum: No registered users and 14 guests