#theorems — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #theorems, aggregated by home.social.
-
What Gödel Discovered (2020)
#HackerNews #Gödel #Discovered #Incompleteness #Theorems #Mathematics #Philosophy #Logic #2020
-
Ah yes, let's all get excited about yet another list of #math #theorems being checked off in #Lean, because who wouldn't want to spend their weekend editing a #YAML file on GitHub? 🤓📝 Apparently, nothing screams cutting-edge #innovation like turning math into a scavenger hunt for theorem provers. 🎉🔍
https://leanprover-community.github.io/100.html #GitHub #theoremprovers #HackerNews #ngated -
#StephenWolfram - Is #Mathematics #Invented or #Discovered?
https://www.youtube.com/watch?v=RlMMeqO7wOI
#Philosophy #PhilosophyOfMathematics #Math #Maths #Logic #Metaphysics #Science #PhilosophyOfScience #Abstraction #Geometry #Arithmetic #Theorem #Theorems #Axiom #Axioms #Axiomatic #AxiomSystem #AxiomSystems #Computation #Irreducibility #CloserToTruth #RobertKuhn