Why, a hexvex of course!

  • 2 Posts
  • 131 Comments
Joined 2 years ago
cake
Cake day: June 10th, 2023

help-circle




  • HexesofVexes@lemmy.worldtoScience Memes@mander.xyzStupid sexy raft
    link
    fedilink
    English
    arrow-up
    19
    ·
    edit-2
    9 days ago

    So, hear me out here, there is a huge reproduction crisis out there. In theory, you could try to replicate this study without the researcher being an asshole and see if it still works out and this would be a valuable line of research that could technically get funded.

    I’m going to need a decent ship, some volunteers, and a 101 day supply of daiquiris.

    Edit: (For clarity - this is scientific reproduction, not human reproduction)














  • Ehh…

    So, it’s more a case that the system cannot prove it’s own consistency (a system cannot prove it won’t lead to a contradiction). So the proof is valid within the system, but the validity of the system is what was considered suspect (i.e. we cannot prove it won’t produce a contradiction from that system alone).

    These days we use relative consistency proofs - that is we assume system A is consistent and model system B in it thus giving “If A is consistent, then so too must B”.

    As much as I hate to admit it, classical set theory has been fairly robust - though intuitionistic logic makes better philosophical sense. Fortunately both are equiconsistent (each can be used to imply the consistency of the other).