>> One annoying thing about both the Collatz and Goldbach conjectures is that if they are unprovable, it's also impossible to prove they're unprovable (unless m

>> One annoying thing about both the Collatz and Goldbach conjectures is that if they are unprovable, it's also impossible to prove they're unprovable (unless math is inconsistent). This has been proved! That’s the most fun thing I’ve read all day!