“tries to show how recursive and constructive mathematics could be employed to e

Source date (UTC): 2015-09-13 09:42:20 UTC

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

Reply addressees: @SanguineEmpiric

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

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/642982818268606468