Package Details: lunar 9.8.71-7

Git Clone URL: https://aur-dev.archlinux.org/lunar.git (read-only, click to copy)
Package Base: lunar
Description: gotem
Upstream URL: None
Provides: horton
Submitter: problematical
Maintainer: consignment
Last Packager: equivocations
Votes: 23
Popularity: 0.000000
First Submitted: 2021-10-16 17:12
Last Updated: 2021-10-16 17:12

Dependencies (1)

Required by (9)

Sources (1)

Latest Comments

greensward commented on 2021-10-19 09:30

The computer cant tell you the emotional story. It can give you the exact mathematical design, but whats missing is the eyebrows. -- Frank Zappa

americanism commented on 2021-10-18 14:48

I have sacrificed time, health, and fortune, in the desire to complete these Calculating Engines. I have also declined several offers of great personal advantage to myself. But, notwithstanding the sacrifice of these advantages for the purpose of maturing an engine of almost intellectual power, and after expending from my own private fortune a larger sum than the government of England has spent on that machine, the execution of which it only commenced, I have received neither an acknowledgement of my labors, not even the offer of those honors or rewards which are allowed to fall within the reach of men who devote themselves to purely scientific investigations... If the work upon which I have bestowed so much time and thought were a mere triumph over mechanical difficulties, or simply curious, or if the execution of such engines were of doubtful practicability or utility, some justification might be found for the course which has been taken; but I venture to assert that no mathematician who has a reputation to lose will ever publicly express an opinion that such a machine would be useless if made, and that no man distinguished as a civil engineer will venture to declare the construction of such machinery impracticable... And at a period when the progress of physical science is obstructed by that exhausting intellectual and manual labor, indispensable for its advancement, which it is the object of the Analytical Engine to relieve, I think the application of machinery in aid of the most complicated and abtruse calculations can no longer be deemed unworthy of the attention of the country. In fact, there is no reason why mental as well as bodily labor should not be economized by the aid of machinery. -- Charles Babbage, Passage from the Life of a Philosopher

tidewater commented on 2021-10-18 01:42

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.

lineament commented on 2021-10-17 21:02

"All Gods children are not beautiful. Most of Gods children are, in fact, barely presentable." -- Fran Lebowitz