Banal remarks
کم مینویسم، بیشتر جمع میکنم
Tuesday, April 15, 2014
Gödel's first incompleteness theorem
Any effectively generated theory capable of expressing elementary arithmetic cannot be both
consistent
and
complete
.
Newer Posts
Older Posts
Home
Subscribe to:
Posts (Atom)