a formalism defination: Completeness vs Wholness


所有跟贴·加跟贴·新语丝读书论坛

送交者: inverth 于 2010-05-13, 09:16:18:

a semi-formalism definition: Completeness vs Wholeness vs [integrity as wholeness not as honesty] .

First of all,
Honesty is a concept on the higher concept-layer of moral.
Wholeness is a concept on the lower concept-layer of data/fact.
Completeness is a concept on overview/statistical layer, as in Godel's theorem of completeness.

Let us compare wholeness and completeness in formalism:
A G1 G2 P1 P2 P3 P11 P12 P13 P21 P22 P23 P24 R
A - axiom in math theory or experiment-fact or science-hypothesis;
G1 - scientist group 1;
G2 - scientist group 2;
P - proving process;
P1 - a proving, path, program, or thread;
P2 - another proving;
P11 - a procedure/sub-program of P1.
R - result or theorem or view-point.

Let us say we are getting a view-point of Global warming.
From A (scientific data, all possible knowledge based on our physical/mechanics hypothesis and statistical hypothesis and chemistry interaction fact data),
using rules of logic and math, some of our scientists(G1) come to thread P1,
meanwhile another research group(G2) come to thread P2.
And of course scientists from both G1 and G2 can go onto their own way P1 or P2 with also their imaging, tending, fun, favoring, and creativeness.
They stepped over P11-P12-P13 of P1, or P21-P22-P23-P24 of P2.
Now we both come to R.

So when presenting the data and foot prints, we should give all the data in every step P11 P12 ... P24 as wholes.
Every of them is integrate, a whole, not "touched".
This is called the wholeness of our data.
We cannot lose some data in P11.
Just as every integer number, each is whole.

If the data and proving thread from P21 through P22 P23 to P24 are conformable, i.e. they dont conflict each other, we get the consistency.
But consistency are not necessary to wholeness.

To overview, when we have ensured all step-data are of wholeness, we can say we are getting some kind of completeness.
Of course is you want to say all the data of all the steps as ONE whole, you can go on with it, but that is in another level of wholeness.

But about completeness, we know that it is too ideal that it almost can only appear in math world.
Godel's theorem of completeness of formal logic, is just a work of it.
But in my view, the theorem is very limited for us to buiding the scientific knowledge universe.
I mean it is not that horrible to break our way of formal logic and math.

We know we can fight back against the attacker(e.g. those from Creationism) with the data layer wholeness and experiment fact.
But which is determinater? Not wholeness, not honesty, but experiment fact.




所有跟贴:


加跟贴

笔名: 密码: 注册笔名请按这里

标题:

内容: (BBCode使用说明