Top network posts

• 24 Lambda calculus didn't seem abstract. And I can't see the point of it
• 23 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 Show a set E is measurable iff its characteristic function is measurable.
• 7 Should two DFAs be complete before making an intersection of them?
• View more network posts →