Comments for Gyre&Gimble

Comment on Improved clouds by SixWingedSeraph

SixWingedSeraph — Sun, 13 May 2012 01:31:10 +0000

Somehow the aspect ratio went wrong in both manipulable diagrams. I will repair it. –CW

Comment on Freezing a family of functions by » An Elaborate Riemann Sums Demo Gyre&Gimble

» An Elaborate Riemann Sums Demo Gyre&Gimble — Tue, 08 May 2012 16:17:30 +0000

[...] Freezing a family of functions (previous post) [...]

Comment on Offloading abstraction by » An Elaborate Riemann Sums Demo Gyre&Gimble

» An Elaborate Riemann Sums Demo Gyre&Gimble — Tue, 08 May 2012 16:07:16 +0000

[...] that you prepare ahead or even write on the spot. An example of a simple demo is in the post Offloading Abstraction. I will talk about simple demos more in a later [...]

Comment on Definition of “function” by SixWingedSeraph

SixWingedSeraph — Wed, 11 Apr 2012 01:18:47 +0000

I have answered Maya's question in this post.

Comment on More about the definition of function by some guy on the street

some guy on the street — Tue, 10 Apr 2012 17:41:44 +0000

I don't know if this helps your intended audience, but of late I've taken to thinking of "function" as being that kind of thing whose semantics relate to those of "=" by the deduction schema . Hence, if our ambient semantics are those of ZF set theory, functional relation is quite sufficient, whereas if we are thinking in the Category of Sets and Functions, the equality we're most concerned about is that of morphisms; and so forth.

Comment on Definition of “function” by » More about the definition of function Gyre&Gimble

» More about the definition of function Gyre&Gimble — Tue, 10 Apr 2012 02:10:36 +0000

[...] Maya Incaand commented on my post Definition of "function": [...]

Comment on Definition of “function” by Maya Incaand

Maya Incaand — Thu, 29 Mar 2012 19:36:41 +0000

Why did you decide against "two inequivalent descriptions in common use"?
Is it no longer true?

Comment on Showing categorical diagrams in 3D by » Offloading chunking Gyre&Gimble

» Offloading chunking Gyre&Gimble — Tue, 28 Feb 2012 03:07:28 +0000

[...] could also do it with print instead of voiceover, as I did in the example in this post. In this case you need to arrange to have the printed part and the diagram simultaneously visible. [...]

Comment on Syntax Trees in Mathematicians’ Brains by » Offloading abstraction Gyre&Gimble

» Offloading abstraction Gyre&Gimble — Tue, 28 Feb 2012 01:48:34 +0000

[...] Evaluating an algebraic expression requires seeing the abstract structure of the expression, which can be shown as a tree. I would expect that if the students could automatically generate the tree (as you can in Mathematica) they would retain the picture when working with an expression. In my post computable algebraic expressions in tree form I show how you could turn the tree into an evaluation aid. See also my post Syntax trees. [...]

Comment on Offloading abstraction by SixWingedSeraph

SixWingedSeraph — Mon, 27 Feb 2012 14:35:50 +0000

I have never heard "contracting out" used in that way. But I am not sure I would call it a bug. It's unavoidable that a word will have different meanings in different specialties. "Pink" means "red" among certain types of people who ride horses, and it means cut in a zigzag to some people who sew. And it seems to me there is another meaning…