<story><title>Toward an exploratory medium for mathematics</title><url>http://cognitivemedium.com/emm/emm.html</url></story><parent_chain></parent_chain><comment><author>mockery</author><text>Are these videos of an functioning piece of software, or mockups? There are a lot of interactions that are glossed over, and it&amp;#x27;s not obvious to me how this software would function.&lt;p&gt;I&amp;#x27;m also skeptical about the characterization of an exploration of the properties of a single 2D matrix as &amp;quot;real mathematical work.&amp;quot;</text></comment>
<story><title>Toward an exploratory medium for mathematics</title><url>http://cognitivemedium.com/emm/emm.html</url></story><parent_chain></parent_chain><comment><author>munin</author><text>this looks really cool!&lt;p&gt;I think it&amp;#x27;s weird that the author dings matlab and mathematica for being unable to do counterfactual reasoning. matlab and mathematica are computational tools, they don&amp;#x27;t do &amp;quot;reasoning&amp;quot; the way that say coq or other proof assistants do. and proof assistants can do counterfactual reasoning, so what&amp;#x27;s the deal? beyond that it would take a lot of work to encode these graphical diagrams into coq I guess...</text></comment>