BB(k) for a specific k is just a number. Ao just write it to the output. Proofing correctness is different from „computing“ and not required here.

> BB(k) for a specific k is just a number.

That's not as obvious as you might think. The value of BB(800) is independent of ZFC. So it isn't "just a number" if you're working in ZFC.

Hmm... As ZFC specifically cannot identify that number as special (at least as relates to the Busy Beaver function), maybe it is quite specifically "just a number"!

Ah, so pointing out that the number itself, being an integer, is computable even though the function isn't. Makes sense.

I think you are right.

I would really prefer to change the world, than take medication. I say this without sarcasm and a little bit of sadness.

This medical condition is called withdrawal.

You are right in that discontinuing ADHD medication can lead to withdrawal symptoms.

But you are dead wrong in that ADHD does not disappear after withdrawal. As it would if it were a drug addiction.

ADHD was there before taking medication, and it will persist long after stopping medication. (If we assume the diagnosis was correct.)

It can indeed cause withdrawal symptoms but not so bad since psychiatrists suggest "treatment holidays", where you are free to choose not to take them for a few weeks.

Other psychiatric medications are often withdrawn slowly. For example, a patient on weekend leave in hospital would be called straight back to the ward if they lose their prescribed benzodiazepines e.g smashing a bottle of solution, due to withdrawal. Especially the case if used during alcoholism detox, where the seizures could kill otherwise.

Many of the symptoms also do not go away with medication. It's not a magic bullet. It just raises the floor a little bit so things are easier to manage. Some days the medication doesn't help all that much if other things off set it.

I just realized that my post was extremely easy to misread :/ I hope it's fixed now.

I think mine was too since I was agreeing with you, ADHD is most definitely not a symptom of stimulant withdrawal.

How important is finding the right language?

For big problems, "finding the problem" is paramount -- this will often suggest representation systems that will help think and do better. A language that allows you to quickly make and refine your sense of the context and discourse -- i.e. to make languages as you need using tools that will automatically provide development environments, etc. and allow practical exploration and progress.

In the answer to 9 I don't see why 'Evaluating ++i + ++i would produce undefined behavior'

There's no http://en.wikipedia.org/wiki/Sequence_point between the two increments, so the standard allows the compiler to do pretty much anything, even http://catb.org/jargon/html/N/nasal-demons.html. The way I've heard it, these operators were added to take advantage of pre- and post-increment hardware support in the PDP-11 (forty years ago!), and everyone just knew what would happen, but ANSI later wanted compilers to have enough latitude to take advantage of other hardware which behaves differently.

Just when I thought (after completing the puzzles) that C is reasonably reasonable language, I learn that the execution order of 'f()+g()' is unspecified. Wow!