Gödel tapping the sign
No consistent system of axioms whose theorems can be listed by an effective procedure (i.e., an algorithm) is capable of proving all truths about the arithmetic of natural numbers
philosophy
!philosophy@hexbear.net
Other philosophy communities have only interpreted the world in various ways. The point, however, is to change it. [ x ]
“I thunk it so I dunk it.” - Descartes
Short Attention Span Reading Group: summary, list of previous discussions, schedule
Community stats
79
Monthly active users
120
Posts
521
Comments
