Search
Feeds
Discover
Login
Debug
Fork on GitHub
See full post
Lean Focused Research Organization
lean-lang.org
Thorsten Altenkirch explains Gödel's Incompleteness Theorem on
@computerphile.bsky.social
, and shows some definitions in
#LeanLang
! 🎯 Watch here:
www.youtube.com/watch?v=IuX8...
Gödel's Incompleteness Theorem - Computerphile
YouTube video by Computerphile
youtube.com
Aug 6, 2025 13:46
0
reposts
0
quotes
0
likes
Repost
Quote post
View on Bluesky
Copy Bluesky URL
Copy post URL
Translate post
Show all post labels
An unhandled error has occurred.
Reload
🗙
Aug 6, 2025 13:46
Aug 6, 2025 13:46