Message from @folk

Discord ID: 384502958286569482


2017-11-27 00:25:21 UTC  

I'm not quite sure how to respond, because it obviously depends on the subject matter and also - whether we like it or not - how you've grown to interpret "paradox", but I've never considered undecidable problems in computing to be paradoxes at all

2017-11-27 00:26:02 UTC  

to me, a paradox is when you start with a reasonable preposition or whatever, and then the conclusion is not what you'd expect

2017-11-27 00:26:04 UTC  

roughly speaking

2017-11-27 00:27:10 UTC  

Undecidable problems are questions that describe problems in a way that make them appear answerable, but they aren't.

2017-11-27 00:27:30 UTC  

oh, then we disagree on what an undecidable problem is

2017-11-27 00:27:55 UTC  

"An algorithm that can check if a program enters an infinite loop or eventually stops."

2017-11-27 00:28:16 UTC  

right

2017-11-27 00:28:21 UTC  

that's not a paradox

2017-11-27 00:28:36 UTC  

the conclusion is entirely what I expect

2017-11-27 00:28:49 UTC  

Since the only way to know what happens is to actually run the program, the algorithm analyzing the program has to compute the same thing as the program itself. Therefore, analyzing is the same as computing.

2017-11-27 00:29:22 UTC  

So if it enters an infinite loop, the analysis will also loop, and therefore you'll never get an answer.

2017-11-27 00:30:28 UTC  

So the question really was, can we know the final result of a computation without running the computation?

2017-11-27 00:30:41 UTC  

The proof is actually very lengthy.

2017-11-27 00:30:41 UTC  

I'm not sure, should I just repeat myself?

2017-11-27 00:31:01 UTC  

>A paradox is a statement that, despite apparently sound reasoning from true premises, leads to an apparently self-contradictory or logically unacceptable conclusion.

2017-11-27 00:31:08 UTC  

this might appear like a paradox to someone who doesn't know the subject matter, but like I said, the conclusion to this algorithm is entirely expected for me

2017-11-27 00:31:57 UTC  

Probably every paradox can be reworded in a way that makes the contradiction in the question evident.

2017-11-27 00:32:41 UTC  

>Some paradoxes have revealed errors in definitions assumed to be rigorous, and have caused axioms of mathematics and logic to be re-examined. One example is Russell's paradox, which questions whether a "list of all lists that do not contain themselves" would include itself, and showed that attempts to found set theory on the identification of sets with properties or predicates were flawed.[7] Others, such as Curry's paradox, are not yet resolved.

2017-11-27 00:32:50 UTC  

I'd say that provided the wording of the supposed paradox includes the word "arbitrary" or equivalent, it's not actually a paradox

2017-11-27 00:36:44 UTC  

a paradox is always resolved, by my own definition of the word, like I said, so we don't really agree on the basics of the semantics

2017-11-27 00:37:28 UTC  

which is fine, and almost always the case, it just means I should not have said anything at the outset

2017-11-27 00:38:41 UTC  

So "your definition" of paradox says it's always resolved? No unresolved paradoxes?

2017-11-27 00:39:04 UTC  

I'm not sure why you're asking that now, I made this clear in my 2nd sentence

2017-11-27 00:39:09 UTC  

[1:26 AM] folk: to me, a paradox is when you start with a reasonable preposition or whatever, and then the conclusion is not what you'd expect

2017-11-27 00:40:06 UTC  

like I said, this is always a problem when you're discussing on a higher level than "beer", which is why I started my reply with a caveat or two, and laid out my definition immediately

2017-11-27 16:39:18 UTC  

Crime Rates in Sweden

https://cdn.discordapp.com/attachments/372513679964635138/384745009498292227/Screenshot_50.png

2017-11-27 16:39:54 UTC  

I think you mean cultural enrichment rates in Sweden, you bigot

2017-11-27 16:53:15 UTC  

How long until filing police reports becomes a hate crime?

2017-11-27 16:54:28 UTC  

it already is in the UK

2017-11-27 17:05:52 UTC  

<:swedenistan:382988769298481152>

2017-11-27 20:15:24 UTC  

another bomb ass dank ass video by 1791L

2017-11-27 20:15:33 UTC  

this one even better than the usual

2017-11-27 21:22:36 UTC  

good lord, I guess Laurier issued a statement about how they "unequivocally" support freedom of expression. Every bit of damage control they've attempted just makes them look more pathetic.

2017-11-27 22:55:22 UTC  

You know what's really missing? A statement from the Canadian Human Rights Commission fessing up that indeed, even talking about it is "violence." Just so everyone can wake the fuck up and chop some heads off.

2017-11-27 22:58:46 UTC  

I love the comments on the video saying Laurier should invite Peterson. YES. DO IT.

2017-11-28 03:09:38 UTC  

Can someone tell me why Democrats are going into bat for John Conyers / Al Franken?

I mean I tend to find the pro-Roy Moore argument of 'well we need to defend him otherwise a Democrat will take his seat' kinda skeevy in of itself, but... If Conyers / Franken got the boot, they'd be overwhelmingly likely to be replaced by... *another Democrat*

2017-11-28 03:10:14 UTC  

Also, speaking of Moore, it kinda fucks the Dems argument against him if they behave exactly the same way that (some) Reps are behaving in regards to defending Moore

2017-11-28 03:27:14 UTC  

Tribalism.

2017-11-28 03:31:54 UTC  

dummyism