• 17 Posts
  • 227 Comments
Joined 2 years ago
cake
Cake day: February 19th, 2024

help-circle











  • technocrit@lemmy.dbzer0.comtoScience Memes@mander.xyzSo much...
    link
    fedilink
    English
    arrow-up
    1
    arrow-down
    1
    ·
    edit-2
    25 days ago

    euclidean geometry is famously complete

    Nah, euclidean geometry was not complete. Tarski didn’t come up with a complete version until the 20th century. I’m not sure how famous Tarski geometry is, but it doesn’t seem very famous in USA outside of math depts.

    this doesn’t mean that “it’s impossible to create any consistent set of math statements that completely describes everything,”

    It says far less than that: “It’s impossible for a mathematical system containing the natural numbers to be both complete and consistent.”

    In itself it has very little to do with physical reality. I think it’s more about how we think about math and then its applications.

    reality itself could be a complete system, understandable from both the outside and inside if only viewed at the right angle…

    This has been largely debunked.

    hilbert’s dream is not dead yet,

    I dunno what his dream was, but Hilbert’s program is very much dead.









  • 102 -> 894

    Come on now. I know that asking for 1.3.1 is pure madness… But can’t we get a beta version of 1.3.0 maybe?

    If the nightly version is good, just put out a new release after 5 years. Are they shooting for some milestone or something?

    (Really tho I’m glad this project is still active and I’ll check out the nightly version.)