 |
|
You are not logged in! F.A.Q Log in Register |
 |
|
 |
 (nobody)...and 440 guests Last 5 registered Oplandisks nothingstar N_loop yipe foxtrotromeo Browse members... |
 |
Members 8025Messages 2614196 Today 0 Topics 127547 |
|
|||||||||
| |||||||||
|
|
your comment on my induction was incorrect by the way. I don't have to use a different index for the induction than the theorem utilizes. Furthermore the bounds you gave were ass. a thread just for you. |
||||||||
|
|
|||||||||
| |||||||||
|
|
when you're trying to prove induction on n, you can't use the variable n in your inductive step, thats like ignoring scope while coding thanks for being angry about it though |
||||||||
|
|
|||||||||
| |||||||||
|
|
what?! coding was the wrong example to bring up. When you have an identical variable name in a nested scope, that usage shadows the one above. It's pretty standard to do induction that way. For example Thm: for all n in Z^+, (a - b) | (a^n - b ^ n) proof by induction on n. .. base cases.. inductive hypothesis: theorem holds for a given n inductive step: proves n + 1 works using IH .. |
||||||||
|
|
|||||||||
| |||||||||
|
|
I'm not angry about it, simply it's good to be accurate about formal languages. I think there is no ambiguity in using the same variable, and moreover it binds the index clearly to what it is in the theorem. |
||||||||
|
|
|||||||||
| |||||||||
|
|
I have always been taught to use a new variable, say i, and prove for i+1 when using simple induction, or introduce i and j and prove for something I believe it's important, but if you don't think so, thats also fine I was just trying to be smart is all, ppl have to do that sometimes |
||||||||
|
|
|||||||||
| |||||||||
|
|
I think it's very clean because the index obviously has the same domain as the variable you're doing induction over, so step by step you prove the validity of the variable for that value in the domain. It's that correspondence which I find sweet. I don't see it as aiding clarity to make them separate, because I view them as identical. I might read this thread in one year and think "I'm a fucking idiot" sorry I love this kind of debate, I hope you like it too. |
||||||||
|
|
|||||||||
| |||||||||
|
|
sorry, thats something < i < j, prove for j ... damn tags |
||||||||
|
|
|||||||||
| |||||||||
|
|
Yea I am initerested in mathematical syntax debates for sure, this debate could get heavily involved in set theory if you wanted to go there, but I don't know much about it so I wouldnt have very good arguments |
||||||||
|
|
|||||||||
| |||||||||
|
|
let's talk about tits some time too. I started agonizing over bitches recently; it's awful. |
||||||||
|
|
|||||||||
| |||||||||
|
|
man I love a good pair of tits, a natty 36C makes me quiver with delight |
||||||||
|
|
|||||||||
| |||||||||
|
|
I feel sorry for big tits (some C and all of D). They have glory for 5 years and are a burden thereafter. While fucking up that sentence I went through a succession of important female characteristics and somehow came to the conclusion that we need robotic concubines. the end. |
||||||||
|
|
|||||||||
| |||||||||
|
|
hello :) |
||||||||
|
|
|||||||||
| |||||||||
|
|
Bump for baron. I don't think she's as bored as I am. |
||||||||
|
|
|||||||||
| |||||||||
|
|
OH SHIT I BUMPED THE WRONG THREAD. I AM DICKLESS, MANGINALESS |
||||||||
|
|
|||||||||
| |||||||||
|
|
how the fuck do you go from having a mathematical debate to discussing tits? |
||||||||
|
|
|||||||||
| |||||||||
|
|
how the fuck do you bring up a mathematical debate after one day of silence on the topic, and without any goal other than socialization? boredom. |
||||||||
|
|
|||||||||
| |||||||||
|
|
score: sneak attack - 1 xf - 0 |
||||||||
|
|
|||||||||
| |||||||||
|
|
bewwp! |
||||||||
|
|
|||||||||
| |||||||||
|
|
Given the definition of 'breathalizer', I think all males implicitly have a 'breastalizer' function. Immmm stupid! gnight. |
||||||||
|
|
|||||||||
| |||||||||
|
|
|
||||||||
|
|
|||||||||
| |||||||||
|
|
Breasts!!!!1 |
||||||||
|
|
|||||||||
| |||||||||
|
|
quiet, you. |
||||||||
|
|
|||||||||
| |||||||||
|
|
No. No breasts =( |
||||||||
|
|
|||||||||
| |||||||||
|
|
4am, 3624 posts, class tomorrow, retarded! |
||||||||
|
|
|||||||||
| |||||||||
|
|
I have an assignment due tomorrow, time to stay up all night working on it toot toot |
||||||||
|
|
|||||||||
| |||||||||
|
|
I broke 1000 points in 3 years last night! GO ME! love, me |
||||||||
|
|
|||||||||
|
Messageboard index
|
|||||||||
