PeroK's latest activity

OK, but assuming we're talking about a system capable of emulating or even exceeding human reasoning, how could we possibly anticipate...

The answer would be something no-ish, I think Unless some random behaviour is intentionally incorporated in programming, a computer is...

Thank you so much Greg! Again, please don't worry. It could have been some occasional glitch, not worth losing time over it. Let's see...

An initial draft? That was typed and not posted? Well, now it is gone!

Welcome!

I'm a high school student and my teacher signed me up for some kind of olympiad and now I'm learning stuff, but at a pretty slow pace. I...

There's a curious parallel here. When great authors invent their characters and where they reside, they often find that the story...

My question is: what diffetence does it make?! No matter what the answer is, it will not change how we learn, teach or do maths, will it?

It could be an invention of the human mind, via the formalisation of abstract mathematics.

You just self-corrected. You could "choose any random axioms for your theory", but you don't - and the reason you don't is because...

The monster group isn't an object in our universe.

The counter argument is that group theory was "invented". And that, although symmetries appear in nature, the concept of mathematically...

Couldn't that be said about any mathematical object or operation? Say, 1+1=2? Or pi? Why pick on the monster group of all things? And...

I thought you were going to say that the monster group shows that mathematics is invented! You could say the same about the wheel. The...

My example to the "is mathematics invented or discovered?" question is the monster group. This is the largest simple group, with...