Oxford Mathematics
Region: GB
Sunday 27 September 2026 15:15:25 GMT
40338
2101
69
60
Music
Download
Comments
Prof :
This also caused Bertrand Russell to not finish the Principia 😅
2026-09-27 15:32:41
61
umbrellabob :
same reason why you can't prove why there is existence. you must already use something that exists to prove it. same concept but with math. axioms.
2026-09-28 02:47:05
9
l’afro-descendant :
is it possible that Godel was wrong ? May be he did start with axioms that will be proven to be limited or false in the future.
2026-09-27 16:19:03
4
LeMMy[sZn] :
Incoherence
2026-10-01 05:18:40
0
polymath257 :
Most popular treatments of Godel's results get them wrong in important details. They miss crucial assumptions and usually get the conclusions wrong.
2026-09-29 20:32:41
1
Bryan Mayer :
so there is always an assumption no theory can prove?
2026-09-27 19:55:37
0
Kevin 🇪🇺🏳️🌈 :
It boils down to the system is either incomplete or correct, never both. So there’s always unprovable statements where you can make arbitrary decisions without breaking anything (like x^0 == 1 which is arbitrary but convenient) or the system produces contradictions and inconsistencies (like in present day physics with classical mechanics and quantum mechanics)
2026-09-28 07:55:23
0
Stephen :
Is this near the barber's paradox also to prove the godells theory?
2026-09-27 20:55:47
0
user1119540486619 :
It proves that there is a limitation on knowledge, hence power...
2026-09-28 08:12:39
1
Tomi :
To learn a little about the genius of Von Neumann I recommend Maniac by Labatut, great book!
2026-09-28 17:45:41
1
GQ :
I thought he’s captain America 😅
2026-09-27 18:53:40
1
user255970687947official :
Why does no one talk about his paper on completeness (decidability)? Was it no less intriguing?
2026-09-28 21:14:19
0
Deadend Deafchild :
The first sounds like AI.
2026-09-28 06:04:01
0
Missy :
Please make an episode 2 where you discuss the goals of Ultimate L Conjecture
2026-09-28 03:46:54
0
user4853033767096 :
“Upended mathematics” is legit terrible pure maths myopia.
2026-09-30 12:02:02
0
Zitterbart Escher Bach :
The Tao that can be named is Not the Tao -
2026-09-28 12:07:38
0
Moshi 🤤 :
my type
2026-09-28 22:17:09
0
Camilo M :
por eso yo soy partidario de empezar con logicas de primer orden y complejizar poco a poco
2026-09-27 22:31:21
0
tatapapa :
don’t confuse theory and theorem, we’re dealing with math here
2026-09-27 17:29:22
1
Drizzi1967 :
you cant reach aims without suffering
2026-09-27 19:31:24
0
WPO-Netherlands :
Anyway we remain prisoners in Plato's cave looking at shadows
2026-09-27 21:51:02
0
among.them :
Godel's theorems shows that no theory can be proven using the rules of that theory and those which tie to it. In effect, he was speaking about faith claims, like religion saying you have to use their doctrine to disprove/prove their faith, or science saying you have to use its doctrines to prove/disprove its models/theories. It was a way for the Priestly Order to show they knew their stuff — nothing can be proven because one cannot tell a truth from a falsehood using their theorems (if they could, they would have no ability to tell a falsehood with their truth), and without knowing which falsehood allows the illusion to be counted as true, one cannot prove anything other than that they cannot figure out which thing is false. But, Godel was also operating in the realm of the official theorems and basing his conclusion on their confined approach alone. Still, his theorems effectively state, "Every theory is just a believable guess, even this one," since he used a system of theorems of math that was meant to be complete (the standard math) to create that theorem, meaning it falls under its own claim. Using this theorem and all the other theorems that could be drawn from to come up with it, one cannot prove this theorem nor any of its associated theorems. It's rhetoric that translates to, "Every theory using the standard theorems is built on a biased perspective. that prevents truth from being known." Weird to create laws over things before you know how they work, isn't it? And yet, there are many different scientific "laws" and mathematical axioms acting the same as laws which confine one's ability to rationalize well enough to separate the truth from the falsehoods from the anti-truths from the anti-falsehoods (which are different than just false and true in that they are both true and false but each with varying quantities of both, sometimes even equal parts both, so that they can be called either or neither). Godel's statement was that you have to go outside of the standardized education if you want to be able to separate the true and the false properly and understand the natural properly. Doctrine always obscures the truth, even as it reveals it.
2026-09-28 21:17:08
0
Criticón Tropus :
every statement about Godels never proves it. any algorithm capable of infinite numbers of theorems (combinations of propositions about the properties of numbers) may exhaust the set of all possible numbers theorems, including (of course) absurd
2026-09-27 19:43:08
2
Formally known as...Shhhhhh :
Eyes can't see around corners...there are many corners...losing is inevitable. Omnipotence is silly.
2026-09-27 19:32:01
1
Rizzla :
👏👏👏
2026-09-27 15:36:36
0
To see more videos from user @oxfordmathematics, please go to the Tikwm
homepage.
