Johnicholas comments on Tarski Statements as Rationalist Exercise - Less Wrong

11 Post author: Vladimir_Nesov 17 March 2009 07:47PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (8)

You are viewing a single comment's thread. Show more comments above.

Comment author: Johnicholas 18 March 2009 02:40:03PM 3 points [-]

Yes, I'm familiar with category theory commutative diagrams. Still, I think it would be beneficial to draw the diagram (or write the equation - I can draw the diagram from the equation), because it requires you to name the elements, the dots and the arrows.