this post was submitted on 17 Aug 2023
6 points (100.0% liked)

math

265 readers
1 users here now

Interesting news and discussion centered around Mathematics

founded 1 year ago
MODERATORS
[email protected]
6
Is there a question about a purely finite structure that's independent of ZF, or just ZF-infinity? (lemmy.sdf.org)
submitted 1 year ago* (last edited 1 year ago) by [email protected] to c/[email protected]
0 comments fedilink hide all child comments
 

If not, that seems like a good argument in favour of finitism. If so, what if anything does it mean if you solve it by brute force?

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here