/lit/ - Literature

Is there any difference between otium cum dignitate and otium cum seritio?

The second seems to be part of the former already - all that is done seems to benefit others too.

More and more mathematica a slowly come to realize that it's better to reject excluded middle - it gives more constructive theorems, even if the proofs are harder. Apart from the latter, you don't lose anything either since double-negation-translation allows you to embed the classical logics in the intuitionistic ones: For every classical statement, there's and intuitionistically provable statement that is classically equivalent to the classical one.
The last version of the imv theorem here gives an example:
https://en.m.wikipedia.org/wiki/Constructive_analysis

On that note, if you have some formal background, let me shill my YouTube
https://youtu.be/HrN7orXvu9k

>writes some book (or creates some other form of art) of genre X
>it may or may not have some plot twist to it
>this is a deconstruction of genre X

huh?

>>13159724
Trump is probably not a good person (and before you task me to define "good", I mean basic stuff like he doesn't care about environment if there's personal monetary gains in return (I'm referring to documentations about trump that came out long before he was a president)).
I don't particularly adore le intellectual dark web, but it seems like Peterson at least has a conviction and is working authentically to the extent possible.

That Sandler comment is not bad because of his position, but rather that this "attack" of his here has no point but signaling said position.

Sandler also speaks about how he has anger issues, which doesn't make him sympathetic (albeit surprisingly honest)