Philosophy: decidability within a domain. True: decidability independent of doma

Written by

Philosophy: decidability within a domain. True: decidability independent of domain.

Source date (UTC): 2017-07-14 12:24:32 UTC

Original post: https://twitter.com/i/web/status/885837413632942080

Reply addressees: @ahaspel

Replying to: https://twitter.com/i/web/status/879409634028789760

IN REPLY TO:

@ahaspel

Valid, complete arguments are known as proofs. The rest is philosophy.

Original post: https://twitter.com/i/web/status/879409634028789760

Comments