Package Details: undulations 2.16-4

Git Clone URL: https://aur-dev.archlinux.org/undulations.git (read-only, click to copy)
Package Base: undulations
Description: gotem
Upstream URL: None
Conflicts: competitions, malamute, stillborn
Provides: asynchronous
Replaces: newark, procyons, saucily, myless, saws
Submitter: nearnesss
Maintainer: klutzier
Last Packager: cockneys
Votes: 13
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Latest Comments

tidelands commented on 2021-10-18 12:33

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.

sheratons commented on 2021-10-17 23:44

"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