1,418,386 entries with English definitions from over 300 languages

Browse: Global alphabet • All languages • Topical index • Grammatical index

a A b B c C d D e E f F g G h H i I j J k K l L m M n N o O p P q Q r R s S t T u U v V w W x X y Y z Z

Appendices • Abbreviations • Thesaurus • Rhymes • Frequency lists • Phrasebooks Welcome to the English language Wiktionary, a collaborative project to produce a free-content multilingual dictionary. Designed as the lexical companion to Wikipedia, the encyclopaedia project, Wiktionary has grown beyond a standard dictionary and now includes a thesaurus, a rhyme guide, phrase books, language statistics and extensive appendices. We aim to include not only the definition of a word, but also enough information to really understand it. Thus etymologies, pronunciations, sample quotations, synonyms, antonyms and translations are included. Wiktionary is a wiki, which means that you can edit it, and all the content is dual-licensed under both the Creative Commons Attribution-ShareAlike 3.0 Unported License as well as the GNU Free Documentation License. Before you contribute, you may wish to read through some of our Help pages, and bear in mind that we do things quite differently from other wikis. In particular we have strict layout conventions and inclusion criteria. Learn how to start a page, how to edit entries, experiment in the sandbox and visit our Community Portal to see how you can participate in the development of Wiktionary. , Word of the day for October 3 curfew n
  1. (historical) A regulation in feudal Europe by which fires had to be covered up or put out at a certain fixed time in the evening.
  2. The evening bell, which continued to be rung in many towns after the regulation itself became obsolete.
  3. Any regulation requiring people to be off the streets and in their homes by a certain time.
  4. The time when such restriction begins.

About Word of the Day • Archive • Nominate a word • RSS feed

Behind the scenes

Community Portal

A page containing everything you wanted to know about Wiktionary.

Discussion rooms

A collection of pages for the discussion of Wiktionary and the words it contains.
Things to do • Tutorial • Guidelines Index

Latin: a A b B c C d D e E f F g G h H i I j J k K l L m M n N o O p P q Q r R s S t T u U v V w W x X y Y z Z Accented: à-ç è-ý À-Ü Āā-Řř Śś-Žž Greek: Α-Κ Λ-Σ Τ-Ω α-θ ι-ρ σ-ω Ἀἀ-Ῥῥ Cyrillic: А-Н О-Я а-б в-г д-з и-к л-м н-о п р-с т-ц ч-я(-ә) Armenian: Ա-դ ե-ճ մ-ֆ Hebrew: ‏‏א-ו‎ ז-ל‎ מ-צ‎ ק-ת‎ Arabic: ‏‏ا-ب‎ ت-س‎ ش-م‎ ن-ی‎ Khmer: ក – ឱ Japanese: ぁ-げ こ-ぱ ひ-ケ コ-ヶ Han Characters: 一 促 冱 卙 哪 圱 天 存 崃 弿 愷 捇 新 杁 Korean: ㄱ 가 나 다 라 마 바 사 아 자 차 카 타 파 하

Random word • New entries

From Wiktionary under the GNU Free Documentation License.
Sat Oct 3 05:07:28 2009

In mathematics, a proof is a convincing demonstration (within the accepted standards of the field) that some mathematical statement is necessarily true. Proofs are obtained from deductive reasoning, rather than from inductive or empirical arguments. That is, a proof must demonstrate that a statement is true in all cases, without a single exception. An unproved proposition that is believed to be true is known as a conjecture.

The statement that is proved is often called a theorem. Once a theorem is proved, it can be used as the basis to prove further statements. A theorem may also be referred to as a lemma, especially if it is intended for use as a stepping stone in the proof of another theorem.

Proofs employ logic but usually include some amount of natural language which usually admits some ambiguity. In fact, the vast majority of proofs in written mathematics can be considered as applications of rigorous informal logic. Purely formal proofs, written in symbolic language instead of natural language, are considered in proof theory. The distinction between formal and informal proofs has led to much examination of current and historical mathematical practice, quasi-empiricism in mathematics, and so-called folk mathematics (in both senses of that term). The philosophy of mathematics is concerned with the role of language and logic in proofs, and mathematics as a language.

From Wikipedia under the GNU Free Documentation License
Mon Mar 8 07:03:07 2010

No statistically significant warming since 1995: a quick ...
climategate.tv
No statistically significant warming since 1995: a quick ...

admin

Mon, 28 Dec 2009 13:19:16 GM

No statistically significant warming since 1995: a quick . mathematical proof. . via Watts Up With That? Physicist Lubo Motl of The Reference Frame demonstrates how easy it is to show that there is: No statistically significant warming ...

Proved: There is no climate crisis.
truthmovementaustralia.com.au
Proved: There is no climate crisis.

Phil

hu, 24 Dec 2009 09:03:18 GM

Washington (7-15-08) - . Mathematical proof. that there is no climate crisis appears today in a major, peer-reviewed paper in Physics and Society, a learned journal of the 46000-strong American Physical Society, SPPI reports. ...

Giving more than 100% | Jannich Brendle's blog
bredsaal.dk
Giving more than 100% | Jannich Brendle's blog

Jannich Brendle

Sun, 03 Jan 2010 19:13:30 GM

