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 Sometimes all functions are continuous by [Solved]: Can a functional language be homoiconic? – Ignou Group
http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/comment-page-1/#comment-74691
Fri, 03 Mar 2017 15:18:04 +0000http://math.andrej.com/2006/03/27/sometimes-all-functions-are-continuous/#comment-74691[…] power of the language. For example, in $lambda$-calculus we cannot implement the statement “all functions are continuous” but we can if we also have quote at our disposal (this is the essence of […]
]]>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/ […]
]]>