from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. A person, device, or program that performs logical or mathematical proofs
from the GNU version of the Collaborative International Dictionary of English
- n. One who, or that which, proves.
from The Century Dictionary and Cyclopedia
- n. One who or that which proves or tries.
- n. A skilled workman employed to strike off proofs from engraved plates.
- n. In homeopathic medicine, one who submits himself to experimentation in order to determine the therapeutic indications for a drug. See prove, v. t., 7.
- n. In old English law, one who gives state's evidence; an approver or probator.
Palin has prover herself to be a quitter, as well as shallow, greedy and to be as dumb as a bag of hair.
Writers laying claim to the idea that the Swiftboat was never prover wrong probably do not read much.
Although he is not by nature a point-prover, it would also be satisfying to show Juventus that the problems he encountered in Turin last season were not necessarily about him, and that perhaps the issue was them.
As far as I am concerned, Sarah Palin is indifferently ignorant, and not worthy of further attention or higher office until she can prover herself more worthy.
Our mutual friend Robert Anton Wilson wrote, "The prover proves what the thinker thinks."
Quoth she, ‘The manifest signs and visible portents of Allah; and, when the path is patent to thee, thou espiest with thine own eyes both proof and prover.’
Jonathan Vos Post, interesting, you developed a parallel prover back in the 70s?
The simulations suggested that, if there had been an adequate MPP available, “Pi-Thrower” would have run roughly 100 times faster than any other theorem prover in the world.
Maybe we can think of story where it turns out that Burt is actually an AI that arose out of a theorem prover.
Re: #90 Jonathan Vos Post, interesting, you developed a parallel prover back in the 70s?