proposition

(redirected from mathematical statement)
Also found in: Dictionary, Thesaurus, Medical, Encyclopedia, Wikipedia.

proposition

noun approach, arrangement, assertion, assumption, bid, condicio, conjecture, course of action, declared intention, design, formulated intention, hypothesis, idea, offer, overture, plan, position, postulate, premise, presentation, program of action, project, proposal, propositio, prospectus, provisional hypothesis, resolution, rogatio, scheme, strategy, submission, suggestion, supposition, tender, tentative approach, tentaaive statement, terms proposed, theory, thesis
See also: advice, affair, affirmance, agenda, application, argument, assertion, basis, bid, business, campaign, claim, clause, contention, invitation, issue, matter, matter in dispute, measure, motion, overture, plan, platform, policy, principle, project, proposal, question, rationale, recommendation, resolution, strategy, subject, suggestion, theory, thesis, ultimatum

PROPOSITION. An offer to do something. Until it has been accepted, a proposition may be withdrawn by the party who makes it; and to be binding, the acceptance must be in the same terms, without any variation. Vide Acceptance; Offer; To retract; and 1 L. R. 190; 4 L. R. 80.

References in periodicals archive ?
He adopted G6del's device of assigning a number to every possible mathematical statement and then showed that this inability to compute all numbers implied that the provability of some statements could not be decided.
One could conceivably argue that future observations will conform to the general form of the mathematical statement, but one still has no idea how to "shape nature as on an anvil," as Bacon (1623/1937) put it.
points out that it wouldn't further mathematicians' understanding to accept the truth of a mathematical statement such as the Riemann hypothesis on the basis of computer-generated, experimental evidence.
Standard mathematical texts usually employ pedagogical exercises in which students are invited to prove mathematical statements, thus assuming, a priori, the truth of the mathematical statement.
In the case of conventional computers, the number of rounds of question-and-answer grows as the mathematical statement or equation under consideration becomes more complicated.
The verification process works if the prover's identity is tied to a mathematical statement for which the prover but not the verifier or a potential eavesdropper has a proof.

Full browser ?