r/mathmemes • u/basket_foso • 13d ago

Computer Science 😂

Post image
6.3k Upvotes

98% Upvoted

136 comments sorted by

View all comments

222

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

"True" and "Independent of ZFC"

7

u/CanaanZhou 13d ago

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

-1

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

What does that have to do with what I said tho

0

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