I think there is no consensus to use index sets starting with 1, especially not for tuples/words (actually, there was a consensus to start with 0 for words, see discussion in https://groups.google.com/g/metamath/c/UwTUuNPgaB0/m/NdWefzG4AgAJ). Regarding matrices, I am also in favour of starting with 1, but Norm's argument is only for one of many criteria discussed here.
On Friday, September 4, 2020 at 1:09:29 PM UTC+2 fl wrote: > Apparently essentially 100% of linear algebra textbooks start at 1. >> > > > Well I think there is now a consensus in the use of matrices, tuples and > words. > > -- > FL > > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/1f23bc65-503e-48f6-87a2-467c98b127a1n%40googlegroups.com.
