What do you mean by the second sentence? Like writing ten times ten instead of one hundred ?
Discussion
Yeah
I don’t know about this. Never saw a maths theorem with letters before. Maybe it’s something for fun
Letters instead of digits. But you get my point
Wish we had voice rn lol. You get the gist. Highlights how even formalized language can lead to basic contradictions if you're not more careful. Came up when reading some stuff today on foundations of math... you'll love my upcoming blog post if you like this. Soontm