body { -ms-overflow-style: scrollbar; overflow-y: scroll; overscroll-behavior-y: none; } .errorContainer { background-color: #FFF; color: #0F1419; max-width: 600px; margin: 0 auto; padding: 10%; font-family: Helvetica, sans-serif; font-size: 16px; } .errorButton { margin: 3em 0; } .errorButton a { background: #1DA1F2; border-radius: 2.5em; color: white; padding: 1em 2em; text-decoration: none; } .errorButton a:hover, .errorButton a:focus { background: rgb(26, 145, 218); } .errorFooter { color: #657786; font-size: 80%; line-height: 1.5; padding: 1em 0; } .errorFooter a, .errorFooter a:visited { color: #657786; text-decoration: none; padding-right: 1em; } .errorFooter a:hover, .errorFooter a:active { text-decoration: underline; } #placeholder, #react-root { display: none !important; } body { background-color: #FFF !important; }

JavaScript is not available.

We’ve detected that JavaScript is disabled in this browser. Please enable JavaScript or switch to a supported browser to continue using twitter.com. You can see a list of supported browsers in our Help Center.

Terms of Service Privacy Policy Cookie Policy Imprint Ads info © 2023 Twitter, Inc.

Conversation

Kareem Carr | Data Scientist

When I studied math, I learned that not all math truths were provable which was disappointing. When I studied computer science, I learned that not everything was computable which was even worse. Basically, I no longer believe that all truths are discoverable using science alone.

81

149

1,100

Replying to

Not all math truths are provable is something provable by math; also imo this points closer to "unknowable"; math shows that some things cannot be known. This is a pretty far cry from "I'm can go know this unprovable thing without math now"

6:11 PM · Mar 7, 2021

Replying to

and

Gödel sentences don’t have to be truths, they can be false on some interpretations too. But if you fix an interpretation then they’re definitely knowable

1

7

Replying to

and

Exactly! It's like saying "physics says we can't travel faster than light, therefore I learned to not rely on physics for understanding the world".

2

Replying to

and

It’s not provable by any mathematical system; metamathematics is necessary to reach this conclusion.

1