bio | website | |
---|---|---|
location | Utrecht, the Netherlands | |
age | 39 | |
visits | member for | 5 years, 4 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 |