
	Where results make sense

Topic: Proof by assertion

Related Topics

logical assertion

Assertion computing

Assertion definition language

Security Assertion Markup Language SAML

Assertion sign

Interactive proof system

Zero knowledge proofs

Conditional proof

Invalid proof

structural proof theory

consistency proof

proof by exhaustion

In the News (Thu 16 Feb 12)

EXECUTIVE POWER

Iran

ANALYSIS

Pakistan

Family compact

	Humor Maze (proof) (Site not responding. Last check: 2007-11-05)
		Proof by reference to inaccessible literature: The author cites a simple corollary of a theorem to be found in a privately circulated memoir of the Slovenian Philological Society, 1883.
		Proof by cosmology: The negation of the proposition is unimaginable or meaningless.
		Proof by mutual reference: In reference A, Theorem 5 is said to follow from Theorem 3 in reference B, which is shown 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.
	www.pair-of-dice.com /luke/maze/proof.html (503 words)

	Ad nauseam - Wikipedia, the free encyclopedia
		Ad nauseam is a Latin term used to describe something that has been continuing "to the point of nausea." For example "This topic has been discussed ad nauseam": it has been discussed extensively and everyone has tired of it.
		It is a form of proof by assertion.
		This logical fallacy is commonly used as a form of rhetoric by politicians, and it is one of the mechanisms of reinforcing urban legends.
	en.wikipedia.org /wiki/Argumentum_ad_nauseam (261 words)

	[No title] (Site not responding. Last check: 2007-11-05)
		Proof (by intimidation): First, it is necessary to prove that all horses have the same number of legs.
		Proof by Exhaustion: This is a modification of an inductive proof.
		Proof by omission: 'The reader may easily supply the details.' 'The other 253 cases are analogous.' '...' Proof by obfuscation: A long plotless sequence of true and/or meaningless syntactically related statements.
	www.math.niu.edu /~rusin/papers/teaching-math/dumbproofs (1167 words)

	Proof, Thought and Aesthetics
		Proofs of hundreds of pages, understandable to only a handful of mathematicians with expertise in highly specialized branches of mathematics, are now more typical of the work being done in mathematics.
		Proof is the method mathematicians use to communicate the truth or validity of a piece of knowledge.
		And the notion of proof transcends mathematics – logical argument is at the heart of philosophy, the law, rhetoric and debate.
	www.chatham.edu /PTI/ProofinMathematics/proof_curriculum.htm (4646 words)

	EETimes.com - Counterexamples and metrics drive assertion-based verification
		The assertion might be violated for several reasons: the assertion could be wrong, the input sequence may not be constrained to legal values, or there really is a design bug.
		Assertion IP libraries, such as 0-In CheckerWare, can save time and alleviate frustration because the elements of the libraries are macros representing collections of assertions that check a high-level assertion.
		For example, an assertion that checks for higher level function, such as arbitration or flow control, is superior to an assertion that a signal is driven to a logic 0/1 value.
	www.eetimes.com /news/design/showArticle.jhtml?articleID=16500114 (2183 words)

	Direct Proof & Counterexample: Introduction
		Proof by reference to inaccessible literature: The author cites a simple corollary of a theorem to be found in a privately circulated memoir of the Icelandic Philological Society, 1883.
		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.
		Proof by vehement assertion: It is useful to have some kind of authority relation to the audience, so this is particularly useful in classroom settings.
	phoenix.goucher.edu /~kelliher/ma115/oct08.html (905 words)

	Annie and John Selden
		Proofs are written for an idealized reader -- mathematicians know from their own experience that differing validators have differing knowledge with which to validate a given proof.
		Assertions in proofs, as in other forms of argument, can be followed by reasons or explanations, but in proofs, these are usually kept very brief, perhaps only the mentioning a theorem or definition.
		In particular, in assenting to an assertion in a proof, a validator may simply recognize that it is the consequence of a familiar embedded logical argument, such as modus ponens.
	www.cs.cornell.edu /Info/People/gries/symposium/selden.htm (7323 words)

	LP: The prove command (Site not responding. Last check: 2007-11-05)
		If and when the proof of a conjecture succeeds, LP adds the conjecture to its logical system and uses it as if it had been asserted by the assert command.
		Each proof context consists of a conjecture, a logical system of facts available for the proof, and values for the local settings that govern the proof.
		Or the user can resume the proof of the current conjecture with the resume command (for example, to specify a new method of proof or after proving a lemma).
	www.cs.cmu.edu /afs/cs.cmu.edu/project/larch/.alpha_osf20/lp/html/commands/prove.html (371 words)

	Proof - Uncyclopedia
		A proof is a concept commonly used in the treatment of mathematics, philosophy and taxidermy.
		A proof that is backed up by citations that may or may not contain a proof of the assertion.
		The person who was asked to provide proof is then asked to lift this so-called "burden of proof." If he cannot, then he loses his balance and the burden of proof falls on him, which means that he has made the fatal mistake of daring to mention God on an Internet message board.
	uncyclopedia.org /wiki/Proof (802 words)

	BBC - h2g2 - Basic Methods of Mathematical Proof
		A classic proof by contradiction is Euclid's proof that the square root of 2 cannot be expressed as a fraction (in other words a/b, where a and b are integers).
		The aim of this proof is to be boring.
		This proof is achieved by introducing an error into your working, hopefully subconsciously, which isn't spotted by the class.
	www.bbc.co.uk /h2g2/guide/A387470 (1432 words)

	Peter Suber, "Gödel's Proof"
		Gödel's proof in a nutshell is to create a wff that says in one interpretation, "This wff cannot be proved in S", then to prove that it is undecidable in S, and thereby to prove that it is true.
		Here, instead of saying that there is no number which is the Gödel number of the proof of G, we are making the separate denials for each natural number: wff-sequence(0) is not the proof of G, wff-sequence(1) is not the proof, wff-sequence(2) is not the proof, and so on.
		The third wave ensures that its set of proofs is decidable, which gives it an effective test of proofhood, which allows the predicate for proof-pairhood to be decidable.
	www.earlham.edu /%7Epeters/courses/logsys/g-proof.htm (4313 words)

	42 Methods of Mathematical Proof
		If the proof of a theorem is not immediately apparent, it may be because you are trying the wrong approach.
		Proof by Necessity: "It had better be true or the whole structure of mathematics would crumble to the ground."
		Proof by Avoidance: Limit of Proof by Postponement as t approaches infinity.
	www.pen.k12.va.us /Div/Winchester/jhhs/math/humor/proof.html (491 words)

	proof by example: (Site not responding. Last check: 2007-11-05)
		proof by obfuscation: A long plot-less sequence of true and/or meaningless syntactically related statements.
		proof by reduction to the wrong problem: "To see that infinite-dimensional colored cycle stripping is decidable, we reduce it to the halting problem."
		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 meta-proof: A method is given to construct the desired proof.
	math.treebeard.ca /UO/mat2125/how%20to%20prove%20it.htm (466 words)

	CS655: Manifest 5 April 2001 (Site not responding. Last check: 2007-11-05)
		Proof by flashy graphics: A moving sequence of shaded, 3D color models will convince anyone that your object recognition algorithm works.
		Proof by lack of space: "The proof is not detailled due to lack of space in this proceedings..." works well in conjunction with proof by forward reference.
		None of these proof methods are suggested in your problem sets or project reports.
	www.cs.virginia.edu /~evans/cs655/manifests/0405.html (350 words)

	EETimes.com - 'Deep' formal verification powers assertions
		Furthermore, since the assertions are embedded in the RTL code, they are always at work, even when the RTL is re-used or the test suite is changed.
		If a proof is possible after abstraction, then the proof is valid, but if the proof fails, then the abstraction generally prevents an accurate counter-example from being produced.
		Given that proofs are not tractable for many of the complex assertions in large designs, DDFV provides a practical alternative.
	www.eetimes.com /news/design/showArticle.jhtml?articleID=16504695 (2581 words)

	Proof (JL Comp)
		Assertion: For systems that use large numbers of high-precision SQL statements in a highly concurrent fashion, it is important for performance and scalability reasons to make coding with bind variables the general practice, only allowing ‘literal strings’ values to appear for special cases.
		Proof: Demonstrate the relative impact of bind variables vs. literal strings for SQL.
		The chosen topic for the “proof of provability” was the impact of using bind variables on the parse costs.
	www.jlcomp.demon.co.uk /proof.html (1823 words)

	Invalid techniques of proof (Site not responding. Last check: 2007-11-05)
		In reference A, Theorem 5 is said to follow from Theorem 3 in reference B, which is shown from Corollary 6.2 in reference C, which is an easy consequence of Theorem 5 in reference A. 1.18 Proof by metaproof
		We were asked in an exercise to proof this theorem.
		This method of proof is one of the two pillars of modern cryptography.
	www.maths.uwa.edu.au /~berwin/humour/invalid.proofs.html (848 words)

	Proof Methods
		An issue or two of a journal devoted to your proof is useful.
		A method is given to construct the desired proof.
		Some of the standard but inconvenient definitions are changed for the statement of the result.
	www.msu.edu /~oliverb2/proof.htm (320 words)

	Counterexamples and metrics drive assertion-based verification
		DCE complements traditional static model checking, which is better at finding proofs, and dynamic formal verification, which applies shallow exhaustiv e formal analysis starting from every cycle of a simulation test.
		Simulation of directed tests can be used in combinatio n with simulation coverage metrics to guide the creation of assertions on the interface of a design.
		One of the first questions that design teams ask when adopting ABV is "How do I know enough assertion s have been placed in a design?" Obviously, a bug can only be found if an assertion is placed that would point to the bug when the assertion is violated.
	www.us.design-reuse.com /news/printnews4758.html (2052 words)

	[No title] (Site not responding. Last check: 2007-11-05)
		ASSERTION After stating the controversy, the writer should clearly present the assertion, which will be expressed in the thesis statement.
		Or the proof can be arranged in the form of a syllogism, with the body of the paper developing the major and minor premises.
		Student Essay Example The following persuasive essay was written supporting the assertion, “animal experimentation is necessary for the betterment of mankind.” The outline, which precedes the essay, points out the organization of its major sections including statement of the problem, assertion, concession, proof and conclusion.
	www.mariacollege.edu /STUDENTSERVICES/HOW_TO_WRITE_A_PERSUASIVE_ESSAY.doc (1635 words)

	Argumentative Essays (Site not responding. Last check: 2007-11-05)
		Even if you have a generally acceptable assertion and appropriate proof, there are lots of ways to influence the argument through language, and you need to choose language that is dispassionate and not too biased so that you're focusing your proof on evidence instead of emotion.
		The assertion and the proof need to relate to one another carefully and logically to have a solid, acceptable argument.
		In general, the assertion and any assumptions underlying the assertion need to be generally acceptable, while the proof needs to be sufficient, relevant to the assertion and free of incorrect assumptions and conclusions.
	www.esc.edu /esconline/across_esc/writerscomplex.nsf/0/e26dcd4a4c7ce43285256a0000602c03?OpenDocument (1253 words)

	Profession Jokes - Mathematicians
		Mathematics is made of 50 percent formulas, 50 percent proofs and 50 percent imagination.
		This is the boring part of the proof, so you can do it on your own time.
		At least one line of the proof of this case is the same as before.
	www.workjoke.com /projoke22.htm (3509 words)

	Proof Techniques
		This is a more refined form of proof by obfuscation.
		The long list of lemmas should be arranged into circular patterns of reasoning - and perhaps more baroque structures such as figure-eights and fleurs-de-lis.
		This is closely related to the 'bullet' proof, but is easier to make look like an accident.
	www.davedoyle.com /old/humor/proof.html (434 words)

	Typical Planning Instruction (Site not responding. Last check: 2007-11-05)
		There is a distinct logical order and progression from first principles to the proof of an assertion.
		From this one gets the impression that learning to plan is like learning to follow a set of steps which guarantee's an appropriate result, if each of the steps follows logically from the preceeding.
		I do not believe that this is the way that lesson plans (or geometry proofs) are truly done.
	www.msu.edu /~olsonma7/LessonPlanPage/TypicalPlanning.html (170 words)

	Margaret M. Fleck (Site not responding. Last check: 2007-11-05)
		Popular for proofs of the existence of God and for proofs that computers cannot think.
		Reference is usually to a forthcoming paper of the author, which is often not as forthcoming as at first.
		The author uses terms or theorems from advanced mathematics which look impressive but are only tangentially related to the problem at hand.
	www.cs.hmc.edu /~fleck/proof.html (627 words)

	The Mercury Project: Re: [m-dev.] Assertion languages, optimisation & proof (Site not responding. Last check: 2007-11-05)
		In reply to: Fergus Henderson: "Re: [m-dev.] Assertion languages, optimisation and proof"
		input/output assertions are made redundant by a more expressive mode system.
		As we've said, though, perhaps these should be a different form of assertion.
	www.mercury.cs.mu.oz.au /mailing-lists/mercury-developers/mercury-developers.9804/0178.html (441 words)

	Gauss’s 1799 Proof Of the Fundamental Theorem of Algebra
		Gauss’s 1799 Proof Of the Fundamental Theorem of Algebra
		The proof of the assertion was not a matter one usually addressed.
		66), Gauss’s new proof of the fundamental theorem, written at the age of 21, was an explicit and polemical attack on the shallow misconceptions of his celebrated predecessors.
	www.21stcenturysciencetech.com /articles/Spring02/Gauss_02.html (1284 words)

	A Straightforward Proof
		In the proof, a natural choice is made (use the definition), a familiar technique (multiply and divide by the same value) is applied to transform the problem so the hypotheses can be used, and then the proof follows easily.
		Often, the motivational step is skipped and the unmotivated proof is directly presented; e.g., [1,8].
		Note that we cannot use the same proof for the second assertion since we do not know that the limit in (1) exists.
	www.easternct.edu /personal/faculty/kenton/chainrule/chainrule.html (450 words)

	NewsForge \| SCO: 'We have proof DOS attack was real'
		And of course, the fact that you have to sign a non-disclosure agreement to see the proof of their latest assertion sealed the deal.
		Asked whether he thought that voluntarily offering "proof" of the DoS through a third party might simply appear to skeptics to be an extension of a coverup, Stowell said, "You know it's really funny.
		I also think it's funny how everyone knows that the case is invalid, and they all have the proof that SCO is lying, but none of those people are actually lawyers assigned to the case.
	www.newsforge.com /trends/03/12/12/2216244.shtml (1857 words)

	Blogger: Email Post to a Friend
		Moving a person who had been assigned to a single job to work part-time on a second exposes you to a loss of at least six hours per week of that person's time.
		Although widely used, proof by repeated assertion, you may argue, lacks a certain amount of satisfying rigour.
		The prevalence of this practice amounts to a frequently repeated assertion that there is no penalty or that it is so minor as to be ignorable.
	www.blogger.com /email-post.g?blogID=500297&postID=111227479781401254 (518 words)

	AoPS Math Forum :: View topic - Transversal Theorem (a criterion for collinear points)
		Actually, I will show two of my three proofs mentioned in post #1: the Menelaos proof (it is different from, and less nice than the one given by MysticTerminator in post #5) and the areas proof.
		The one using vectors is really too boring and I am not the right person to explain the notion of linear independence (here in Germany, we learn it in school, anyway it should be contained in any tutorial on linear algebra).
		Assertion 2: If, then the points A', B', C' are collinear.
	www.artofproblemsolving.com /Forum/topic-20289.html (1288 words)

Try your search on: Qwika (all wikis)