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,
description::
* human: doer,
* info,
* referent,
* rlnReferenting,
name::
* McsEngl.argReferenting,
* McsEngl.dngReferenting'argument!⇒argReferenting,
description::
· the-info for which the-doer want to find its rlnReferent.
name::
* McsEngl.argReferenting.info,
* McsEngl.dngReferenting'info,
description::
· the-referent of this info.
name::
* McsEngl.argReferenting.referent,
* McsEngl.dngReferenting'referent,
description::
· the-rlnReferent of this info and referent.
name::
* McsEngl.argReferenting.relation,
* McsEngl.dngReferenting'relation,
name::
* McsEngl.evoluting-of-dngReferenting,
* McsEngl.dngReferenting'evoluting,
{2021-08-09}::
=== McsHitp-creation:
· creation of current concept.
name::
* McsEngl.dngReferenting'whole-part-tree,
whole-tree-of-dngReferenting::
*
* ... Sympan.
name::
* McsEngl.dngReferenting'generic-specific-tree,
generic-tree-of-dngReferenting::
* model-evaluating
* ... entity.
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,
description::
· the-party that shows to another party (the-verifier) that the-info is true.
name::
* McsEngl.dngProving'prover,
* McsEngl.prover-of-dngProving,
description::
· the-party that is-convinced by the-prover that the-info is true.
name::
* McsEngl.dngProving'verifier,
* McsEngl.verifier-of-dngProving,
description::
· the-info the-prover must-show that it is true.
description::
* practice,
* time,
* info-resource,
===
* direct-proving,
* indirect-proving,
===
* theoritical-proving,
* practical-proving,
===
* valid-proving,
* invalid-proving,
===
* experimenting,
description::
· disproving is the-false dngReferenting.
name::
* McsEngl.disproving,
* McsEngl.provingNo!⇒disproving,
* McsEngl.dngReferenting.disproving!⇒disproving,
====== langoGreek:
* McsElln.διαδικασία-διάψευσης!=disproving,
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,
description::
· time is another type of proving a-forcast.
· but we can not use it at present.
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!
description::
· not practical-proving, by thinking.
name::
* McsEngl.dngProving.theory,
* McsEngl.theoritical-proving,
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]
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,
description::
· a-proving with mistakes.
name::
* McsEngl.invalid-proving,
* McsEngl.dngProving.validNo,
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,
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]
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,
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,
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,
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,
description::
* https://worldcoin.org/blog/worldcoin/intro-zero-knowledge-proofs-semaphore-application-world-id,
this page was-visited times since {2021-08-09}
page-wholepath: synagonism.net / worldviewSngo / dirCor / dngReferenting
SEARCH::
· this page uses 'locator-names', names that when you find them, you find the-LOCATION of the-concept they denote.
⊛ GLOBAL-SEARCH:
· clicking on the-green-BAR of a-page you have access to the-global--locator-names of my-site.
· use the-prefix 'dngReferenting' for senso-concepts related to current concept 'doing.referenting'.
⊛ LOCAL-SEARCH:
· TYPE CTRL+F "Mcs.words-of-concept's-name", to go to the-LOCATION of the-concept.
· a-preview of the-description of a-global-name makes reading fast.
webpage-versions::
• McsCor000020.last.html: dynamic,
• McsCor000020.0-1-0.2021-08-09.last.html: draft creation,