News for hackers. Stuff that matters.

A comment on Structuralism as a Philosophy of Mathematics. Parent comment

Re:Structuralism as a Philosophy of Mathematics by mgn115 on Sunday April 07, 2024 @07:28AM (#39960074)
Mathematical structuralism was developed to explain the ontology of mathematical objects, and is often contrasted with Platonism, which is the position that numbers are real things like you or I.
[ Parent | on HN ]
Re:Structuralism as a Philosophy of Mathematics by denton-scratch on Sunday April 07, 2024 @08:29AM (#39960299)
I'm not real. I'm not sure about you.
[ Parent | on HN ]
Re:Structuralism as a Philosophy of Mathematics by 082349872349872 on Sunday April 07, 2024 @09:15AM (#39960555)
Found the co-solipsist.
[ Parent | on HN ]
Re:Structuralism as a Philosophy of Mathematics by jjgreen on Sunday April 07, 2024 @10:22AM (#39960975)
The working mathematician is a Platonist on weekdays, a formalist on weekends.

Reuben Hersh

[ Parent | on HN ]
Re:Structuralism as a Philosophy of Mathematics by zhouyisu on Sunday April 07, 2024 @03:04PM (#39962931)
A funny insight about Platonism (if it's not funny, treat this as a bad joke)

I think aka "∅" therefore I know I thought aka "{∅}" therefore I know I knew I have thought aka "{{∅}}"

and ...

boom! The entire Math system is imported. (BTW, limitations known as "computation theory" is also introduced)

So maybe we are actually mathematical being on a manifold named as "real world". To me it is more concise and profound than "philosophy". As we are real, so do all mathematical objects.

[ Parent | on HN ]
Re:Structuralism as a Philosophy of Mathematics by raincom on Monday April 08, 2024 @02:43PM (#39972556)
The problem is: do numbers exist? One group says, they don't. Another say, they do exist in the Platonic world, but this Platonic world is accessible from the world we inhabit in. Next time, look at the folks who looks for Platonic love:)
[ Parent | on HN ]