Tag Archives: Turing

Gödel and AI

September 9, 2025 – 4:59 pm

To prove that no recursive theory of addition and multiplication of the counting numbers can be complete, Gödel relies on the distinction between the subjective and the objective. I suggested this in “Subjective and Objective,” while noting also that, for a computer, all is subjective.

At the inner corner of a street, interlocking bricks break out of their pattern

Incomplete pavement
Altınova, Ayvalik, Balıkesir
September 9, 2025

Continue reading →

By David Pierce | Posted in Harper’s, Pirsig | Also tagged , , , , , , , , | Comments (7)

On Being Given to Know

August 24, 2019 – 5:40 pm
  1. What if we could upload books to our brains?
  2. What if a machine could tell us what was true?

We may speculate, and it is interesting that we do speculate, because I think the questions do not ultimately make sense – not the sense that seems to be intended anyway, whereby something can be got for nothing.

Trees, clearings, and houses in the foreground; mountains receding into the background; clouds above
View from Şavşat

Continue reading →

By David Pierce | Posted in Aristotle, Art, Causation, Collingwood, Education, Homer, Philosophy | Also tagged , , , , , , , , , , , , , , , , , , , , , , | Comments (7)