@InstanceOfClass the latter is known to be impossible by formal means
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass cf. Halting ProblemThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass cf. Gödel's incompleteness theoremsThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass any kind of reasoning we can learn to perform will have a finite description, right?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass any finite system that proves every true statement will also prove every statementThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass any finite reasoning system that lets us reason about everything will lead to a contradiction.Does introducing a type help?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass well, it seems that to reason formally and perfectly would require thatThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass would being able to reason about every form of reasoning require the ability to decide at least one bit of info about each?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass finitely many total questions?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@InstanceOfClass infinitely many ways of reasoning?Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.