Top network posts

• 24 Lambda calculus didn't seem abstract. And I can't see the point of it
• 22 Why study finite-dimensional vector spaces in the abstract if they are all isomorphic to $R^n$?
• 18 Slightly changing the formal definition of continuity of $f: \mathbb{R} \to \mathbb{R}$?
• 12 Still struggling to understand vacuous truths
• 10 Why does the state remain unchanged in the small-step operational semantics of a while loop?
• 7 Should two DFAs be complete before making an intersection of them?
• 7 Lambda calculus :difficulty in getting hang of induction and conversion
• View more network posts →