![](https://lemm.ee/pictrs/image/c4f8006c-6668-458b-b973-25cf4f8644b1.webp)
![](https://lemmy.world/pictrs/image/0943eca5-c4c2-4d65-acc2-7e220598f99e.png)
Maybe a bit advanced for this crowd, but there is a three-way correspondence between logic, type theory (like in programming languages), and topology. Roughly we have
Proposition ≈ Type
Proof of a prop ≈ member of a Type
Implication ≈ function type
and ≈ Cartesian product
or ≈ disjoint union
true ≈ type with one element
false ≈ empty type
Once you understand it, its actually really simple and “obvious”, but the fact that this exists is really really surprising imo.
https://en.m.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence
You can also add topology into the mix:
Strongest is the caternary arch. Its not listed there for some reason. A caternary is the shape of a chain dangling from its two endpoints. Flip that shape and you get an ideal arch (assuming no additional forces)