math explorer wrote:

Zeta wrote:

math explorer wrote:

Meaning algebra and above.

Mathematical logic applies to so much.

Studying mathematical logic gives you a perspective into how subjective and ill defined most topics of everyday conversation are.

Alfred North Whitehead and Bertrand Russell wrote a book about logic titled

*Principia Mathematica*. I remember it took many pages to prove that 1 + 1 = 2. I don't see where mathematical logic of that order would have any practical use in everyday life.

Use is far too loose a word to use like that. Something being enjoyable is a reasonable "use" from my perspective. And from that point-of-view, all mathematics is useful in daily life to those who enjoy their practices.

In any case, I do not think the poster of that comment meant anything nearly so onerous as that proof when he said "mathematical logic". Another reason why these kinds of discussions are tiresome and often pointless, because everyone is far too avant-garde with how they treat what they're saying and the participants in such a discussion are either unable to see they often don't disagree or become so mired in clarification that all the fun goes out of it.