News for hackers. Stuff that matters.
Re:Opinions of Doron Zeilberger by pron on Friday January 19, 2024 @02:04PM (#39059600)
I think that even a finitist would admit that it was Turing's work that paved the path to computational complexity theory [1], which could be presented as the finitist view of computability, and is not just plainly meaningful from a finitist's perspective, and not just eminently practical (perhaps indirectly), but perhaps also the very foundation of ascribing meaning to finitism.

So if "nonsense" breeds meaning, is it really nonsensical?

[1]: The birth of complexity theory is attributed to Hartmanis and Stearns's 1965 "On the Computational Complexity of Algorithms, which very directly builds on Turing's work: https://www.ams.org/journals/tran/1965-117-00/S0002-9947-196...

Re:Opinions of Doron Zeilberger by _0ffh on Friday January 19, 2024 @02:34PM (#39059979)
> So if "nonsense" breeds meaning, is it really nonsensical?

How bad would the analogy be to a calculation with imaginary numbers that still yields a real result?

Re:Opinions of Doron Zeilberger by senderista on Friday January 19, 2024 @04:13PM (#39061245)
Very bad. Ordered pairs of real numbers are neither more nor less real than real numbers themselves.

Would you say that the rationals (equivalence classes of ordered pairs of integers) are "less real" than the integers?

Re:Opinions of Doron Zeilberger by _0ffh on Friday January 19, 2024 @04:21PM (#39061363)
The point of the analogy was that a calculation might involve mathematical concepts that from some point of views may seem iffy on the face of them, but still arrive at a result that does not involve any of the intermediate perceived iffyness.
Re:Opinions of Doron Zeilberger by pron on Friday January 19, 2024 @05:18PM (#39062072)
Indeed, some people misrepresent Hilbert's formalism [1] to say that mathematical statements have no intrinsic meaning but are rather just a "game of symbols". What he really said was that we could split mathematical statements into "real" ones, dealing with the finitary, and "ideal" statements, with infinitary terms. He said that the manipulation of ideal statements could be considered a possibly meaningless "game of symbols", but such a game can be used to help prove finitary, "real" statements that are meaningful. As long as you cannot arrive at a contradiction involving finitary statements, infinitary ones are useful. In that view, infinitary statements could be considered meaningless (in the sense that they don't themselves describe anything real) yet not nonsensical.

[1]: https://en.wikipedia.org/wiki/Formalism_(philosophy_of_mathe...

Re:Opinions of Doron Zeilberger by pron on Friday January 19, 2024 @05:28PM (#39062215)
* s/finitis[t|m]/ultrafinitis[t|m]/g