Constraint inference: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Cydebot
m Robot - Moving category Constraint satisfaction to Category:Constraint programming per CFD at Wikipedia:Categories for discussion/Log/2011 June 15.
 
en>Monkbot
 
Line 1: Line 1:
{{Pi box}}
Andrew Berryhill is what his spouse enjoys to call him and he totally digs that title. It's not a common thing but what she likes doing is to perform domino but she doesn't have the time recently. Alaska is exactly where he's usually been residing. Distributing production has been his profession for some time.<br><br>Visit my web page [http://isaworld.pe.kr/?document_srl=392088 free psychic readings]
The '''Indiana Pi Bill''' is the popular name for bill #246 of the 1897 sitting of the [[Indiana General Assembly]], one of the most famous attempts to establish mathematical truth by legislative fiat. Despite that name, the main result claimed by the bill is a method to [[Squaring the circle|square the circle]], rather than to establish a certain value for the mathematical constant [[pi|π]] (pi), the ratio of the [[circumference]] of a circle to its [[diameter]]. However, the bill does contain text that appears to dictate various incorrect values of π, such as 3.2. (In fact, π&nbsp;=&nbsp;3.14159265...).
 
The bill never became law, due to the intervention of a mathematics professor who happened to be present in the legislature.
 
The impossibility of squaring the circle using only [[compass and straightedge constructions|compass and straightedge]], suspected since ancient times, was rigorously proven in 1882 by [[Ferdinand von Lindemann]]. Better approximations of π than those inferred from the bill have been known since ancient times.
 
