• Xandi@feddit.org
    link
    fedilink
    arrow-up
    2
    ·
    2 days ago

    Nice summary! And I completely agree, mathematics provide a toolbox for reasoning. A proof about a model is the cheapest way of obtaining knowledge