MetaFilter posts tagged with Numbers
http://www.metafilter.com/tags/Numbers
Posts tagged with 'Numbers' at MetaFilter.Fri, 12 Jun 2015 11:44:44 -0800Fri, 12 Jun 2015 11:44:44 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60Time with class! Let's Count!
http://www.metafilter.com/150420/Time%2Dwith%2Dclass%2DLets%2DCount
<a href="https://www.youtube.com/watch?v=Q4gTV4r0zRs">I want to demonstrate how amazing combinatorial explosion is! Please don't stop me. </a> An animation about numbers that get large. It has a happy ending and possibly even a moral. About those "latest algorithmic techniques" mentioned at the end: <a href="http://www-alg.ist.hokudai.ac.jp/~thomas/TCSTR/tcstr_13_64/tcstr_13_64.pdf">Efficient Computation of the Number of Paths in a Grid Graph with Minimal Perfect Hash Functions</a> [PDF] tag:metafilter.com,2015:site.150420Fri, 12 Jun 2015 11:44:44 -0800WolfdogHoTT Coq
http://www.metafilter.com/150345/HoTT%2DCoq
<a href="https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/">Univalent Foundations Redefines Mathematics</a> - "When a legendary mathematician found a mistake in his own work, he embarked on a computer-aided quest to eliminate human error. To succeed, he has to <a href="http://homotopytypetheory.org/book/">rewrite the century-old rules</a> underlying all of mathematics." (<a href="http://www.metafilter.com/126041/Computerized-Math-Formal-Proofs-andamp-Alternative-Logic">previously</a>) <a href="http://www.ams.org/notices/201309/rnoti-p1164.pdf">Voevodsky's Univalence Axiom in Homotopy Type Theory</a>
<blockquote>One of Voevodsky's goals (<a href="https://intelligence.org/2014/02/21/john-baez-on-research-tactics/">as we understand it</a>) is that, in a not too distant future, mathematicians will be able to verify the correctness of their own papers by working <a href="http://math.andrej.com/2014/01/13/univalent-foundations-subsume-classical-mathematics/">within the system of univalent foundations</a> formalized in a proof assistant and that doing so will become natural even for pure mathematicians (the same way that most mathematicians now typeset their own papers in TeX). We believe that this aspect of the <a href="http://ncatlab.org/nlab/show/univalence+axiom">univalent foundations program</a> distinguishes it from other approaches to foundations by providing a practical utility for the working mathematician.</blockquote>
-<a href="http://www.science4all.org/le-nguyen-hoang/type-theory/">Type Theory: A Modern Computable Paradigm for Math</a>
-<a href="http://www.science4all.org/le-nguyen-hoang/homotopy-type-theory/">Homotopy Type Theory and Higher Inductive Types</a>
-<a href="http://www.science4all.org/le-nguyen-hoang/univalence/">Univalent Foundations of Mathematics</a>
also btw...
-<a href="https://www.youtube.com/watch?v=QNznD9hMEh0">James Simons interview</a>
-<a href="https://mathematicswithoutapologies.wordpress.com/2015/05/13/univalent-foundations-no-comment/">Univalent Foundations: "No Comment."</a> (<a href="http://math-frolic.blogspot.com/2015/05/set-theory-type-theory-hott-univalent.html">via</a>)
-<a href="https://terrytao.wordpress.com/career-advice/there%E2%80%99s-more-to-mathematics-than-rigour-and-proofs/">There's more to mathematics than rigour and proofs</a> tag:metafilter.com,2015:site.150345Tue, 09 Jun 2015 22:40:35 -0800kliuless3Blue1Brown: Reminding the world that math makes sense
http://www.metafilter.com/150242/3Blue1Brown%2DReminding%2Dthe%2Dworld%2Dthat%2Dmath%2Dmakes%2Dsense
<a href="https://www.youtube.com/watch?v=F_0yfvm0UoU">Understanding e to the pi i</a> - "<a href="http://www.3blue1brown.com/s/HowToThinkAboutExponentials.pdf">An intuitive explanation</a> as to why <a href="http://www.bbc.co.uk/programmes/b04hz49f" title="Melvyn Bragg and his guests discuss Euler's number, also known as e. First discovered in the seventeenth century by the Swiss mathematician Jacob Bernoulli when he was studying compound interest, e is now recognised as one of the most important and interesting numbers in mathematics. Roughly equal to 2.718, e is useful in studying many everyday situations, from personal savings to epidemics. It also features in Euler's Identity, sometimes described as the most beautiful equation ever written. With: Colva Roney-Dougal, Reader in Pure Mathematics at the University of St Andrews; June Barrow-Green, Senior Lecturer in the History of Maths at the Open University; and Vicky Neale, Whitehead Lecturer at the Mathematical Institute and Balliol College at the University of Oxford.">e</a> to the <a href="http://www.bbc.co.uk/programmes/p004y291" title="Melvyn Bragg and guests discuss the history of the most detailed number in nature. In the Bible's description of Solomon's temple it comes out as three, Archimedes calculated it to the equivalent of 14 decimal places and today's super computers have defined it with an extraordinary degree of accuracy to its first 1.4 trillion digits. It is the longest number in nature and we only need its first 32 figures to calculate the size of the known universe within the accuracy of one proton. We are talking about Pi, 3.14159 etc, the number which describes the ratio of a circle's diameter to its circumference. How has something so commonplace in nature been such a challenge for maths? And what does the oddly ubiquitous nature of Pi tell us about the hidden complexities of our world? With: Robert Kaplan, co-founder of the Maths Circle at Harvard University; Eleanor Robson, Lecturer in the Department of History and Philosophy of Science at Cambridge University; and Ian Stewart, Professor of Mathematics at the University of Warwick.">pi</a> <a href="http://www.bbc.co.uk/programmes/b00tt6b2" title="Melvyn Bragg and his guests discuss imaginary numbers. In the sixteenth century, a group of mathematicians in Bologna found a solution to a problem that had puzzled generations before them: a completely new kind of number. For more than a century this discovery was greeted with such scepticism that the great French thinker Rene Descartes dismissed it as an 'imaginary' number. The name stuck - but so did the numbers. Long dismissed as useless or even fictitious, the imaginary number i and its properties were first explored seriously in the eighteenth century. Today the imaginary numbers are in daily use by engineers, and are vital to our understanding of phenomena including electricity and radio waves. With: Marcus du Sautoy, Professor of Mathematics at Oxford University; Ian Stewart, Emeritus Professor of Mathematics at the University of Warwick; and Caroline Series, Professor of Mathematics at the University of Warwick.">i</a> equals -1 <a href="https://www.youtube.com/watch?v=1rVHLZm5Aho">without a hint</a> of calculus. This is <a href="https://www.youtube.com/watch?v=zLzLxVeqdQg">not your usual</a> Taylor series nonsense." (<a href="https://twitter.com/stevenstrogatz/status/604653212214292481" title="''A star is born.''">via</a> <a href="https://twitter.com/Noahpinion/status/604679198259580928" title="''Best geek video I've seen all week.''">via</a>; <a href="http://www.reddit.com/r/math/comments/2xzzk0/nontaylorseries_explanation_for_eulers_formula/">reddit</a>; <a href="http://www.metafilter.com/89918/Math-is-beautiful">previously</a>) <a href="https://www.youtube.com/channel/UCYO_jab_esuFRV4b17AJtAw">More videos from 3Blue1Brown</a>: "<a href="http://www.3blue1brown.com/">3Blue1Brown</a> is some combination of math and entertainment, depending on your disposition. The goal is for explanations to be <a href="http://www.3blue1brown.com/about/" title="''When the tool I am building for animations becomes something besides a jumble of Python and Duct tape, I'll make it publicly available so that anyone can use it to easily illustrate their own explanations.''">driven by animations</a>, for difficult problems to be made simple with changes in perspective, and for philosophizing to be limited to the brevity and semantic constraints of silly poetry. Basically, math sits in <a href="https://plus.google.com/117663015413546257905/posts/QAhMH35LThk">an ivory tower it built itself out of</a> jargon and impossibly long sequences of (seemingly) logical steps, and I would like to take it out for a walk to <a href="http://wordplay.blogs.nytimes.com/2015/03/09/%CF%80/">meet everyone</a>." tag:metafilter.com,2015:site.150242Sat, 06 Jun 2015 11:42:18 -0800kliulessEeny, meeny, miny, mo: Counting ditties long ago
http://www.metafilter.com/149026/Eeny%2Dmeeny%2Dminy%2Dmo%2DCounting%2Dditties%2Dlong%2Dago
<em>Eena, meena, mina, mo, /
Cracka, feena, fina, fo, /
Uppa, nootcha, poppa, tootcha, /
Ring, ding, dang, doe.</em>
<a href="http://www.theparisreview.org/blog/2015/04/16/losing-count/">"Losing Count: "Eeny, meeny, miny, mo" and the ambiguous history of counting-out rhymes,"</a> from <em>The Paris Review</em>. tag:metafilter.com,2015:site.149026Wed, 22 Apr 2015 05:22:00 -0800MonkeyToesBibbity-bee Bitey Bibbity-bee
http://www.metafilter.com/149025/Bibbity%2Dbee%2DBitey%2DBibbity%2Dbee
<a href="http://www.bzarg.com/p/how-to-pronounce-hexadecimal/">How to pronounce hexadecimal numbers</a> tag:metafilter.com,2015:site.149025Wed, 22 Apr 2015 05:12:03 -0800StarkStill Combining Numbers On A Grid To Get Bigger Numbers, But Different
http://www.metafilter.com/145164/Still%2DCombining%2DNumbers%2DOn%2DA%2DGrid%2DTo%2DGet%2DBigger%2DNumbers%2DBut%2DDifferent
<a href="http://www.veewo.com/games/get10/">Get 10</a> is a new browser game from veewo, creators of <em>1024</em>. tag:metafilter.com,2014:site.145164Tue, 09 Dec 2014 00:12:41 -0800RinkuThe Phone Number 321-Liftoff Is Not For Sale
http://www.metafilter.com/144643/The%2DPhone%2DNumber%2D321%2DLiftoff%2DIs%2DNot%2DFor%2DSale
<a href="http://321liftoff.net/areacode.html">How I Got My Own Area Code:</a> It took the combination of phone phreak and "space cadet" to find a relationship between the number 321 and the countdowns of Cape Canaveral. <a href="http://spaceyideas.com/publicity/psc980924.html">Robert Osband's Prepared Testimony Before The Florida Public Service Commission 407 Numbering Plan Area Relief Suggesting Area Code "321"</a>: "In the NPA Inventory List of area codes, one of the numbers available specifically for "Geographic Relief" - exactly the purpose of our discussion here today - is the number 321. With the Space Coast of Florida as the Count-Down capitol of the world, this in my humble opinion, is the Area Code for us!"
<a href="http://viaozz.com/cingularracing.com/story.html">"This is the story of how I got started in NASCAR related web sites, and how I got my telephone number"</a>: "So when it comes to Area Code 321, I asked for it, and the PSC approved it. That makes it my Area Code, right? OK, so it's a joke. Lighten up!
Shortly after the approval, I dialled a telephone number, and got a recording that said, "I'm sorry. the number you've dialled at Bell South Mobility is not in service at this time". That was the best news I could have heard!
I ran down to the BSM kiosk at the local mall, and asked the lady if I could get a cell phone with the number 543-8633. She called the Melbourne office, spoke with them a minute, hung up, and gave me the bad news.
"I'm sorry sir, but the boys in Melbourne tell me that the number you want is in the middle of a 'hundred-group' that's on a corporate rate. It's totally unavailable". I thanked her, and walked away dejected.
Next stop, the internet!"
<a href="http://321liftoff.net/agreement.html">"The Phone Number 321-Liftoff Is Not For Sale But I'm willing to Forward it to you or answer it to your liking"</a>: "The Company will provide a telephone number where 321-Liftoff should be Forwarded to. This should be a Receptionist position, where the person answering the phone can give an appropriate greeting. For example, Ozzie has been known to answer the phone, "You have Liftoff at SpaceLaunchInfo Dot Com. How may I help you. ", which immediately tells the caller, "Yes, we know what the telephone number spells", and where to find more information on the Internet, if they care to. Hangups at this point, or the announcment that the caller has a "wrong number" are frequent at this point."
In July 1999, "What is Area Code 321" was the <a href="http://spaceyideas.com/publicity/photos/jeopardy2.jpg">Final Jeopardy Answer</a> on the popular TV quiz show.
"<a href="http://spaceyideas.com/ozzie/">Ozzie</a> lives near Kennedy Space Center waiting for his ride home, considering how he got here." tag:metafilter.com,2014:site.144643Wed, 19 Nov 2014 08:34:39 -0800danabananaCarrier Access Codes and cultural detritus, featuring Alf and friends
http://www.metafilter.com/137858/Carrier%2DAccess%2DCodes%2Dand%2Dcultural%2Ddetritus%2Dfeaturing%2DAlf%2Dand%2Dfriends
<a href="http://en.wikipedia.org/wiki/Interexchange_carrier#Carrier_identification_code">Carrier Access Codes</a> are a largely dated*, though still functional service to select your long-distance telephone carrier per phone call. <a href="http://en.wikipedia.org/wiki/10-10-321">In the United States</a>, these "<a href="http://abtolls.com/compare/dialaround/dialaroundhome.html">dial-around codes</a>" reached a (commercial) peak in the late 1990s, as seen with ads featuring such semi-notables as <a href="https://www.youtube.com/watch?v=qPbB7TKCaz8">Marla Gibbs, Christine Taylor and Reginald VelJohnson</a>, <a href="https://www.youtube.com/watch?v=OffIV8LsBfM">Harry Anderson</a>, <a href="https://www.youtube.com/watch?v=QAeV-AWBCKI">John Lithgow</a>, <a href="https://www.youtube.com/watch?v=Gj2Xb_5YAXs">Tony Danza</a>, <a href="https://www.youtube.com/watch?v=t2ZJVgD0v9k">Doug Flutie</a>, and even <a href="https://www.youtube.com/watch?v=iW8uP-NpqhA">Alf and some well-known friends</a>. If you're at all interested in this sort of telephony, <a href="http://tim.omghax.ca/?page_id=10">here's a blog post about features in various Carrier Access Codes in Alberta</a>, and then there's <a href="http://www.dialaroundworld.com/">Dial Around World</a>, with its 2011 recommendations and <a href="http://www.dialaroundworld.com/dial_around_pic_codes.htm">extensive collection of dial around codes</a>. And if you're wondering about the shift from 10-XXX to 10-10-XXX, <a href="http://articles.dailypress.com/1998-07-01/business/9806300168_1_long-distance-three-digit-codes-dial">that happened in 1998</a>, due to an increase in long-distance carriers in the previous years.
* The decline of dial around codes (or at least the once ubiquitous nature of their commercials) can likely be attributed to the proliferation of mobile phones, as <a href="http://en.wikipedia.org/wiki/Interexchange_carrier#Interexchange_carriers_and_mobile_phones">wireless carriers in the US and Canada are not required to support these codes</a>. tag:metafilter.com,2014:site.137858Sat, 29 Mar 2014 17:37:29 -0800filthy light thiefOh seven nine oh four seven nine
http://www.metafilter.com/137314/Oh%2Dseven%2Dnine%2Doh%2Dfour%2Dseven%2Dnine
<a href="https://soundcloud.com/autodespair/grime-numbers-station-mp3">Grime numbers station, by Autodespair.</a> From the comments:
[DomtheGee] This is like such a long number. I'm not sure it's gonna work. I'll try it though
[DomtheGee] Yeah the phone won't let me finish it, it keeps cutting out. No wonder they get no calls tho innit tag:metafilter.com,2014:site.137314Sat, 08 Mar 2014 10:48:35 -0800avocet@ Risk
http://www.metafilter.com/136177/Risk
<blockquote>"I had a rare Twitter username, @N. Yep, just one letter. I've been offered as much as $50,000 for it. People have tried to steal it. Password reset instructions are a regular sight in my email inbox. As of today, I no longer control @N. I was extorted into giving it up."</blockquote>
—Naoki Heroshima explains how his accounts were hacked in order to force him to <a href="https://medium.com/p/24eb09e026dd">give up his single-letter Twitter handle</a>. Heroshima is now at <a href="https://twitter.com/N_is_stolen">@N_is_stolen</a>. Here's a list of all the single letter Twitter accounts. Private accounts marked with a *:
<blockquote><a href="https://twitter.com/a">@a</a>: Andrei Zmievski
<a href="https://twitter.com/b">@b</a>: Brian Griffing
<a href="https://twitter.com/c">@c</a>: Coley Cheng
<a href="https://twitter.com/d">@d</a>: Change soon
<a href="https://twitter.com/e">@e</a>: erin
<a href="https://twitter.com/f">@f</a>: Fred Oliveria
<a href="https://twitter.com/g">@g</a>: Greg Leding
<a href="https://twitter.com/h">@h</a>: Helgi Þorbjörnsson
<a href="https://twitter.com/i">@i</a>: IsRaEl *
<a href="https://twitter.com/j">@j</a>: Juliette Melton
<a href="https://twitter.com/k">@k</a>: Kevin Cheng
<a href="https://twitter.com/l">@l</a>: L. That is all. *
<a href="https://twitter.com/m">@m</a>: Mark Douglass
<a href="https://twitter.com/n">@n</a>: <s>Naoki Heroshima</s> "Follow <a href="https://twitter.com/Badal_NEWS">Badal_NEWS</a>" *
<a href="https://twitter.com/o">@o</a>: O Encoberto
<a href="https://twitter.com/p">@p</a>: paolo i.
<a href="https://twitter.com/q">@q</a>: Ariel Raunstien
<a href="https://twitter.com/r">@r</a>: Rex Hammock
<a href="https://twitter.com/s">@s</a>: Science! (by <a href="https://twitter.com/yo">@yo</a>, Troy Osinoff)
<a href="https://twitter.com/t">@t</a>: Tantek Çelik
<a href="https://twitter.com/u">@u</a>: [no name] *
<a href="https://twitter.com/v">@v</a>: v
<a href="https://twitter.com/w">@w</a>: Walter *
<a href="https://twitter.com/x">@x</a>: gene x
<a href="https://twitter.com/y">@y</a>: reY
<a href="https://twitter.com/z">@z</a>: Zach Brock</blockquote>
And for the heck of it, here's 0-10, too:
<blockquote><a href="https://twitter.com/0">@0</a>: Success & Truth
<a href="https://twitter.com/1">@1</a>: 1
<a href="https://twitter.com/2">@2</a>: [no name]
<a href="https://twitter.com/3">@3</a>: Blair
<a href="https://twitter.com/4">@4</a>: Flight of Bumblebees *
<a href="https://twitter.com/5">@5</a>: n
<a href="https://twitter.com/6">@6</a>: Adrián Lamo
<a href="https://twitter.com/7">@7</a>: . *
<a href="https://twitter.com/8">@8</a>: Daniel
<a href="https://twitter.com/9">@9</a>: julian
<a href="https://twitter.com/10">@10</a>: edo *
<a href="https://twitter.com/_">@_: </a> Dave Rutledge</blockquote> tag:metafilter.com,2014:site.136177Thu, 30 Jan 2014 12:06:49 -0800me3diaDynetzzle
http://www.metafilter.com/136171/Dynetzzle
<a href="http://www.kongregate.com/games/vishnuvp/dynetzzle">A standard 6 sided die is a cube. It has eleven nets. The sum of the numbers on opposite faces of a die is 7.</a> A spacial Flash puzzle game (SL Kongregate). tag:metafilter.com,2014:site.136171Thu, 30 Jan 2014 08:41:00 -0800Elementary Penguinbinding the andat
http://www.metafilter.com/134338/binding%2Dthe%2Dandat
<a href="http://www.wired.com/wiredscience/2013/11/prime/all/">Closing in on the twin prime conjecture</a> (<a href="https://www.simonsfoundation.org/quanta/20131119-together-and-alone-closing-the-prime-gap/">Quanta</a>) - "Just months after <a href="http://www.metafilter.com/128049/Quite-a-day-for-analytic-number-theory">Zhang</a> announced his result, <a href="http://arxiv.org/abs/1311.4600">Maynard</a> has presented an independent proof that pushes the gap down to 600. A <a href="http://terrytao.wordpress.com/tag/polymath8/">new Polymath project</a> is in the planning stages, to try to combine the collaboration's techniques with Maynard's approach to push this bound even lower." <a href="https://plus.google.com/u/0/117663015413546257905/posts/LxR23RdyvuF">also btw</a> :P (<a href="https://plus.google.com/u/0/117663015413546257905/posts/jd5K4jBKRYP">for fun</a>!)
-<a href="https://plus.google.com/u/0/117663015413546257905/posts/Z4cUWGQp8Ar">Schröder–Hipparchus numbers</a> (<a href="http://golem.ph.utexas.edu/category/2013/04/permutations_polynomials_and_p.html">The Hipparchus Operad</a>)
-<a href="https://plus.google.com/u/0/117663015413546257905/posts/WoXqXCzkc9S">Quasi</a>-<a href="http://golem.ph.utexas.edu/category/2013/06/quasicrystals_and_the_riemann.html">crystals</a> (<a href="https://plus.google.com/u/0/117663015413546257905/posts/j4Xxg44n1t6">quantum physics and number theory</a>)
-<a href="https://www.simonsfoundation.org/quanta/20131126-to-settle-infinity-question-a-new-law-of-logic/">To Settle Infinity Question, a New Law of Mathematics</a>
oh and <a href="https://www.simonsfoundation.org/quanta/20131107-physicists-eye-quantum-gravity-interface/">perhaps</a> more practically...
-<a href="http://www.thephysicsmill.com/2013/10/13/causal-dynamical-triangulations/">Quantum Geometry: Causal Dynamical Triangulations</a> (<a href="https://plus.google.com/u/0/117663015413546257905/posts/ATg9EwD5CJy">via</a>)
-<a href="https://plus.google.com/u/0/117663015413546257905/posts/9HeN1sSQztA">Quantropy</a>
-<a href="https://plus.google.com/u/0/117663015413546257905/posts/51Gd5adQZNM">Petri nets</a> (<a href="http://johncarlosbaez.wordpress.com/2013/04/19/petri-net-programming-part-3/">programming</a> <a href="http://www.metafilter.com/134300/ASCII-fluid-simulator">water</a>)
-<a href="http://johncarlosbaez.wordpress.com/2013/04/23/network-theory-part-29/">Network theory</a>
-<a href="https://plus.google.com/u/0/117663015413546257905/posts/SrQe3Bsd9kp">The network of mathematics</a>
-<a href="http://math.ucr.edu/home/baez/irvine/">The Foundations of Applied Mathematics</a> (<a href="https://plus.google.com/u/0/117663015413546257905/posts/LX52bzbuWgH">topos theory</a>)
-<a href="http://www.wired.com/wiredscience/2013/10/topology-data-sets/all/">Topological Data Analysis</a> tag:metafilter.com,2013:site.134338Sun, 01 Dec 2013 16:19:50 -0800kliuless"There's actually no such thing as an uninteresting natural number"
http://www.metafilter.com/132890/Theres%2Dactually%2Dno%2Dsuch%2Dthing%2Das%2Dan%2Duninteresting%2Dnatural%2Dnumber
io9 takes a look at <a href="http://io9.com/why-does-the-number-1729-show-up-in-so-many-futurama-ep-1445512975">why the number 1729 shows up in so many Futurama episodes</a>. It's mathtastic! tag:metafilter.com,2013:site.132890Wed, 16 Oct 2013 06:58:44 -0800quinCat images reportedly unaffected
http://www.metafilter.com/130641/Cat%2Dimages%2Dreportedly%2Dunaffected
<a href="http://www.dkriesel.com/en/blog/2013/0802_xerox-workcentres_are_switching_written_numbers_when_scanning?">Xerox scanners/photocopiers randomly alter numbers in scanned documents</a> tag:metafilter.com,2013:site.130641Mon, 05 Aug 2013 07:06:00 -0800JpfedVisualizing Numbers with WebGl
http://www.metafilter.com/129886/Visualizing%2DNumbers%2Dwith%2DWebGl
<a href="http://acko.net/blog/how-to-fold-a-julia-fractal/">How To Fold a Julia Fractal.</a> A beautiful interactive introduction to complex numbers, fractals and waves. <small>(Requires <a href="http://en.wikipedia.org/wiki/WebGL">WebGL</a>)</small>. <a href="http://acko.net/blog/to-infinity-and-beyond/">To Infinity And Beyond</a> is a similar introduction to calculus. tag:metafilter.com,2013:site.129886Thu, 11 Jul 2013 04:17:33 -0800empathWhat's cooler than [1965 avg. CEO pay]? The [box office sales of Jaws].
http://www.metafilter.com/128245/Whats%2Dcooler%2Dthan%2D1965%2Davg%2DCEO%2Dpay%2DThe%2Dbox%2Doffice%2Dsales%2Dof%2DJaws
Tumblr's $1.1 Billion price-tag instinctively seems very high to most of us, but without context, numbers this huge are often <i>literally</i> unfathomable to the masses. To help readers gain perspective on the huge numbers commonly tossed around by the media, researcher Glen Chiacchieri has <a href="http://glench.com/closed-source/dictionaryofnumbers/">created</a> <a href="http://www.dictionaryofnumbers.com/">Dictionary of Numbers</a>, a Google Chrome extension that automatically adds context to huge numbers printed in the web pages that you read. <small>[via the <a href="http://blog.xkcd.com/2013/05/15/dictionary-of-numbers/">xkcd blag</a>]</small> tag:metafilter.com,2013:site.128245Mon, 20 May 2013 07:57:11 -0800schmodProof and Community Standards
http://www.metafilter.com/127954/Proof%2Dand%2DCommunity%2DStandards
In August of last year, mathematician Shinichi Mochizuki reported that he had solved one of the great puzzles of number theory: the ABC conjecture (<a href="http://www.metafilter.com/119847/Mathematics-world-abuzz-with-a-proof-of-the-ABC-Conjecture">previously on Metafilter</a>). Almost a year later, no one else knows whether he has succeeded. <a href="http://projectwordsworth.com/the-paradox-of-the-proof/">No one can understand his proof.</a> tag:metafilter.com,2013:site.127954Fri, 10 May 2013 14:51:46 -0800painqualeComputerized Math, Formal Proofs and Alternative Logic
http://www.metafilter.com/126041/Computerized%2DMath%2DFormal%2DProofs%2Dandamp%2DAlternative%2DLogic
<a href="http://www.wired.com/wiredscience/2013/03/computers-and-math/all/">Using computer systems for doing mathematical proofs</a> - "With the proliferation of <a href="http://en.wikipedia.org/wiki/Computer-assisted_proof">computer-assisted proofs</a> that are all but impossible to check by hand, Hales thinks computers must become the judge." <blockquote>Three years ago, Vladimir Voevodsky, one of the organizers of a new program on the foundations of mathematics at the Institute for Advanced Study in Princeton, N.J., discovered that a formal logic system that was developed by computer scientists, called "<a href="http://en.wikipedia.org/wiki/Type_theory">type theory</a>" could be used to re-create the entire mathematical universe from scratch. Type theory is consistent with the mathematical axioms, but couched in the language of computers. Voevodsky believes this alternative way to formalize mathematics, which he has renamed the <a href="http://video.ias.edu/univalent/voevodsky">univalent foundations of mathematics</a>, will streamline the process of formal theorem proving. Voevodsky and his team are adapting a <a href="https://plus.google.com/u/0/117663015413546257905/posts/4BZRibN6iKQ">program named Coq</a>, which was designed to formally verify computer algorithms, for use in abstract mathematics.</blockquote>
also btw, speaking of mathematical revolutions, from a historical perspective, check out <a href="http://www.scientificamerican.com/article.cfm?id=the-man-of-numbers-fibona&print=true">The Man of Numbers: Fibonacci's Arithmetic Revolution</a> - "Before the 13th century Europeans used Roman numerals to do arithmetic. Leonardo of Pisa, better known today as Fibonacci, is largely responsible for the adoption of the Hindu–Arabic numeral system in Europe, which revolutionized not only mathematics but commerce and trade as well. How did the system spread from the Arab world to Europe, and what would our lives be without it?" tag:metafilter.com,2013:site.126041Sat, 16 Mar 2013 15:33:01 -0800kliulessWhat-If Numbers
http://www.metafilter.com/124698/WhatIf%2DNumbers
XKCD/<a href="http://what-if.xkcd.com/">What If</a>'s Randall Munroe brings <a href="https://twitter.com/whatifnumbers">meaning to numbers</a>. As a by-product. Of his day-to-day research. For your day-to-day entertainment. tag:metafilter.com,2013:site.124698Wed, 06 Feb 2013 16:15:29 -0800aniolathe power and beauty of mathematics
http://www.metafilter.com/124535/the%2Dpower%2Dand%2Dbeauty%2Dof%2Dmathematics
<a href="http://blogs.scientificamerican.com/the-curious-wavefunction/2013/01/22/an-eternity-of-infinities-the-power-and-beauty-of-mathematics/">An eternity of infinities</a> (<a href="http://economistsview.typepad.com/economistsview/2013/01/links-for-01-23-2013.html">via</a>) "The comparison of infinities is simple to understand and is a fantastic device for introducing children to the wonders of mathematics. It drives home the essential weirdness of the mathematical universe and raises penetrating questions not only about the nature of this universe but about the nature of the human mind that can comprehend it. One of the biggest questions concerns the nature of reality itself. Physics has also revealed counter-intuitive truths about the universe like the curvature of space-time, the duality of waves and particles and the spooky phenomenon of entanglement, but these truths undoubtedly have a real existence as observed through exhaustive experimentation. But what do the bizarre truths revealed by mathematics actually mean? Unlike the truths of physics they can't exactly be touched and seen. Can some of these such as the perceived differences between two kinds of infinities simply be a function of human perception, or do these truths point to an objective reality 'out there'? If they are only a function of human perception, what is it exactly in the structure of the brain that makes such wondrous creations possible? In the twenty-first century when neuroscience promises to reveal more of the brain than was ever possible, the investigation of mathematical understanding could prove to be profoundly significant." tag:metafilter.com,2013:site.124535Sat, 02 Feb 2013 09:14:26 -0800kliulessNumberphile: videos about numbers and stuff
http://www.metafilter.com/123329/Numberphile%2Dvideos%2Dabout%2Dnumbers%2Dand%2Dstuff
<a href="http://www.numberphile.com/index.html">Numberphile</a> is a website containing short videos (approx. 5-10 min.) about numbers and stuff. Mathematicians and physicists play around with the tools of their trade and explain things in simple, clear language. Learn things you didn't know you were interested in! Find out why <a href="http://www.numberphile.com/videos/smith_numbers.html">493-7775</a> is a pretty cool phone number! What's the significance of <a href="http://www.numberphile.com/videos/42.html">42</a>, anyway? What the heck is a <a href="http://www.numberphile.com/videos/vampire_numbers.html">vampire number</a>? Why does Pac-Man have only <a href="http://www.numberphile.com/videos/255.html">255</a> screens?
Suitable for viewing by everyone from intelligent and curious middle-schoolers to math-impaired adults. Browse their YouTube channel <a href="http://www.youtube.com/numberphile">here</a>. (<a href="https://twitter.com/notch/status/285258313535467520">Via</a>) tag:metafilter.com,2012:site.123329Sat, 29 Dec 2012 23:07:43 -0800BitterOldPunkWonky graphs of 2012
http://www.metafilter.com/123288/Wonky%2Dgraphs%2Dof%2D2012
<a href="http://www.washingtonpost.com/blogs/wonkblog/wp/2012/12/27/2012-the-year-in-graphs/?wprss=rss_ezra-klein">2012: The year in graphs</a> - as picked by the Washington Post Wonkblog's favorite economists, political scientist, politicians and other wonkys. tag:metafilter.com,2012:site.123288Fri, 28 Dec 2012 08:17:46 -0800ArtwNow maybe the number of hot dogs can match the number of buns?
http://www.metafilter.com/122812/Now%2Dmaybe%2Dthe%2Dnumber%2Dof%2Dhot%2Ddogs%2Dcan%2Dmatch%2Dthe%2Dnumber%2Dof%2Dbuns
<a href="http://www.guardian.co.uk/science/alexs-adventures-in-numberland/2012/dec/12/dozenalists-world-unite-tyranny-ten">In Recognition of 12/12/12, Let Us Consider the Concept of Dozenalism.</a> tag:metafilter.com,2012:site.122812Wed, 12 Dec 2012 10:24:32 -0800oneswellfoopSPAUN of the living
http://www.metafilter.com/122660/SPAUN%2Dof%2Dthe%2Dliving
<a href="http://www.nature.com/news/simulated-brain-scores-top-test-marks-1.11914">The simulated brain</a> - "<a href="http://models.nengo.ca/spaun">First</a> <a href="http://nengo.ca/">computer model</a> to produce <a href="http://nengo.ca/build-a-brain/spaunvideos/">complex behaviour</a> performs <a href="http://andrewsullivan.thedailybeast.com/2012/12/only-scratching-the-brains-surface.html">almost as well as humans</a> at simple number tasks." [<a href="http://arstechnica.com/science/2012/11/model-brain-with-2-5-million-neurons-configures-itself-to-problem-solve/">1</a>,<a href="http://www.extremetech.com/extreme/141926-spaun-the-most-realistic-artificial-human-brain-yet">2</a>,<a href="http://phys.org/news/2012-11-spaun-human-brain-simulator-tasks.html">3</a>,<a href="http://www.popsci.com/science/article/2012-11/meet-spaun-first-computer-model-complex-brain-behavior">4</a>,<a href="http://www.wired.co.uk/news/archive/2012-12/01/spaun-virtual-brain">5</a>,<a href="http://nengo.ca/popularpress">etc</a>.] tag:metafilter.com,2012:site.122660Sat, 08 Dec 2012 06:09:00 -0800kliulessFlash Anzan
http://www.metafilter.com/121486/Flash%2DAnzan
The world record for <a href="http://www.guardian.co.uk/science/alexs-adventures-in-numberland/2012/oct/29/mathematics">Flash Anzan</a> was broken this year at the 2012 All Japan Soroban [abacus] Championship. Competitors in Flash Anzan sum up 15 3-digit numbers that are displayed in turn within a set time. The record is now 1.70 seconds, which means that each number is displayed for just over 0.1s. Here is a video of a "slow" <a href="http://www.youtube.com/watch?v=7ktpme4xcoQ&feature=player_embedded">1.85 seconds</a> seconds where the numbers are barely readable. <a href="http://www.metafilter.com/91701/Calculator-No-thanks">Previously</a>. Flash Anzan competitors are so good at the abacus that they don't need one any more - they hold a mental model of one in their heads.
<a href="http://www.guardian.co.uk/science/alexs-adventures-in-numberland">Alex Bellos</a>, author, journalist and mathematician, recently presented a programme on BBC Radio 4 called <a href="http://www.bbc.co.uk/iplayer/episode/b01nkxkv/Land_of_the_Rising_Sums/">Land of the Rising Sums</a> (link may only work in the UK), exploring the Japanese culture of numbers. For them, numbers are a fun after-school activity, like sport. tag:metafilter.com,2012:site.121486Fri, 02 Nov 2012 04:39:41 -0800milkb0at