Conversation

what is the length of the shortest contradiction you can produce in an inconsistent axiom system

9:04 PM · Feb 3, 2017Twitter Web Client

Tormented Ghost

Replying to

12 parsecs

Replying to

or: how long is the shortest proof of a system's inconsistency

1

1

Replying to

three characters

which is why the addendum, yeah