3 ms·
My point is that if you prove that 91 has as its prime factors 7 and 13, I don't care if you did that proof using infinite methods or not. In general, I am onl
by auggierose 10y ago
My point is that if you prove that 91 has as its prime factors 7 and 13, I don't care if you did that proof using infinite methods or not.
In general, I am only proving theorems that are useful to me, so "a bit less useful" doesn't apply to these situations. If I needed that "bit more usefulness", I would go ahead and prove it (if I could).
Your reasoning mostly only applies if you prove theorems for their own sake, and not because you already know what you want them for.
- Smaug123 10y agoIt's only an analogy. The analogy is meant to be "prove that 91 has prime factors" using infinitistic methods, and "prove that 91's prime factors are 7 and 13" using finitistic ones.
- auggierose 10y agoI am aware of that. That's why analogies are usually not very useful.
- Smaug123 10y agoI have no idea how you learn, but analogies are basically the only way I use of absorbing new concepts.
- auggierose 10y agoInteresting. I learn by playing around with the concept until I gain some intuition about it. No analogies required.