Hi Vimoh! If you see this comment, please let me know your thoughts about it.
Gödel's first incompleteness theorem states that "there are statements of the language of a consistent formal system F which can neither be proved nor disproved in F"
So there could be assertions about the universe which could never be proven by the scientific method. But progress would be hard since a lot of future works would have to be built on top of the assumption that a certain statement is true. Maybe the assertion 'God exists' is unprovable.
Hi Vimoh! If you see this comment, please let me know your thoughts about it.
Gödel's first incompleteness theorem states that "there are statements of the language of a consistent formal system F which can neither be proved nor disproved in F"
So there could be assertions about the universe which could never be proven by the scientific method. But progress would be hard since a lot of future works would have to be built on top of the assumption that a certain statement is true. Maybe the assertion 'God exists' is unprovable.