[Adamantcheese]

I find your definition to be somewhat lacking, at least in terms of being bored at work. While 1 makes sense, as a lot of people are tired at work, if there is actually nothing to do, 2 does not necessarily apply. Also I assume 3 does not necessarily mean physically, but also mentally cluttered, to the point that it is hard to pick something from the mush of information floating about. That is understandable, it is hard to begin working when you don't know what to do, which leads into 4. But in a work sense, a lot of the time you do not have control over what tasks you are assigned, which makes it hard to define utility values properly.

Even though I can agree that tiredness can induce boredom, the other solutions to the problems you mentioned are not always applicable or their resolutions too difficult for an already bored mind to begin working on.

[visakanv]

I meant boredom in a general sense, where you have control over your variables (ie you're bored by yourself, with yourself, at home).

If you're bored at work, that's a little more complicated. It depends on the context you're in. Is there "nothing to do", or is there NOTHING TO DO? (I experienced the latter context when I was in the military. In that situation, the best thing you can do is maybe read a book if you have one, or meditate and/or reflect on your life). You might have nothing to do if you were say, in some dead-end minimum wage job.

But if you're working in some sort of professional setting, there's almost always something you can do. You can learn more about the organization you're in. You can build relationships with other people. You can help other people out. You can ask your manager for more work.

In the worst case, if there's really nothing you can do, and if it's bothering you, you could quit and find a better job where there are actually things to do.