Package Details: arrogating 2.1.62-9

Git Clone URL: https://aur-dev.archlinux.org/arrogating.git (read-only, click to copy)
Package Base: arrogating
Description: None
Upstream URL: None
Conflicts: assureds, checkups, icebreaker, puppetrys, serpents, toot
Provides: devalue, dunedins, gideon, refuelling
Replaces: doodads, embraced, rectos, tracheal
Submitter: boney
Maintainer: orneriness
Last Packager: meticulously
Votes: 62
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (14)

Required by (40)

Sources (1)

Latest Comments

italian commented on 2021-06-23 01:35

"On two occasions I have been asked [by members of Parliament!], Pray, Mr.
Babbage, if you put into the machine wrong figures, will the right answers
come out? I am not able rightly to apprehend the kind of confusion of ideas
that could provoke such a question."
-- Charles Babbage

engenders commented on 2021-06-22 14:25

HOW TO PROVE IT, PART 5

proof by accumulated evidence:
Long and diligent search has not revealed a counterexample.

proof by cosmology:
The negation of the proposition is unimaginable or
meaningless. Popular for proofs of the existence of God.

proof by mutual reference:
In reference A, Theorem 5 is said to follow from Theorem 3 in
reference B, which is shown to follow from Corollary 6.2 in
reference C, which is an easy consequence of Theorem 5 in
reference A.

proof by metaproof:
A method is given to construct the desired proof. The
correctness of the method is proved by any of these
techniques.