Sound and complete# Thoughts - 思考者
g*y
1 楼
Suppose we have finite number of symbols.
Words are made of these symbols.
Sound means that only true statements can be proved.
complete means all true statements can be proved.
Godel proved that
in any logical system there exist TRUE theorems which CANNOT BE PROVEN
on the basis of the axioms and operations of that system.
Which means
There are TRUTHS that are not scientifically verifiable.
or you can say:
There are TRUTHS that are in the realm of the subjective. They can never
be proven true.
G
Words are made of these symbols.
Sound means that only true statements can be proved.
complete means all true statements can be proved.
Godel proved that
in any logical system there exist TRUE theorems which CANNOT BE PROVEN
on the basis of the axioms and operations of that system.
Which means
There are TRUTHS that are not scientifically verifiable.
or you can say:
There are TRUTHS that are in the realm of the subjective. They can never
be proven true.
G