Comments for Mathematics and Computation
http://math.andrej.com
Mathematics for computersFri, 03 Mar 2017 15:26:27 +0000hourly1https://wordpress.org/?v=4.8-alpha-40048Comment on The elements of an inductive type by [Solved]: Is path induction constructive? – Ignou Group
http://math.andrej.com/2013/08/28/the-elements-of-an-inductive-type/comment-page-1/#comment-74692
Fri, 03 Mar 2017 15:26:27 +0000http://math.andrej.com/?p=1535#comment-74692[…] compute with closed terms of a type, that does not mean we have actually defined anything because there is more to a type than its closed terms, as I tried to explain […]
]]>Comment on Seemingly impossible functional programs by [Solved]: Turing Completeness + Dataflow Unification = Arbitrarily invertible (pure, nonrecursive) functions? – Ignou Group
http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/comment-page-1/#comment-74690
Fri, 03 Mar 2017 15:16:28 +0000http://math.andrej.com/2007/09/28/seemingly-impossible-functional-programs/#comment-74690[…] can also invert functions on infinite lazy data structures. And as a special case of this, we have Seemingly impossible functional programs. As you can see, in some sense, it is easier to invert a function on a domain containing infinitely […]
]]>Comment on The hydra game by Laaarge numbers, Part II – Blog – Henrik Ilgen
http://math.andrej.com/2008/02/02/the-hydra-game/comment-page-1/#comment-74689
Thu, 02 Mar 2017 13:51:22 +0000http://math.andrej.com/2008/02/02/the-hydra-game/#comment-74689[…] for large numbers, we encounter a mythical monster – the Hydra. We will though deal with a well known, more abstract version of […]
]]>Comment on The hydra game by How Infinity Explains the Finite | Infinite Series | Video Bloggers
http://math.andrej.com/2008/02/02/the-hydra-game/comment-page-1/#comment-74602
Sat, 04 Feb 2017 15:15:03 +0000http://math.andrej.com/2008/02/02/the-hydra-game/#comment-74602[…] The Hydra Game http://math.andrej.com/2008/02/02/the-hydra-game/ […]
]]>Comment on The hydra game by The Hydra Problem – Mathspiration
http://math.andrej.com/2008/02/02/the-hydra-game/comment-page-1/#comment-74340
Mon, 30 Jan 2017 16:15:08 +0000http://math.andrej.com/2008/02/02/the-hydra-game/#comment-74340[…] than basic graph theory (it is nicely summed up in the article pointed out by @anorton, i.e. here, if you are wondering what the mysterious symbol ?? means, check out theĀ ordinal numbers at […]
]]>