Viewing profile — 30f0fn

How about elisp?

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…

The book contents are FREE! Look away if you're offended.

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 …

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…

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 invent…

Weird that they went back to 1755 but skipped the universal Turing machine.