6 ms·
Does the functional equality being impossible to determine thing work for math problems? I know it works for computable functions, but math functions are pure a
by carbotaniuman 2y ago
Does the functional equality being impossible to determine thing work for math problems? I know it works for computable functions, but math functions are pure and total so it seems easier.
- chongli 2y agoMath functions are not total, in general. Computable functions are a subclass of all functions, so lots of functions are not computable. Purity doesn't apply to functions, it applies to algorithms which compute functions. In software parlance the terms are often conflated but they are not equivalent. The algorithm which computes a function is in general not unique.
- kccqzy 2y agoJust determining the equality of two real numbers is difficult.
- xigoi 2y agoThe problem is that what you’re comparing are not functions, but representations of functions.