Timeline for Thinking and Explaining
Current License: CC BY-SA 2.5
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 10, 2011 at 5:28 | comment | added | Not Mike | always thought $\beta \omega \backslash \omega$ was the rectangle, $H(\omega)$ was a small cone, and $L$ is a really really skinny and long cone. | |
| Sep 15, 2010 at 14:19 | comment | added | Qfwfq | I would also have pictured HF as a rectangle...but for me "HF" is the set of Hilbert-Frege logical axioms for deduction rules. A mathematical formal theory to which HF is "paired" to carry on mathematics, such as ZFC, would be included in ellipse contour... :) | |
| Sep 14, 2010 at 18:06 | comment | added | Bill Thurston | @François: I love your example, partly because it sounds so implausible on its face. I think pictures can have a role in thinking that is parallel to pronouns in speech --- they gives a hook to refer to a particular things, even in situations when you can't explain exactly why the picture is what it is. If you're thinking with the geometric parts of your brain (regardless of whether your'e thinking about geometry), it's disruptive to use words as hooks, and often the words or symbols are too long and complicated to be effective hooks. | |
| Sep 14, 2010 at 16:55 | comment | added | François G. Dorais | @Akhil: As always, you just do it!? | |
| Sep 14, 2010 at 16:51 | comment | added | François G. Dorais | I don't remember why it was a rectangle on that day. | |
| Sep 14, 2010 at 16:37 | comment | added | Andreas Blass | HF looks like a triangle, just like V only smaller. | |
| Sep 14, 2010 at 13:44 | comment | added | Akhil Mathew | Out of curiosity, how do you visualize objects in logic? | |
| Sep 14, 2010 at 11:37 | comment | added | Mariano Suárez-Álvarez | +1 for the infinite trees viewed sideways! | |
| Sep 14, 2010 at 6:14 | comment | added | Andrés E. Caicedo | A rectangle??$\ $ | |
| Sep 14, 2010 at 4:16 | history | answered | François G. Dorais | CC BY-SA 2.5 |