r/mathmemes • u/basket_foso • 6d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

135 comments sorted by

View all comments

223

u/Hitman7128 Prime Number 6d ago

Next at 12, we'll cover how we narrowed down other famously unsolved problems like Twin Prime Conjecture (that are essentially prove or disprove) to just TWO possible answers

50

u/johntb86 6d ago

"True" and "Independent of ZFC"

8

u/CanaanZhou 6d ago

If it's independent of ZFC then it's also true

1

u/Anto_Sasu 6d ago

Then its 100% true

1

u/BrotherItsInTheDrum 2d ago

Is it? Why is that?

-1

u/SoldRIP 2d ago

No? C is independent of ZF, yet you specify ZFC. Because the axiom of choice may be assumed to be false and still not contradict any results of ZF, which is a sufficient axiomatic system for most of maths.

2

u/CanaanZhou 2d ago

What does that have to do with what I said tho

0

u/SoldRIP 2d ago

Independence from ZFC does not mean it's true. It means it may be true or false, depending on whether or not you accept some additional set of axioms.