• 0 Posts
  • 1 Comment
Joined 10 months ago
cake
Cake day: February 1st, 2025

help-circle
  • I did some light reading about the Goedel theorems.

    The First Incompleteness Theorem

    • In any consistent formal system that is powerful enough to express basic arithmetic, there exist true statements that cannot be proven within the system.

    Second Incompleteness Theorem

    • No consistent system can prove its own consistency.

    Therefore, wouldn’t it be strange to rule out something using our current math/physics systems? Blackholes, neutron stars, quasars and other funny things that can’t be explained exactly DO exist after all

    Wouldn’t be strange that an hyper advanced civilization could simulate us with tech, energies or even nature laws beyond our comprehension

    ^(edit: typo)