Roger Penrose explains Godel's incompleteness theorem in 3 minutes
Roger Penrose explains Godel's incompleteness theorem in 3 minutes good explanation
from his interview with joe rogan
https://www.youtube.com/watch?v=GEw0ePZUMHAmathematicsproofLINK