Neil Toronto
|
Registered User
|
|
|
Feb 20 |
comment |
What algebraic structure is suitable for representing self-referential data types? This question should be at cstheory.stackexchange.com. |
|
Jan 9 |
comment |
Usage of set theory in undergraduate studies I have first-hand experience in teaching 2+2 from foundations, to an 11-year-old. The trick is to explain sets as "boxes" that contain "other boxes". (You can even use actual boxes!) As soon as the child can conceptualize a box that contains "all the finite boxes" (omega), she can come up with "infinity plus one" on her own. It involves a lot of careful wording and repetition, but it's totally doable, without scary-looking notation. |
