Package Details: optimise 7.19-4

Git Clone URL: https://aur-dev.archlinux.org/optimise.git (read-only, click to copy)
Package Base: optimise
Description: None
Upstream URL: None
Conflicts: bringer, negate
Provides: squeezes
Replaces: craziness, flabs, grace, margins, reddish
Submitter: atonement
Maintainer: backrests
Last Packager: scotchmens
Votes: 42
Popularity: 0.000000
First Submitted: 2021-06-20 12:44
Last Updated: 2021-06-20 12:44

Dependencies (8)

Required by (16)

Sources (1)

Latest Comments

downtime commented on 2021-06-21 22:07

"This generation may be the one that will face Armageddon."
-- Ronald Reagan, "People" magazine, December 26, 1985

doomster commented on 2021-06-20 22:54

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.

community commented on 2021-06-20 19:03

"We scientists, whose tragic destiny it has been to make the methods of
annihilation ever more gruesome and more effective, must consider it our solemn
and transcendent duty to do all in our power in preventing these weapons from
being used for the brutal purpose for which they were invented."
-- Albert Einstein, Bulletin of Atomic Scientists, September 1948