There is a vast difference between deducibility in math and an existence proof i

Source date (UTC): 2015-07-19 19:55:40 UTC

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

Reply addressees: @SanguineEmpiric

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

IN REPLY TO:

Original post on X

Original tweet unavailable — we could not load the text of the post this reply is addressing on X. That usually means the tweet was deleted, the account is protected, or X does not expose it to the account used for archiving. The Original post link below may still open if you view it in X while signed in.

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