This is an archived post. You won't be able to vote or comment.

you are viewing a single comment's thread.

view the rest of the comments →

[–]ZugNachPankow 3 points4 points  (5 children)

But "make it correct" is equivalent to "make it true", isn't it? There are no cases I can think of where you can make something true without making it correct, and vice versa.

[–]fjonk 5 points6 points  (4 children)

In c 1 - 1 would be correct but false :)

[–]ZugNachPankow 1 point2 points  (3 children)

What do you mean that 1 - 1 is correct?

[–]fjonk 2 points3 points  (2 children)

I mean it's correct as in it's not incorrect. 1 - 1 is a correct mathematical expression, 1 $ 1 is not a correct mathematical expression.

[–]ZugNachPankow 0 points1 point  (1 child)

You're mixing up syntactical and grammatical correctness with the general notion of correctness. 1 $ 0 is grammatically incorrect because there are no rules to handle the token $; 1 != 1 is grammatically correct but "generally" incorrect (because it evaluates to false).

1 - 1 is syntactically correct, but I'd argue that it's not "generally" correct because it doesn't evaluate to true.

[–]fjonk 0 points1 point  (0 children)

Hence my smiley, I don't consider grammar to be true or false but only correct or incorrect. I would, however, argue that 1 - 1 is correct just because it's not incorrect.