I know there is a term for cases where two mathematical propositions are equivalent but only one is intuitive and the other (and thus the equivalence) is not. Also, the term might apply to surprising, unintuitive connections across different subfields. I believe the term was coined by a mathematician, possibly in the context of category theory, reverse mathematics, mathematicaal foundations, and/or the equivalency of Zorn's lemma and Axiom of Choice. I believe the term is a adjective/noun phrase.

Any help is greatly appreciated. I have scoured my search history for it. It is driving me crazy.

  • $\begingroup$ It is a bit vague, but you are not referring to moonshine, are you? $\endgroup$ – Hagen von Eitzen Nov 23 '18 at 6:47
  • 1
    $\begingroup$ There's no such thing as "unintuitive" in mathematics. There's only "wrong kind of intuition". $\endgroup$ – Asaf Karagila Nov 23 '18 at 8:53

Maybe it's the word cryptomorphic that you're looking for?


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.