Re:Landmark math proof clears hurdle in top Erdős conjecture
by dmch-1 on Sunday August 16, 2020 @09:30AM
(#24177610)
I find the existence of number theoretic problems quite puzzling. I wonder what are the implications about the world we can make from them.
[ Parent
| on HN ]
Re:Landmark math proof clears hurdle in top Erdős conjecture
by raincom on Sunday August 16, 2020 @11:13AM
(#24178446)
Aha, it’s an ontological question. Most mathematicians believe that numbers, sets, etc don’t exist in the world we live in, but exist in a special world called “Platonic world”. That’s what Platonism in philosophy of mathematics is about.
Re:Landmark math proof clears hurdle in top Erdős conjecture
by dmch-1 on Sunday August 16, 2020 @06:13PM
(#24181810)
I agree that numbers don't exist in the real world. However, we humans have an ability to perceive the world through numbers. The question then is about our perception of the world if you wish.
Re:Landmark math proof clears hurdle in top Erdős conjecture
by raincom on Sunday August 16, 2020 @07:33PM
(#24182317)
There is a subtle issue lurking behind. And that can be framed as a question: can one access things(say, numbers) that do not exist? If the answer is "Yes", then we don't need the Platonic world. Otherwise, we need to postulate the existence of numbers and sets in another world (Platonic world). You can also see people who are looking for Platonic love.
In other words, it is an issue between access and existence. Does access need existence? For instance, when X says 'John is charismatic', is 'charisma' like 'neurosis'? Definitely not, and X sees John's charisma. And this charisma doesn't play the causal role.
Re:Landmark math proof clears hurdle in top Erdős conjecture
by renaicirc on Sunday August 16, 2020 @01:26PM
(#24179504)
I strongly doubt that "most" mathematicians are Platonists.
Re:Landmark math proof clears hurdle in top Erdős conjecture
by roywiggins on Sunday August 16, 2020 @01:00PM
(#24179316)
Most modern cryptography relies on number theory.
Re:Landmark math proof clears hurdle in top Erdős conjecture
by imglorp on Sunday August 16, 2020 @10:59AM
(#24178332)
Math is the formal study of patterns. The universe is built on patterns. The universe is beautiful. Math is beautiful.
Maybe we don't know today if there's an application, but notice that proof mentioned using Fourier Transforms to study a set, the same way you might use it to study a radio signal. There was probably a time when people asked what use is FT?