Which answer in this list is the correct answer to this question? (2017)
math.stackexchange.com
Which answer in this list is the correct answer to this question? (2017)
1–10 of 137 posts
Re: Which answer in this list is the correct answer to this question? (2017)
#2An expert system answer (Prolog, CLIPS) would be cool to see here.
Re: Which answer in this list is the correct answer to this question? (2017)
#3It seems that 5 is a winner, as stated in the accepted answer.
That's a pity, first I thought the goal of the question was to create an instance of Yablo's Paradox. Yablo's paradox is important because you cannot just argue that the paradox arises from an obviously incorrect definition, as people sometimes do for classical semantic paradoxes.
Re: Which answer in this list is the correct answer to this question? (2017)
#4[deleted]
Re: Which answer in this list is the correct answer to this question? (2017)
#5An expert system answer (Prolog, CLIPS) would be cool to see here.
You should check this out, solving a somewhat similar type of problem using Alloy: https://www.hillelwayne.com/post/knights-knaves/
Re: Which answer in this list is the correct answer to this question? (2017)
#6An expert system answer (Prolog, CLIPS) would be cool to see here.
The second answer is a C program. It specifies the constraints and loops over all the possible solutions. That's the most naive constraint solver possible, but adequate for this task.
Once you put in the effort of translating the problem into constraints, the Prolog solution is trivial, because the Prolog compiler is a constraint solver.
Re: Which answer in this list is the correct answer to this question? (2017)
#7[deleted]
Re: Which answer in this list is the correct answer to this question? (2017)
#8An expert system answer (Prolog, CLIPS) would be cool to see here.
Using the clpb library [0]:
solution([A1,A2,A3,A4,A5,A6]) :-
sat(A1 =:= A2*A3*A4*A5*A6),
sat(A2 =:= ~(A3+A4+A5+A6)),
sat(A3 =:= A1*A2),
sat(A4 =:= A1+A2+A3),
sat(A5 =:= ~(A1+A2+A3+A4)),
sat(A6 =:= ~(A1+A2+A3+A4+A5)).
Re: Which answer in this list is the correct answer to this question? (2017)
#96 can not be true because if it where then 1,2,3,4 & 5 would be false, but that would make 5 true as well which is a contradiction, therefore 6 can only be false
1 Can not be true because we just determined 6 as false so 1 can only be false
3 can not be true because we just determined 1 as false so 3 can only be false
With 1 and 3 now proven false, 2 can only be true if 4 is false, but if 2 is true then 4 would be true as well. This is a contradiction so 2 can not be true.
With 1,2 and 3 now proven false, 4 is false.
5 is true since we just proved 1,2,3 and 4 to be false
Re: Which answer in this list is the correct answer to this question? (2017)
#10It seems that 5 is a winner, as stated in the accepted answer. That's a pity, first I thought the goal of the question was to create an instance of Yablo's Paradox. Yablo's paradox is important because you cannot just argue that the paradox arises from an obviously incorrect definition, as people sometimes do for classical semantic paradoxes.
It would be very boring if it was paradoxical.
It would just be a more complicated version of:
1. Statement 2 is wrong.
2. Statement 1 is wrong.
Edit: I just looked up Yablo's paradox. It only works because there are infinite statements. Since there is a finite number of statements here, it could not be an instance of Yablo's paradox. Only a circular paradox.