Package Details: lunar 9.8.71-7

Git Clone URL: https://localhost:8443/lunar.git (read-only, click to copy)
Package Base: lunar
Description: None
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