Hacker News new | ask | show | jobs
by Fazel94 1130 days ago
It was a technique of studying in a book, not the content, In "Introduction to the Theory of Computation" Sipser precedes every proof with a "proof idea" basically examining meaning of each statement before the "pencil pushing". You wouldn't miss the forest while watching the trees like this.