30f0fn

7 ms·

1. 1.▲
   by 30f0fn 5y ago

   How about elisp?
2. 2.▲
   by 30f0fn 5y ago

   As a historical narrative it's pretty shameless, e.g. inventing out of whole cloth a second visit to Frege. I also felt that it did not convey well the personalities (let alone the ideas) of the early analytical trinity.
3. 3.▲
   by 30f0fn 6y ago

   The book contents are FREE! Look away if you're offended.
4. 4.▲
   by 30f0fn 6y ago

   Indeed. The disagreement over abortion is, roughly, whether killing a human fetus should ever be legal. The disagreement is hard to resolve because it’s not clear which principles to apply, so that arguments pro or con can take on a seman
5. 5.▲
   by 30f0fn 6y ago

   The Church-Turing proposition carries an implicit challenge: find an algorithm to evaluate a function which is not Turing computable. Because it can be challenged in this way, it’s not just a definition (mere stipulation how to use the wor
6. 6.▲
   by 30f0fn 6y ago

   The remark from Girard may not be so far from some things Wittgenstein said at this or that point. But it's not clear that Girard's remark means anything like that "logic is invented/designed by humans". For examp
7. 7.▲
   by 30f0fn 7y ago

   Weird that they went back to 1755 but skipped the universal Turing machine.
8. 8.▲
   Logic in Wittgenstein's Tractatus(cambridge.org)

   1 points by 30f0fn 7y ago|0 comments