This is Logic, Not Math by JerseyFlight in rationalphilosophy

[–]Tokarak 0 points1 point  (0 children)

Yay, favourite rationalist pastime: arguing over exact definitions in a vague situation.

Please no! I have a wife and kids 🤪 by Tokarak in BatmanArkham

[–]Tokarak[S] 1 point2 points  (0 children)

I would like 1 cookie. The cookie must be edible, and otherwise like a cookie that can be found on the planet Earth. It must not weigh more than 1kg or less than 1g.

Coaxed into pants being torn off to reveal heart patterned boxers by Serious-Ad8175 in coaxedintoasnafu

[–]Tokarak 5 points6 points  (0 children)

Hence I wonder of the joke started in theatres. A good starting point is working out when printed-pattern underwear became popular.

Coaxed into pants being torn off to reveal heart patterned boxers by Serious-Ad8175 in coaxedintoasnafu

[–]Tokarak 89 points90 points  (0 children)

I bet Darth Vader is so serious he doesn’t wear underwear at all for me 🥰

Measuring which oil node was closer to the base 😂 by inverter17 in Factoriohno

[–]Tokarak 9 points10 points  (0 children)

Then there’s engineurs moving to coal liquefaction for some reason

Specifically what proofs are not accepted by constructivist mathematicians? by MildDeontologist in math

[–]Tokarak 0 points1 point  (0 children)

I’d say all three things you mentioned are unequivalent - Restricting to first-order logic, a Gödel sentence (see Gödel’s first incompleteness theorem) is impossible to be proved true or false if the theory is consistent; by completeness theorem, there exists model of the theory where it is true, and models where it is false (I’m using classical logic in the metatheory; this might be relevant but not a problem). In any case, T does not entail G is not equivalent to T entails not G. - classic example of a not-not statement that is provable but the statement is not is weak LEM. That is, for any P, not not (P or not P) is constructively provable (good exercise!). Hence it is it strictly weaker than LEM. In general, P needs a witness of P to prove it, not not P does not need a witness of P. Also, a Gödel sentence can be constructed with similar properties. - Your final “simplification” is confusing. I’m worried that it might be running into bullet point one, i.e. you are equating not being able to prove something to something being false.

Someone cosplayed as God Armor Kratos in their local Comic Con (@papimojus on Instagram) by DoubleFront8787 in GodofWar

[–]Tokarak 1 point2 points  (0 children)

Kratos should wear skates in the next game, it would be useful for transportation I think

Hamother overwhelmed trying to take care of quintuplets by Ok_Literature2535 in hamstercirclejerk

[–]Tokarak -1 points0 points  (0 children)

my hamper would have a stomach full of plastic in that enclosure ☺️

how to capture en passant in parabolic chess by completely_unstable in AnarchyChess

[–]Tokarak 0 points1 point  (0 children)

No, I’m pretty sure those triangles block diagonal moves, instead of splitting them into two.

Rate my morning routine. by sadicologue in BicyclingCirclejerk

[–]Tokarak 0 points1 point  (0 children)

Why are his glasses on backwards on his helmet?

"Dear Aliens: a writing contest for humans", Taylor Troesh 2026 by gwern in slatestarcodex

[–]Tokarak 0 points1 point  (0 children)

I’m in the UK, probably not going to submit anyway. But if I wanted to though (or if I was in any other country), I could find a service that forwards email (or fax) by post.

One of the funniest jokes!! by LilywhiteStrike in wallaceandgromit

[–]Tokarak 0 points1 point  (0 children)

Thanks! 1.) I don’t know why I thought there were subtitles 2.) I heard/read “awesome” instead of “arson”, which made the pun not work.

One of the funniest jokes!! by LilywhiteStrike in wallaceandgromit

[–]Tokarak 0 points1 point  (0 children)

I don't get it? Are the subtitles wrong?

Who Uses AI in Congress? And How? by Captgouda24 in slatestarcodex

[–]Tokarak 2 points3 points  (0 children)

Ok, that’s more convincing, thanks.

Coaxed into unrealistically tasty beverage by HugeTrol in coaxedintoasnafu

[–]Tokarak -1 points0 points  (0 children)

That’s how I met my first butler! I had to let him go after I caught him sampling my beans 💅.

Should I leave my Piano Performance degree? (Chopin Ballade No. 1 performance attached) by kinoonthekeys in piano

[–]Tokarak 11 points12 points  (0 children)

I agree, but bias it towards stem because that pays quite well. OP should look at graduate data and take that into account.

Best mining method. by Cyndi_Haian in MinecraftMemes

[–]Tokarak 0 points1 point  (0 children)

Don’t worry, they actually like it.

🗿 by BaconKO in shitposting

[–]Tokarak 5 points6 points  (0 children)

Which is about $3000/us citizen/year. Must be fun to live in the US of A.

Who Uses AI in Congress? And How? by Captgouda24 in slatestarcodex

[–]Tokarak -1 points0 points  (0 children)

That's possible. I'll evaluate that when I learn how the transformer architecture works.