Premium Only Content
This video is only available to Rumble Premium subscribers. Subscribe to
enjoy exclusive content and ad-free viewing.

🧠📜 Gödel's Incompleteness Theorem EXPLAINED 🧩💻 | Pen, Paper & Proof Assistant Power! ✍️🧮
1 month ago
4
Technology
goedel
incompletenesstheorem
computerscience
computerphile
mathematics
formallogic
proofassistant
lean
mathematicallogic
theoreticalcs
Professor Thorsten Altenkirch breaks down Gödel’s mind-bending theorem using pen, paper & the Lean proof assistant 🧠📐 Prepare for deep logic! 🔍✨
Loading comments...
-
LIVE
Dear America
1 hour agoTrump DESTROYS Dems: ‘Blood On Their Hands!’ — America Won’t Survive Without Law & Order”
19,651 watching -
LIVE
Matt Kohrs
5 hours agoStock Market Open: Bulls Push For New Highs || Live Trading Futures
617 watching -
LIVE
Wendy Bell Radio
4 hours agoSay Their Names
6,863 watching -
LIVE
LFA TV
3 hours agoLFA TV ALL DAY STREAM - TUESDAY 9/9/25
7,459 watching -
1:13:16
JULIE GREEN MINISTRIES
2 hours agoTHINGS THAT WERE BURIED IN YOUR CAPITAL HAVE BEEN FOUND
68K139 -
LIVE
JuicyJohns
1 hour ago $0.29 earned🟢#1 REBIRTH PLAYER 10.2+ KD🟢
107 watching -
19:37
BlaireWhite
1 day agoWe Need To Talk About The Trans Shooter, "Robin" Westman.
4.72K8 -
12:22
Chad Prather
14 hours agoFinding God’s Timing in a World of Pressure
12.6K2 -
LIVE
The Pete Santilli Show
3 hours agoMORNING STREAM Tuesday September 9, 2025 💣 THE PETE SANTILLI SHOW & SANTILLI REPORT (Monday 9/8)
472 watching -
LIVE
The Chris Salcedo Show
12 hours ago $1.90 earnedWhat Does The Data & Science Say?
432 watching