Ted Chiang Quotes
What Gentzen had done was prove the obvious by assuming the doubtful.
What Gentzen had done was prove the obvious by assuming the doubtful. (Ted Chiang)
What Gentzen had done was prove the obvious by assuming the doubtful.