overview of dngReferenting
description::
· dngReferenting is the-model-evaluating of an-info (= FINDING the-type of the-relation between an-info and its referent).
name::
* McsEngl.McsCor000020.last.html!⇒dngReferenting,
* McsEngl.dirCor/McsCor000020.last.html!⇒dngReferenting,
* McsEngl.dngReferenting,
* McsEngl.info'evaluating!⇒dngReferenting,
* McsEngl.model-evaluating.referenting!⇒dngReferenting,
* McsEngl.referenting/réfrentin/!=doing.referenting!⇒dngReferenting,
argument of dngReferenting
description::
* human: doer,
* info,
* referent,
* rlnReferenting,
name::
* McsEngl.argReferenting,
* McsEngl.dngReferenting'argument!⇒argReferenting,
info of dngReferenting
description::
· the-info for which the-doer want to find its rlnReferent.
name::
* McsEngl.argReferenting.info,
* McsEngl.dngReferenting'info,
referent of dngReferenting
description::
· the-referent of this info.
name::
* McsEngl.argReferenting.referent,
* McsEngl.dngReferenting'referent,
relation of dngReferenting
description::
· the-rlnReferent of this info and referent.
name::
* McsEngl.argReferenting.relation,
* McsEngl.dngReferenting'relation,
info-resource of dngReferenting
name::
* McsEngl.dngReferenting'Infrsc,
addressWpg::
* proof-theory-of-math-logic,
evoluting of dngReferenting
name::
* McsEngl.evoluting-of-dngReferenting,
* McsEngl.dngReferenting'evoluting,
{2021-08-09}::
=== McsHitp-creation:
· creation of current concept.
WHOLE-PART-TREE of dngReferenting
name::
* McsEngl.dngReferenting'whole-part-tree,
whole-tree-of-dngReferenting::
*
* ... Sympan.
part-tree-of-dngReferenting::
*
GENERIC-SPECIFIC-TREE of dngReferenting
name::
* McsEngl.dngReferenting'generic-specific-tree,
generic-tree-of-dngReferenting::
* model-evaluating
* ... entity.
specific-tree-of-dngReferenting::
* proving,
* disproving,
dngReferenting.proving
description::
· proving is the-true dngReferenting.
· ΑΠΟΔΕΙΞΗ είναι η 'ΔΙΑΔΙΚΑΣΙΑ' με την οποία δείχνουμε ότι μια 'πραγματική πληροφορία' είναι 'ΑΛΗΘΙΝΗ'.
[hmnSngo.{1994-05}]
name::
* McsEngl.dngProving,
* McsEngl.dngReferenting.proving!⇒dngProving,
* McsEngl.proof!⇒dngProving,
* McsEngl.to-prove!~verbEnglC:prov-e-es-ed-ing-en!=dngProving,
* McsEngl.proving-doing,
====== langoGreek:
* McsElln.απόδειξη!η!=dngProving,
* McsElln.ρήμα.αποδεικνύω!=dngProving,
* McsElln.αποδεικνύω!~verbElln!=dngProving,
argument of dngProving
description::
* prover,
* verifier,
* info,
name::
* McsEngl.dngProving'argument,
prover of dngProving
description::
· the-party that shows to another party (the-verifier) that the-info is true.
name::
* McsEngl.dngProving'prover,
* McsEngl.prover-of-dngProving,
verifier of dngProving
description::
· the-party that is-convinced by the-prover that the-info is true.
name::
* McsEngl.dngProving'verifier,
* McsEngl.verifier-of-dngProving,
info of dngProving
description::
· the-info the-prover must-show that it is true.
name::
* McsEngl.dngProving'info,
dngProving.SPECIFIC
description::
* practice,
* time,
* info-resource,
===
* direct-proving,
* indirect-proving,
===
* theoritical-proving,
* practical-proving,
===
* valid-proving,
* invalid-proving,
===
* experimenting,
name::
* McsEngl.dngProving.specific,
dngReferenting.disproving
description::
· disproving is the-false dngReferenting.
name::
* McsEngl.disproving,
* McsEngl.provingNo!⇒disproving,
* McsEngl.dngReferenting.disproving!⇒disproving,
====== langoGreek:
* McsElln.διαδικασία-διάψευσης!=disproving,
dngProving.practice
description::
· practice as the-opposite of theory is the-best type of proving.
· but on most cases we can not use it.
name::
* McsEngl.practical-proving,
* McsEngl.dngProving.practice!⇒practical-proving,
specific-tree-of-practical-proving::
* experimenting,
dngProving.time
description::
· time is another type of proving a-forcast.
· but we can not use it at present.
name::
* McsEngl.dngProving.time,
dngProving.info-resource
description::
· an-info-resource is a-secondary type of proving.
· a-RELIABLE-info-resource give us a-POSSIBILITY of proving.
· anonymous-info-resource is by definition unreliable!
name::
* McsEngl.dngProving.info-resource,
dngProving.practiceNo (theory)
description::
· not practical-proving, by thinking.
name::
* McsEngl.dngProving.theory,
* McsEngl.theoritical-proving,
dngProving.direct
description::
"In direct proof, the conclusion is established by logically combining the axioms, definitions, and earlier theorems. For example, direct proof can be used to establish that the sum of two even integers is always even:
For any two even integers x and y we can write x = 2a and y = 2b for some integers a and b, since both x and y are multiples of 2. But the sum x + y = 2a + 2b = 2(a + b) is also a multiple of 2, so it is therefore even by definition.
This proof uses definition of even integers, as well as distribution law.
[http://en.wikipedia.org/wiki/Mathematical_proof]
name::
* McsEngl.direct-proof,
* McsEngl.dngProving.direct,
dngProving.directNo
description::
"In logic and mathematics, proof by contradiction is a form of proof that establishes the truth or the validity of a proposition, by showing that assuming the proposition to be false leads to a contradiction. Proof by contradiction is also known as indirect proof, proof by assuming the opposite, and reductio ad impossibile.[1]"
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Proof_by_contradiction]
name::
* McsEngl.indirect-proof!⇒provingDirectNo,
* McsEngl.proof-by-assuming-the-opposite!⇒provingDirectNo,
* McsEngl.proof-by-contradiction!⇒provingDirectNo,
* McsEngl.dngProving.directNo!⇒provingDirectNo,
* McsEngl.provingDirectNo,
* McsEngl.reduction-ad-impossibile!⇒provingDirectNo,
====== langoGreek:
* McsElln.απαγωγή-σε-άτοπο!=provingDirectNo,
* McsElln.απόδειξη-με-την-απαγωγή-σε-άτοπο!=provingDirectNo,
dngProving.valid
description::
· a-proving without mistakes.
name::
* McsEngl.valid-proving,
* McsEngl.dngProving.valid,
dngProving.validNo
description::
· a-proving with mistakes.
name::
* McsEngl.invalid-proving,
* McsEngl.dngProving.validNo,
validNo.irrelevant-conclusion
description::
"An irrelevant conclusion,[1] also known as ignoratio elenchi (Latin for 'ignoring refutation') or missing the point, is the informal fallacy of presenting an argument that may or may not be logically valid and sound, but (whose conclusion) fails to address the issue in question. It falls into the broad class of relevance fallacies.[2]
The irrelevant conclusion should not be confused with formal fallacy, an argument whose conclusion does not follow from its premises, instead, it is that despite its formal consistency it is not relevant to the subject being talked about."
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Irrelevant_conclusion]
name::
* McsEngl.irrelevant-conclusion,
* McsEngl.proving-validNo.irrelevant-conclusion,
validNo.sophism
description::
"An intentional mistake made with a view to confusing an opponent and passing off a false judgement for a true one, is called a sophism"
[{1989} Getmanova, Logic, p232]
name::
* McsEngl.sophism,
dngProving.experimenting
description::
"An experiment is a procedure carried out to support or refute a hypothesis. Experiments provide insight into cause-and-effect by demonstrating what outcome occurs when a particular factor is manipulated. Experiments vary greatly in goal and scale, but always rely on repeatable procedure and logical analysis of the results. There also exist natural experimental studies.
A child may carry out basic experiments to understand how things fall to the ground, while teams of scientists may take years of systematic investigation to advance their understanding of a phenomenon. Experiments and other types of hands-on activities are very important to student learning in the science classroom. Experiments can raise test scores and help a student become more engaged and interested in the material they are learning, especially when used over time.[1] Experiments can vary from personal and informal natural comparisons (e.g. tasting a range of chocolates to find a favorite), to highly controlled (e.g. tests requiring complex apparatus overseen by many scientists that hope to discover information about subatomic particles). Uses of experiments vary considerably between the natural and human sciences.
Experiments typically include controls, which are designed to minimize the effects of variables other than the single independent variable. This increases the reliability of the results, often through a comparison between control measurements and the other measurements. Scientific controls are a part of the scientific method. Ideally, all variables in an experiment are controlled (accounted for by the control measurements) and none are uncontrolled. In such an experiment, if all controls work as expected, it is possible to conclude that the experiment works as intended, and that results are due to the effect of the tested variables.
[{2021-08-09 retrieved} https://en.wikipedia.org/wiki/Experiment]
name::
* McsEngl.experiment!⇒dngExperimenting,
* McsEngl.dngExperimenting,
* McsEngl.dngProving.experimenting!⇒dngExperimenting,
====== langoGreek:
* McsElln.πείραμα!=dngExperimenting,
* McsElln.ρήμα.πειραματίζομαι!=dngExperimenting,
* McsElln.πειραματίζομαι!~verbElln!=dngExperimenting,
dngProving.zero-knowledge-proof
description::
· "“Zero-knowledge” proofs allow one party (the prover) to prove to another (the verifier) that a statement is true, without revealing any information beyond the validity of the statement itself. For example, given the hash of a random number, the prover could convince the verifier that there indeed exists a number with this hash value, without revealing what it is."
[https://z.cash/technology/zksnarks/]
name::
* McsEngl.ZKP-zero-knowledge-proof!⇒dngProvingZk,
* McsEngl.dngProving.zero-knowledge-proof!⇒dngProvingZk,
* McsEngl.dngProvingZk,
* McsEngl.zero-knowledge-proof!⇒dngProvingZk,
benefit of dngProvingZk
description::
· "ZKPs give us primarily one or both of the following properties:
* Privacy (more formally known as zero-knowledge)
* Compression (more formally known as succinctness)"
[{2023-07-18 retrieved} https://zkintro.com/articles/friendly-introduction-to-zero-knowledge]
name::
* McsEngl.dngProvingZk'benefit,
privacy of dngProvingZk
description::
· "ZKPs give us primarily one or both of the following properties:
* Privacy (more formally known as zero-knowledge)
* Compression (more formally known as succinctness)"
[{2023-07-18 retrieved} https://zkintro.com/articles/friendly-introduction-to-zero-knowledge]
name::
* McsEngl.dngProvingZk'data-hiding,
* McsEngl.dngProvingZk'privacy,
* McsEngl.dngProvingZk'zero-knowledge,
* McsEngl.zero-knowledge,
info-resource of dngProvingZk
description::
* https://worldcoin.org/blog/worldcoin/intro-zero-knowledge-proofs-semaphore-application-world-id,
name::
* McsEngl.dngProvingZk'Infrsc,
