Andrej Bauer
andrejbauer
Why do we define logical implication p ⇒ q the way we do? Is it an arbitrary convention, just a shorthand for ¬p ∨ q, or a fundamental concept of
Read more
Let me share a story about research in mathematics. With a fresh PhD in my hand I worked with my advisor, Dana Scott, on a question in domain theory. In
Read more