Prove Maasei Hoshev: Engineering Student Minor in Math Needs Help

  • Thread starter Thread starter JoshC
  • Start date Start date
Click For Summary
An engineering student minoring in math seeks assistance with a proof related to Proposition 32 of Maasei Hoshev, specifically involving the summation of sequences. The student is struggling with induction proofs while studying from "A History of Mathematics" by Victor Katz. After requesting help, the student ultimately decides to drop the course. The discussion highlights the challenges faced by students transitioning to more advanced mathematical concepts. The need for clear guidance in understanding induction proofs is emphasized.
JoshC
Messages
2
Reaction score
0
I am taking a course in the history of modern math. Note, I am an engineering student minoring in math. Therefore, I am not that up to speed on induction proofs. I have been working on a problem in my book (A History of Mathematics by Victor Katz), and really don't know how to procede. Any help would be greatly appreciated.
Problem:
------------------------------
Prove Proposition 32 of the Maasei hoshev (by Levi Ben Gerson):

1+(1+2)+(1+2+3)+...+(1+2+...+n)

={1^2+3^2+...+n^2 n odd;
{2^2+4^2+...+n^2 n even
------------------------------
Thank you for your assistance
 
Physics news on Phys.org
Nevermind. I dropped the course. Thanks for the help.
 
Hello, I'm joining this forum to ask two questions which have nagged me for some time. They both are presumed obvious, yet don't make sense to me. Nobody will explain their positions, which is...uh...aka science. I also have a thread for the other question. But this one involves probability, known as the Monty Hall Problem. Please see any number of YouTube videos on this for an explanation, I'll leave it to them to explain it. I question the predicate of all those who answer this...
There is a nice little variation of the problem. The host says, after you have chosen the door, that you can change your guess, but to sweeten the deal, he says you can choose the two other doors, if you wish. This proposition is a no brainer, however before you are quick enough to accept it, the host opens one of the two doors and it is empty. In this version you really want to change your pick, but at the same time ask yourself is the host impartial and does that change anything. The host...
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.