3 ideas
21717 | Reducibility undermines type ramification, and is committed to the existence of functions [Quine, by Linsky,B] |
10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
7811 | Sophoclean heroes die terrible deaths when they oppose the new Athenian values [Sophocles, by Grayling] |