The monotheistic all powerful one.

  • HexesofVexes@lemmy.world
    link
    fedilink
    arrow-up
    2
    ·
    6 months ago

    In classical logic, trichotomy on the reals (any given numbers is either >0, <0 or =0) is provably true; in intuitionistic logic it is probably false. Thanks to Godel’s incompleteness theorem, we’ll never know which is right!