What you need to know: If Sisyphus could find meaning in eternal nothingness, so can we too find meaning in a demarcated existence For the longest time having been thrust into the capitalist chaos ...
In summary: The interplay of meaning and axiomatic machine mathematics, captured by the difference between $\models$ and $\vdash$, is a subtle and interesting thing.
What is the meaning of the $c$ in $C_c^ {\infty} (\mathbb {R})$?
In context that looks the same as =: (meaning the left and right sides are equal and the left side is the definition of the right side).
sequences and series - What is the meaning of “=::” in mathematics ...
In the well-known myth of Greek mythology, the gods inflict a terrible punishment on Sisyphus: He has to push a heavy rock uphill, but shortly before succeeding to place the rock on the hill's top, ...
If you're feeling empty, you might relate to nihilism, the philosophy that life is meaningless. However, it's easy to confuse nihilism with anhedonia, a core symptom of depression.
Sisyphus was a Greek king famous for his cunning. He was so clever, in fact, that he managed to cheat Death himself and live a longer life than the gods had intended. But this later backfired: his actions angered the gods, and when he finally did die, he was forced to suffer eternal punishment in Tartarus.
He then beholds Tityus, Tantalus, Sisyphus, Hercules; till he is deterred from further curiosity by the apparition of horrid spectres, and the cries of the wicked in torments.