3 ms·

You are correct, I apologize for the confusion! :)

• hnfong 3y ago
  Assuming your claim is not equivalent to "matrix multiplication is in O(n^2)", then it is false assuming conventional mathematics (i.e. uncountable sets exist), because j in R is uncountable, and algorithms are countable...
  • akoboldfrying 3y ago
    Are algorithms on a Real RAM [1] countable? That would mean that there are constants you can't express. [1] https://en.wikipedia.org/wiki/Real_RAM https://en.wikipedia.org/wiki/Real_RAM
  • ernesth 3y ago
    You do not need a different algorithm for each real. Just take the algorithm that proves the statement for rational p. It proves the statement for all reals bigger than p. (hence having as many algorithms as there are rational (countably many) is enough)
    • hnfong 3y ago
      Then that’s basically saying there is a O(n^2) algorithm which I dealt with in my first sentence.