You are not logged in.
400 points
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
Here is the proof of the conjecture:
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
I had that answer way before him and ole Calvin has made a good point.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
You did not have the proof. You did not even attempt it.
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
The first question is a computation and is interesting.
Proofs:
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
Kaboobly Doo!
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
I agree, proofs are kaboobly doo. Anyway, that guys proof needs a bit of work.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
I did not say proofs are Kaboobly Doo
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
You should have. Soon that form of math will be extinct.
In mathematics, you don't understand things. You just get used to them.
If it ain't broke, fix it until it is.
Always satisfy the Prime Directive of getting the right answer above all else.
Offline
Agnishom, I don't understand this part:
"By the inductive hypothesis, this is the number of k such that n - 2^k = 2^j - 1 for some j, i.e. the number of ways to write n = 2^k + 2^j - 1."
Can you please?
Offline
We are using strong induction here.
First we show that it is true for some of the beginning values by computation.
Then, we assume that for some value n, all of the preceeding values show the proposed property.
We now need to show that n also shows the same property, to complete the induction.
Note that f(n) = f(n-2^0) + f(n-2^1) + ... + f(n-2^k) + ...
We're interested in if any of these are odd. By the induction hypothesis, if there is such a term, it should be of the form 2^j - 1. This is because we've chosen to accept that only the output of such numbers are odd.
So, n - 2^k = 2^j - 1
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline
Also Agnishom, I think he only proved "if f(n) is odd, n is of the form 2^k - 1". Not the other way around.
Offline
Nope. He proved the other thing too.
When f(n) is not of that form, the odds pair up
'And fun? If maths is fun, then getting a tooth extraction is fun. A viral infection is fun. Rabies shots are fun.'
'God exists because Mathematics is consistent, and the devil exists because we cannot prove it'
I'm not crazy, my mother had me tested.
Offline