==Legislative history==
In 1894, [[Indiana]] physician and amateur mathematician Edwin J. Goodwin (ca. 1825–1902<ref>{{harvnb|Dudley|1992|p=195}}, citing an obituary</ref>) believed that he had discovered a correct way of squaring the circle.<ref>Edward J. Goodwin (July 1894) "Quadrature of the circle," ''American Mathematical Monthly'', '''1'''(7):  246–248.
*  See: [http://www.agecon.purdue.edu/crd/localgov/Topics/Materials/Pi_Goodwin_AmMathMonthly_1894.pdf Purdue Agricultural Economics].
*  Reprinted in:  Lennart Berggren, Jonathan Borwein, and Peter Borwein, ''Pi:  A Source Book'', 3rd ed. (New York, New York:  Springer-Verlag, 2004), [http://books.google.com/books?id=QlbzjN_5pDoC&pg=PA230#v=onepage&q&f=false page 230.]
*  See also:  Edward J. Goodwin (1895) "(A) The trisection of an angle; (B) Duplication of the cube," ''American Mathemtical Monthly'', '''2''': 337.</ref>  He proposed a bill to Indiana Representative Taylor I. Record, which Record introduced in the House under the long title ''"A Bill for an act introducing a new mathematical truth and offered as a contribution to education to be used only by the State of Indiana free of cost by paying any royalties whatever on the same, provided it is accepted and adopted by the official action of the Legislature of 1897"''.
 
The text of the bill consists of a series of mathematical claims (detailed below), followed by a recitation of Goodwin's previous accomplishments:
{{quote|"... his solutions of the [[trisection of the angle]], [[doubling the cube]] and [[squaring the circle|quadrature of the circle]] having been already accepted as contributions to science by the ''[[American Mathematical Monthly]]'' ... And be it remembered that these noted problems had been long since given up by scientific bodies as unsolvable mysteries and above man's ability to comprehend."}} Goodwin's "solutions" were indeed published in the ''American Mathematical Monthly'', though with a disclaimer of 'published by request of the author'.<ref>[http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/ClearAFJ "Clearing the Misunderstanding Re My April Fool's `Joke'"], math.rutgers.edu.</ref>
 
Upon its introduction in the [[Indiana House of Representatives]], the bill's language and topic occasioned confusion among the membership; a member from [[Bloomington, Indiana|Bloomington]] proposed that it be referred to the Finance Committee, but the Speaker accepted another member's recommendation to refer the bill to the Committee on Swamplands, where the bill could "find a deserved grave".<ref name=hallerburg>Hallerburg, Arthur E.  "House Bill No. 246 Revisited".  ''Proceedings of the Indiana Academy of Science'' 84 (1974): 374–399.</ref>{{rp|385}}  It was transferred to the Committee on Education, which reported favorably;<ref name=purdue>[http://www.agecon.purdue.edu/crd/Localgov/Second%20Level%20pages/Indiana_Pi_Story.htm Indiana pi story] at a Purdue server</ref> following a motion to [[Suspension of the rules|suspend the rules]], the bill passed on February 6,<ref name=hallerburg />{{rp|390}} without a dissenting vote.<ref name=purdue />  The news of the bill occasioned an alarmed response from ''Der Tägliche Telegraph'', a [[German language|German-language]] newspaper in Indianapolis, which viewed the event with significantly less favor than its English-speaking competitors.<ref name=hallerburg />{{rp|385}}  As this debate concluded, [[Purdue University]] Professor [[C. A. Waldo]] arrived in [[Indianapolis]] to secure the annual appropriation for the [[Indiana Academy of Science]]. An assemblyman handed him the bill, offering to introduce him to the genius who wrote it. He declined, saying that he already met as many crazy people as he cared to.<ref name=purdue />
 
When it reached the [[Indiana Senate]], the bill was not treated so kindly as Waldo had coached the senators previously.  The committee to which it had been assigned reported it unfavorably, and the Senate [[Table (parliamentary procedure)|tabled]] it on February 12;<ref name=hallerburg />{{rp|386}} it was nearly passed, but opinion changed when one senator observed that the General Assembly lacked the power to define mathematical truth.<ref name=hallerburg />{{rp|391}}  Influencing some of the senators was a report that major newspapers, such as the ''[[Chicago Tribune]]'', had begun to ridicule the situation.<ref name=hallerburg />{{rp|390}}
 
==The mathematics==
===Approximation of π===
[[File:IndianaPiBillCircle.svg|thumb|upright=0.90|Goodwin's model circle as described in section 2 of the bill. It has a diameter of 10 and a stated circumference of "32" (not 31.4159~); the chord of 90° has length stated as "7" (not 7.0710~).]]
Although the bill has become known as the "pi bill", its text does not mention the name "pi" at all, and Goodwin appears to have thought of the ratio between the circumference and diameter of a circle as distinctly secondary to his main aim of squaring the circle. Towards the end of Section 2 appears the following passage:
 
{{quote|"Furthermore, it has revealed the ratio of the chord and arc of ninety degrees, which is as seven to eight, and also the ratio of the diagonal and one side of a square which is as ten to seven, disclosing the fourth important fact, that the ratio of the diameter and circumference is as five-fourths to four[.]"
<ref name="bill_text">[http://www.agecon.purdue.edu/crd/Localgov/Second%20Level%20pages/indiana_pi_bill.htm Text of the bill]</ref>}}
 
This comes close to an explicit claim that <math>\pi = \frac{4}{1.25} = 3.2</math>, and that <math> \sqrt{2} = \frac{10}{7} \approx 1.429</math>.
 
This quotation is often read as three mutually incompatible assertions, but they fit together well if the statement about {{radic|2}} is taken to be about the inscribed square (with the circle's diameter as diagonal) rather than the square on the radius (with the chord of 90° as diagonal). Together they describe the circle shown in the figure, whose diameter is 10 and circumference is 32; the chord of 90° is taken to be 7. Both of the values 7 and 32 are within a few percent of the true lengths for a diameter-10 circle (which does not justify Goodwin's presentation of them as exact). The circumference should be nearer to 31.4159 and the diagonal "7" should be the [[square root]] of 50 (=25+25), or nearer to 7.071.
 
===Area of the circle===
Goodwin's main goal was not to measure lengths in the circle but to ''square'' it, which he interpreted literally as finding a square with the same area as the circle. He knew that [[Archimedes]]' formula for the area of a circle, which calls for multiplying the diameter by one fourth of the circumference, is not considered a solution to the ancient problem of [[squaring the circle]]. This is because the problem is to ''construct'' the area using [[compass and straightedge]] only, and Archimedes did not give a method for constructing a straight line with the same length as the circumference. Goodwin was clearly unaware of this central requirement; he believed that the problem with the Archimedean formula is that it gives wrong numerical results, and that a solution of the ancient problem should consist of replacing it with a "correct" formula. In the bill he proposed, without argument, his own method:
 
{{quote|"It has been found that a circular area is to the square on a line equal to the quadrant of the circumference, as the area of an equilateral rectangle is to the square on one side."<ref name="bill_text"/>}}
 
This appears needlessly convoluted, as an "[[equilateral]] rectangle" is, by definition, a [[square]]. In the rest of the bill, however, it is clear that the assertion is simply that the area of a circle is the same as that of a square with the same perimeter.
For example, right after the above quote the bill goes on to say:
 
{{quote|"The diameter employed as the linear unit according to the present rule in computing the circle's area is entirely wrong, as it represents the circle's area one and one-fifth times the area of a square whose perimeter is equal to the circumference of the circle."}}
 
In the model circle above, the Archimedean area (accepting Goodwin's values for the circumference and diameter) would be 80, whereas Goodwin's proposed rule leads to an area of 64. Now, 80 exceeds 64 by one fifth ''of 80'', and Goodwin appears to confuse 64 = 80×(1−{{frac|5}}) with 80 = 64×(1+{{frac|5}}), an approximation that works only for fractions much smaller than {{frac|5}}.
 
The area found by Goodwin's rule is {{frac|π|4}} times the true area of the circle, which in many accounts of the Pi Bill is interpreted as a claim that π = 4. However, there is no internal evidence in the bill that Goodwin intended to make such a claim; on the contrary, he repeatedly denies that the area of the circle has anything to do with its diameter.
 
The relative ''area'' error of 1−{{frac|π|4}} works out to about 21 percent, which is much more grave than the approximations of the ''lengths'' in the model circle of the previous section. It is unknown what made Goodwin believe that his rule could be correct. In general, figures with identical perimeters do not have identical area (see [[isoperimetry]]); the typical demonstration of this fact is to compare a long thin shape with a small enclosed area (approaching zero as the width decreases) to one of the same perimeter that is approximately as tall as it is wide, obviously of much greater area.
 
==In popular culture==
<!--Is this trivia suitable for inclusion in this article?-->
The day after [[New Zealand]] legalised same-sex marriage,<ref>{{cite news| url= http://www.3news.co.nz/Gay-marriage-vote-like-a-World-Cup-final---Wall/tabid/1607/articleID/294707/Default.aspx|work=3 News NZ |title= Vote like a 'World Cup final' - Wall| date=April 18, 2013}}</ref> a Catholic priest appeared on a television news show and drew parallels between legalising [[same-sex marriage]] and the 1897 attempt to regulate pi, saying pi – and heterosexual marriage – were both "pre-existing" realities that couldn't be changed. <ref>{{cite news| url= http://www.3news.co.nz/Priest-saddened-by-bizarre-gay-marriage-vote/tabid/1607/articleID/294711/Default.aspx|work=3 News NZ |title= Gay marriage vote 'bizarre' - priest| date=April 18, 2013}}</ref>
 
==References==
<!--Notes done by cite.php. Note text is inline with the section annotated.-->
{{reflist}}
 
; Sources
{{refbegin}}
*"Indiana's squared circle" by Arthur E. Hallerberg (''Mathematics Magazine'', vol. 50 (1977), pp.&nbsp;136–140) gives a good account of the bill.
*David Singmaster, in "The legal values of pi" (''Mathematical Intelligencer'', vol. 7 (1985), pp.&nbsp;69–72) finds seven different values of pi implied in Goodwin's work.
*[[Petr Beckmann]], ''[[A History of π]]''. St. Martin's Press; 1971.
*''Mathematics: From the Birth of Numbers'', published by W. W. Norton in 1997 (ISBN 039304002X ), by [[Jan Gullberg]]
*{{citation
|first=Underwood |last=Dudley|publisher=Cambridge University Press |year=1992|isbn=0-88385-507-0
|title=Mathematical cranks|series=MAA spectrum|url= http://books.google.co.uk/books?id=HqeoWPsIH6EC&pg=PA192 |chapter=Legislating Pi| pages=192 sq.}}
{{refend}}
 
==External links==
* [http://www.agecon.purdue.edu/crd/Localgov/Second%20Level%20pages/indiana_pi_bill.htm Full text] of the bill
* [http://www.agecon.purdue.edu/crd/Localgov/Second%20Level%20pages/Indiana_Pi_Story.htm Indiana Pi] narrative about the near-passing of the bill
* [http://www.straightdope.com/classics/a3_341.html The Straight Dope] article
* [http://www.snopes.com/religion/pi.asp Alabama Changes the Value of Pi] related hoax
{{-}}
{{Indiana history}}
 
[[Category:Pi]]
[[Category:Indiana General Assembly]]
[[Category:Political history of Indiana]]
[[Category:Legal history of Indiana]]
[[Category:1897 in law]]
[[Category:1897 in Indiana]]

Latest revision as of 02:33, 7 May 2014

Andrew Berryhill is what his spouse enjoys to call him and he totally digs that title. It's not a common thing but what she likes doing is to perform domino but she doesn't have the time recently. Alaska is exactly where he's usually been residing. Distributing production has been his profession for some time.

Visit my web page free psychic readings