3 ms·
When I was a math major in college and in some of the years later, I went through such questions and responses. If you like digging into the issues and work of
by graycat 4y ago
When I was a math major in college and in some of the years later, I went through such questions and responses. If you like digging into the issues and work of G. Cantor, B. Russell, J. von Neumann, K. Godel, P. Cohen, etc., fine.
But here is a shorter response:
Q. Is the square root of 2 rational?
A. Rational means the ratio of two whole numbers.
So, suppose p and q are whole numbers and we have
(p/q)^2 = 2
then we have
p^2 = 2(q^2)
So that the number of factors of 2 on the left side is even while on the right side it is odd. But 2 is a prime number and we have a theorem the fundamental theorem of arithmetic, that for each positive whole number there is only way to factor that number as a product of primes. So, the square root of 2 is not rational. Done.
This argument illustrates the philosophy of mathematics. Here, never mentioned an "ism".
Opinions can vary, but my opinion from my background in pure/applied math is that this little argument about the square root of 2 is about all there is that is solid and needed about the philosophy of math. Opinions can vary!
- ngcc_hk 4y agoThe original proof I heard in high school just assume no common factor between p and q i.e. we can eliminate all factors with common factors for x being rational as m/n to p/q. I miss any argument involving any fundamental theorem. The issue is that it is a contradiction, as it is obvious p and q have 2 as their common factor. This is a proof by contradiction and if logic right, the assumption they are rational is wrong. The historical original by p school (as they are Greek) involving geometry not algebra.