So like this is legit proof that redemption was possible all along and Charlie was onto something the whole time, the look on Seras face is fucking pricless, like now you have cold hard proof slapped in your face bitch, what are you gonna say now.
713 notes
·
View notes
In 1931, the Austrian logician Kurt Gödel pulled off arguably one of the most stunning intellectual achievements in history.
Mathematicians of the era sought a solid foundation for mathematics: a set of basic mathematical facts, or axioms, that was both consistent — never leading to contradictions — and complete, serving as the building blocks of all mathematical truths.
But Gödel’s shocking incompleteness theorems, published when he was just 25, crushed that dream. He proved that any set of axioms you could posit as a possible foundation for math will inevitably be incomplete; there will always be true facts about numbers that cannot be proved by those axioms. He also showed that no candidate set of axioms can ever prove its own consistency.
His incompleteness theorems meant there can be no mathematical theory of everything, no unification of what’s provable and what’s true. What mathematicians can prove depends on their starting assumptions, not on any fundamental ground truth from which all answers spring.
Natalie Wolchover, How Gödel’s Proof Works, Quanta Magazine, July 14, 2020
59 notes
·
View notes
I Caught You Bae Bae
Dance Practice Live Performance
56 notes
·
View notes
Pasta did you see this?!?!
I DID NOT I HAVE BEEN RUNNING ERRANDS ALL DAY AND CAME BACK TO THIS, OH MY FUCKING GOD
We just - keep winning????? And now they're just leaning ALL IN on it being connected to Netflix DD. THIS IS THE FUCKING BEST???? i just
111 notes
·
View notes
Proof differs from analysis. Proof establishes that something happened. Analysis shows why it happened. Proof is a mode of argument that is, by definition, complete; but the price of its completeness is that proof is always formal. Only what is already contained in the beginning is proven at the end. In analysis, however, there are always further angles of understanding, new realms of causality. Analysis is substantive. Analysis is a mode of argument that is, by definition, always incomplete; it is, properly speaking, interminable. The extent to which a given work of art is designed as a mode of proof is, of course, a matter of proportion. Surely, some works of art are more directed toward proof, more based on considerations of form, than others.
Susan Sontag, "Godard’s Vivre Sa Vie"
188 notes
·
View notes
♡ Ochako Uraraka (My Hero Academia) - PROOF
61 notes
·
View notes