Proofs in Math Class

This is a discussion on Proofs in Math Class within the A Brief History of Cprogramming.com forums, part of the Community Boards category; AAAAARRRRRRRRGGGGGGGGHHHHHHH!!!!!!!!!!! Proofs in math are dumb and sensles, thought up only to anoy the hell out of the students!!!!! All ...

  1. #1
    I hate Sinus infections
    Join Date
    Nov 2002
    Posts
    181

    Angry Proofs in Math Class

    AAAAARRRRRRRRGGGGGGGGHHHHHHH!!!!!!!!!!!
    Proofs in math are dumb and sensles, thought up only to anoy the hell out of the students!!!!!
    All they are are common sense!!!!
    #### them, #### on them
    im already tearing my hair out, and i got the rest of the friggen year of them!!!!!!
    The only good thing about freezing beyond feeling in the final Nordic ski race was that I couldn't feel that tumble I did going about 30 mph, maybe more.
    On the other hand, not feeling any part of my body for 30 minutes was scary, especialy for my manhood.

    Windoze: XP, hate it, though its more stable than my old 98SE
    Dream: linux, mandrake, then slackware.

  2. #2
    Registered User hk_mp5kpdw's Avatar
    Join Date
    Jan 2002
    Location
    Northern Virginia/Washington DC Metropolitan Area
    Posts
    3,801
    I took a Modern Algebra class in college that I ended up hating. I thought to myself, "Where's the math? I don't see any math!" It was all about things called "groups" and "rings" and proving whether or not crap was "abellian" or "non-abellian"(?). I was completely lost in that class. My multivariable calculus class was a breeze compared to that.
    "Owners of dogs will have noticed that, if you provide them with food and water and shelter and affection, they will think you are god. Whereas owners of cats are compelled to realize that, if you provide them with food and water and shelter and affection, they draw the conclusion that they are gods."
    -Christopher Hitchens

  3. #3
    Microsoft. Who? MethodMan's Avatar
    Join Date
    Mar 2002
    Posts
    1,198
    People usually dont like math until they see some real applications for it, until then it just seems like nonsense.

    I agree some of it can get boring, when they are proving stuff and you have no idea why. I guess you will just have to live with it.
    -MethodMan-

    Your Move:Life is a game, Play it; Life is a challenge, Meet it; Life is an opportunity, capture it.

    Homepage: http://www.freewebs.com/andy_moog/home.html

  4. #4
    Registered User
    Join Date
    Sep 2002
    Posts
    1,640
    Originally posted by MethodMan
    People usually dont like math until they see some real applications for it
    That's the same as wanting to make a game but not want
    to undergo many hours programming for it.

  5. #5
    Microsoft. Who? MethodMan's Avatar
    Join Date
    Mar 2002
    Posts
    1,198
    Originally posted by Travis Dane
    That's the same as wanting to make a game but not want
    to undergo many hours programming for it.
    How is that the same thing?

    Some people just arent interested in a topic until they can see how its used.

    How is that at all related? Please elaborate.
    -MethodMan-

    Your Move:Life is a game, Play it; Life is a challenge, Meet it; Life is an opportunity, capture it.

    Homepage: http://www.freewebs.com/andy_moog/home.html

  6. #6
    Just because ygfperson's Avatar
    Join Date
    Jan 2002
    Posts
    2,493
    Math is purely logical, and proofs are needed to make sure we don't just assume something crazy. If you can't prove something, it's possible that it's wrong somewhere.

    For instance, take Fermat's Last Theorem. It's a pretty simple statement:
    a^z + b^z != c^z for any z > 2, for any integers a, b, and c

    I can prove for one value that the Last Theorem is true.
    3^3 + 4^3 != 5^3

    Actually, I can do that for any value. The trick is finding a way to say this in a way which is completely true for all cases. It took people 300+ years to prove this statement, including some large amounts of money promised by foundations, and left in wills. It was finally proven, in 800 pages, by Wiles, a math professor, in the mid 1990s.

    The stuff you're doing in geometry is simple, but it's meant to prepare you for the much more complicated stuff of later on.

  7. #7
    monotonously living Dissata's Avatar
    Join Date
    Aug 2001
    Posts
    341
    proofs are not useless however, constructs are absolutely positively useless, and invented to cause pain and anguish to all humans.

    I can understand why they need to be taught, but wtf do I need to do a couple in every other lesson set for f'ing review!

    arrrg
    bahumbug!!!
    if a contradiction was contradicted would that contradition contradict the origional crontradiction?

  8. #8
    'AlHamdulillah
    Join Date
    Feb 2003
    Posts
    790
    wierd, I actually like proofs.

  9. #9
    Registered User Wiser's Avatar
    Join Date
    Feb 2003
    Posts
    8

    Unhappy

    I dont even know what a proof is.

  10. #10
    ....
    Join Date
    Aug 2001
    Location
    Groningen (NL)
    Posts
    2,386
    Math can be boring if you don't have an application for it, but mathematical tools are used a lot in programming.

    Using tools from discrete mathematics and logic you can proof the correctness of your code. For example, the correctness of a recursive function can be proven by using induction. Also for non-recursive functions there are a lot of methods for proving the correctness.

    If you are going to work later on software which must work in critical environments, you will need your knowledge mathematics. Software which must keep people alive, like in medical systems, must be proven for correctness. Software which must be extremely reliable, like in planes or controlling nuclear plants, must also proven.

    Also math can be used to analyze the performance of algorithms and to compare the performance of, for example, a number of sorting algorithms in a certain situation.

    And, ofcourse, the applications itself my require mathematics. If you are going to develop software for processing speech, music or images, you will need the mathematical tools from digital signal processing. Like the Fourier Transform, Z Transform and the theory of digital filters.

    In my work, I don't use mathematics that often anymore, I used to when I was working on digital audio systems. Recently I had to use discrete mathematics when doing a course on formal specification of software. Formal methods, formal specification is part of formal methods, are quite mathematical.

  11. #11
    100 posts. i feel special
    Join Date
    Nov 2002
    Posts
    117
    yeah i hated proofs in geometry as well. i like doing math on the board during advanced math class now though. i just dont like proofs. plus my geometry teacher sucked.
    yum, yum potatoes!!!!!

  12. #12
    Registered User
    Join Date
    Apr 2002
    Posts
    1,571
    Proofs and mathematical induction are both very important in computer science. What if you had to create an algorithm for searching/sorting something. Well that might not be bad but you would have to prove that it is correct under all conditions. Also what if an employer had you write an algorithm that had to run in O( n lg n ) time? Without some sort of proof how would you prove it ran in that time? They have their places.

Popular pages Recent additions subscribe to a feed

Similar Threads

  1. Specializing class
    By Elysia in forum C++ Programming
    Replies: 6
    Last Post: 09-28-2008, 04:30 AM
  2. Creating a database
    By Shamino in forum Game Programming
    Replies: 19
    Last Post: 06-10-2007, 01:09 PM
  3. Replies: 7
    Last Post: 05-26-2005, 10:48 AM
  4. class errors
    By romeoz in forum C++ Programming
    Replies: 3
    Last Post: 09-16-2003, 07:57 PM
  5. Abstract class problem
    By VanJay011379 in forum C++ Programming
    Replies: 9
    Last Post: 07-31-2002, 01:30 PM

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21