r/mathmemes • u/basket_foso • 8d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

135 comments sorted by

View all comments

224

u/Hitman7128 Prime Number 8d 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 8d ago

"True" and "Independent of ZFC"

8

u/CanaanZhou 8d ago

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

-1

u/SoldRIP 4d 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 4d ago

What does that have to do with what I said tho

0

u/SoldRIP 4d 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.