bio | website | |
---|---|---|
location | Utrecht, the Netherlands | |
age | 39 | |
visits | member for | 5 years, 3 months |
seen | Apr 28 at 21:42 | |
stats | profile views | 66 |
Oct 23 |
awarded | Custodian |
Oct 23 |
reviewed | Reject How many different rectangles (in terms of area) can fit in a 20-unit-wide square? |
Oct 8 |
awarded | Caucus |
Oct 8 |
awarded | Constituent |
Jun 27 |
awarded | Yearling |
Mar 17 |
awarded | Enthusiast |
Mar 11 |
comment |
Examples of common false beliefs in mathematics
@JoeHannon: Use $G_i = \{ n2^{-i} | n \in \mathbb{Z} \}$. |
Aug 14 |
awarded | Citizen Patrol |
Apr 27 |
comment |
Ideas on how to prevent a department from being shut down.
The CS department in Utrecht closing? That's (very upsetting and unsettling) news to me! Can you provide a reference? |
Apr 12 |
answered | Computer Science for Mathematicians |
Sep 9 |
answered | How many different rectangles (in terms of area) can fit in a 20-unit-wide square? |
Aug 18 |
comment |
What are the most misleading alternate definitions in taught mathematics?
A torsor, in other words, right? |
Jul 26 |
awarded | Editor |
Jul 26 |
revised |
The unprecedented success of the “intersection” operator
Fixed mistake by clarifying that constructive logic is to be used. |
Jul 26 |
comment |
The unprecedented success of the “intersection” operator
Andreas, your parenthetical addition of 'classical' is indeed right, and relevant! I've been doing functional progamming and constructive logic for far too long. I have edited my post accordingly; thank you for catching my mistake. |
Jul 26 |
answered | The unprecedented success of the “intersection” operator |
Jul 22 |
awarded | Supporter |
Jul 19 |
answered | Smallest area shape that covers all unit length curve |
Jun 22 |
comment |
Learning Roadmap for Software Engineer
Although I find that Haskell tends to force you to un-overload the denser mathematical notations - but that can sometimes make things clearer. By the way, nice to meet you again Daev, fellow coauthor Jan of the Generic Haskell User's guide here! |
Jun 21 |
awarded | Teacher |