#incompleteness — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #incompleteness, aggregated by home.social.
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
Just found a note on my phone from a few months ago that I have no recollection writing: “remember that the man who invented teleportation was almost universally hated because his invention drove everyone mad & the restlessness killed everything we ever loved” - seems legit #teleportation #madness #hysteria #psychology #sociology #science #nonsense #delirium #fugue #incompleteness
-
#JeffreyKaplan - The #LiarParadox - an explanation of the #Paradox from 400 BCE
https://www.youtube.com/watch?v=in4u2i9v4vg&ab_channel=JeffreyKaplan
#Philosophy #PhilosophyOfLogic #Logic #Language #Math #Maths #Mathematics #Truth #SelfReference #Completeness #Incompleteness #StarTrek #Kirk #CaptainKirk #Picard #CaptainPicard
-
What if the #Universe is #Math?
https://www.youtube.com/watch?v=F__elfR3w8c&ab_channel=PBSSpaceTime
#Philosophy #Science #Maths #Mathematics #MathematicalStructure #MathematicalStructures #Cosmology #Metaphysics #AnthropicPrinciple #Reality #Realism #Platonism #Multiverse #Level4Multiverse #LevelFourMultiverse #Multiverses #Goedel #Incompleteness #TheHaltingProblem #HaltingProblem #Incomputability #PBS #SpaceTime #PBSSpaceTime
-
@corbden So, this whole complex of ideas (#philosophy)a is connected to (among others) the concepts of #incompleteness (#Gödel #Goedel), #creativity #cognition #psychology #aesthetics #pedagogy #learning #AI #AGI and the limits of #algorithms and #formalization.
There are known instances of physical entities for which it can be shown that they are not computable. I think human beings are like that and AGIs must be like that. The limits of the Turing-computable are not the limits of the possible. -
#SethLloyd - Theorem of Human #Unpredictability
https://www.youtube.com/watch?v=AIWemQthcZg&ab_channel=SeriousScience
#Philosophy #Science #PhilosophyOfScience #FreeWill #HumanUnpredictability #Information #Computability #HaltingProblem #TheHaltingProblem #Programming #AI #ArtificialIntelligence #Recursion #SelfReference #Goedel #KurtGoedel #Incompleteness #IncompletenessTheorem