What is Nostr?
Joe /
npub19yp…l9qv
2023-09-12 17:53:53
in reply to nevent1q…4j8h

Joe on Nostr: npub1zdp33…2vqv8 It seems to me that an algorithm is only part of a statement. A ...

npub1zdp33shl69xr0uq3x8n5gsjykq9upycwh6nqm02c3f6x0frrn0dq42vqv8 (npub1zdp…vqv8) It seems to me that an algorithm is only part of a statement. A statement would include an algorithm together with assertions about what the result of applying that algorithm is, and that statement might be provable, might just be a conjecture.
Author Public Key
npub19yp8xfnn2ecx4eg8vpss3xwhlqkcfqhpzthlsyypytg7xdvns9tq8vl9qv