QUOTE(Elnendil @ Oct 9 2010, 07:27 PM)

Even definitions have proofs. I'm going to drop this since its going nowhere.
Definitions can't have proofs. Proofs are for statements, and are based off assumptions. Definitions are just notation, a shorthand for a property or set of properties. It's like proving that 1+1 = 2. The definition of 2 is 1 + 1. You can't prove anything about 2 until you already know what that symbol means, and what it means is 1+1. So you can't prove 1+1 = 2.
What you can do is prove that different definitions are EQUIVALENT. If you have property X with the name N (i.e. N is defined as "has property X"), and you prove that property X holds if and only if property Y holds, then Y is also a valid definition for N. But again, you have to have a definition to prove that other things are equivalent to it.
You'll have to be more precise with your language. I still don't know what you're trying to say.
QUOTE(Elnendil @ Oct 9 2010, 07:27 PM)

I know why Sinx/Cosx=Tanx, and most identities can be derived from them.
I can't say I do. I know things ABOUT the trigonometric functions, but I don't know what can be used as the definition of them, so I can't say that that's a proof. (I guess we can use SohCahToa as the definition, now that I think about it.)
QUOTE(Elnendil @ Oct 9 2010, 07:27 PM)

This is going nowhere. All i'm getting is aggravated, because i'm making some examples and you either dismiss them without much thought or you say that me saying something doesn't mean anything when it does (A definition has a proof). It would be better for me to just look at the book and ask questions.
EDIT: Just to clarify, i'm saying that I feel like I don't know enough, and just saying no isn't helping with my supposedly wrong reasoning, so its better to just drop this and I go study more.
I'm NOT dismissing anything. I'm trying to figure out WHAT YOU'RE TRYING TO SAY, because what you're saying doesn't make sense to me in the literal sense, but I'm not sure if it's because you don't know the notation that I'm used to. I'm trying to eliminate possibilities.
QUOTE(Hayate @ Oct 10 2010, 01:05 AM)

I want to fucking kill my comp. sci. professor for being the biggest dumbass ever.
So basically he wants us to make this Action RPG in Java that is executed only from a GUI. Among a number of tedious and unnecessary tasks he wants us to do to add onto what we've already done on this project, he wants us to make a shit-ton of JPanels. Unfortunately, nobody really knows how to work with them because he forgot to post the lab where we were supposed to learn about them. He's also missed a lecture and on the one day we had to hear him explain this, he doesn't actually instruct us—no, he tells us to go and look it up. SO, WHAT WAS OUR TUITION GOING TOWARDS, AGAIN? PROFESSORS THAT TEACH US STUFF? THANKS DUDE.
I just sent him a three-paragraph email asking why separating JPanels into separate classes (which he wants us to do) doesn't work, because every time I try using code for one of my JPanel classes in my main GUI structure class, it comes up blank. Oh, and this is due tomorrow night.
Also he wants a high score panel. Last I checked, RPGs didn't have high scores.
Yo.