(sorry for the repost; corrected a mistake in the original that made the answer trivially no)
Math thought:
Does there exist some set of axioms S and auxiliary statement Q such that there exists some proposition P where (S ∪ Q) → P and (S ∪ ¬Q) → P, but where S alone is not strong enough to prove P?
Can such an ensemble be constructed?
attn @Austin_Dern because I know you're a math sort of person
alternative to #Capitalism
found at https://twitter.com/greenpeaceusa/status/831926115916709888
1.6A09E667F3BCC908B2FB1366EA957D3E3ADEC17512775099DA2F590B0667322A95F90608757145875163FCDFB907B6721EE950BC8738F694F0090E6C7BF44ED1A4405D0E855E3E9CA60B38C0237866F7956379222D108B148C1578E45EF89C678DAB5147176FD3B99654C68663E7909BEA5E241F06DCB05DD5494113208194950272956DB1FA1DFBE9A74059D7927C1884C9B579AA516CA3719E6836DF046D8E0209B803FC646A5E6654BD3EF7B43D7FED437C7F9444260FBD40C483EF55038583F97BBD45EFB8663107145D5FEBE765A49E94EC7F597105FBFC2E1FA763EF01F3599C82F2FE500B848CF0BD252AE046BF9F1EF7947D46769B
it occurs to me that it would be possible to make images specifically designed to look like something entirely different when shown in grayscale than when shown in color
because you lose information in the conversion. it'd be easy to make a multi-colored image that comes out as solid gray, and a bit more difficult to have an image that has minor changes to it when grayscale-ized
Plural system of three, Felthry, Alaric and Rosemary. We'll sign posts with a -F, -A, or -R.
Autistic, 20-something, anxious mess
Please introduce yourself before sending a follow request.
#FelthrysVGMSelection for my music picks.
Current avatar by @hi_cial