Everybody knows that you can't possibly give more than 100% to achive something. However, here is the . mathematical proof. that you CAN - and everybody wants you.

From Google Blog Search: "mathematical proof"
Fri Jan 15 06:56:21 2010

The Miller Centre Players The Miller Centre, Caterham - www.thisissurreytoday.co.uk
news.google.com
The Miller Centre Players The Miller Centre, Caterham

www.thisissurreytoday.co.uk

The proof of the title is a complicated mathematical formula, but the proof of this cast was their ability to hold an audience spellbound as the truth was ...
Innocence, obsession and the making of Alice - Times Online
news.google.com
Innocence, obsession and the making of Alice

Times Online

Some have found the origin of Alice in Dodgson's mathematical speculations. Mathematical patterns are pure and self-contained, after all, divorced from any ...
Triumph of the Cyborg Composer - Miller-McCune.com
news.google.com
Triumph of the Cyborg Composer

Miller-McCune.com

And was there really any soul behind the great works, or were Beethoven and his ilk just clever mathematical manipulators of notes? ...

From Google News Search: "mathematical proof"
Mon Mar 1 21:39:44 2010

http www anvari org db fun Gender Proof That Men Are Even Worse
anvari.org
http www anvari org db fun Gender Proof That Men Are Even Worse
597px x 492px | 59.70kB

[source page]

anvari org JPG posted by bluewolf

popup 9 jpg
demonstrations.wolfram.com
popup 9 jpg
517px x 494px | 26.80kB

[source page]

X

181258050a2845655201b96940000l jpg
file017b.bebo.com
181258050a28456​55201b96940000l​ jpg
376px x 500px | 52.60kB

[source page]

Lol look at esther

From Yahoo Image Search: "mathematical proof"
Sun Feb 7 19:20:06 2010

4. In your own words, describe the difference between informal reasoning and mathematical proof. Be sure to de
Q. I have to answer this, and don't know how. and I can't find the notes for it!!! helP! In your own words, describe the difference between informal reasoning and mathematical proof. Be sure to de
Asked by Ashley H - Tue Feb 12 21:00:14 2008 - - 1 Answers - 0 Comments

A. Informal reasoning calls upon your sense of logic in order to reach a conclusion. If we were to show that "the car is blue" we can say things like "That's a car," "This is the color blue," and "The color of the car matches our description of blue," and thus, our conclusion is met. We're not using any formal definitions of anything - we're using our own common sense and logic to reach our conclusion. A mathematical proof, by contrast, is more formal and uses established theorems to prove a conclusion. For example, if you are out to prove that one angle is congruent to another in two triangles, you may need to show that first, you have a side that's congruent, then that another side is congruent, then the angle contained in those two… [cont.]
Answered by igorotboy - Fri Feb 15 08:31:57 2008

Is this mathematical proof that god is really satan?
Q. since god is perfect it shod be possible to express this mathematically'' the first perfect number is 6. The first perfect number is 6, because 1, 2, and 3 are its proper positive divisors, and 1 + 2 + 3 = 6. Equivalently, the number 6 is equal to half the sum of all its positive divisors: ( 1 + 2 + 3 + 6 ) / 2 = 6. god being 3 in 1 gives - 666 everyone knows that 666 is the sign of the devil
Asked by oo oo u u! - Sun Dec 20 10:56:18 2009 - - 18 Answers - 0 Comments

A. Well done. I for one cannot refute this powerful proof.
Answered by Fred - Sun Dec 20 11:01:41 2009

Empirical proof Vs Mathematical proof?
Q. Which proof is best, and why? Empirical is where you actually perform the experiment. Mathematical is the answer is found by a math forumla.
Asked by Ashlyn B - Fri Jan 18 17:24:52 2008 - - 3 Answers - 0 Comments

A. Best is a relative term... are you trying to say, "my senses have observed the following..." or are you trying to say, "I have logically proven that no other option can exist." for practical sciences, emperical is often the best because it not only proves a hypothesis, but does so in a repeatable manner, For more theoretical sciences, a researcher is often into a world where it may be impossible to create an observable sequence (example would be multi-variant calculus where we deal with object in 7-dimensional space). Both have value... the answer is in what do you value.
Answered by Golis - Fri Jan 18 17:29:09 2008

From Yahoo Answer Search: "mathematical proof"
Mon Mar 1 21:45:40 2010

From Wikiquote under the GNU Free Documentation License.
Mon Oct 26 04:41:13 2009

See also:

  • Logic of programmingLogic of programming
    iml.univ-mrs.fr
    The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function), and game semantics (proof = strategy). Two realisations of this working program are Linear Logic and Ludics.
  • Proof Theory as an Alternative to Model TheoryProof Theory as an Alternative to Model Theory
    lix.polytechnique.fr
    Short article by Dale Miller, arguing that logic programming languages should base their semantics on proof theory, not model theory.
  • Mathematical Reasoning GroupMathematical Reasoning Group
    dream.dai.ed.ac.uk
    Research group based in Edinburgh, it is running on the interaction between logic, mathematics and informatics. Links to publications, homepages, reports.
Custom search only mathematical proof sites:

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor
Wed Feb 17 18:17:47 2010