MetaFilter posts tagged with numbers and maths
http://www.metafilter.com/tags/numbers+maths
Posts tagged with 'numbers' and 'maths' at MetaFilter.Sun, 01 Dec 2013 16:19:50 -0800Sun, 01 Dec 2013 16:19:50 -0800en-ushttp://blogs.law.harvard.edu/tech/rss60binding 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 -0800kliulessProof 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 -0800kliulessthe 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 -0800kliulessBig (and small) Numbers
http://www.metafilter.com/115929/Big%2Dand%2Dsmall%2DNumbers
<a href="http://fatfonts.org/">FatFonts</a> creates <a href="http://www.newscientist.com/article/mg21428635.500-font-for-digits-lets-numbers-punch-their-weight.html">numerical</a> <a href="http://calculatedimages.blogspot.ca/2012/05/fatfonts.html">fonts</a> where the amount of ink/pixels for each number is in direct proportion to its <a href="http://infosthetics.com/archives/2012/05/fatfonts_new_font_links_value_of_a_number_to_amount_of_pixels.html">value</a>. tag:metafilter.com,2012:site.115929Mon, 14 May 2012 11:09:42 -0800fearfulsymmetryFinite formula found for partition numbers
http://www.metafilter.com/99788/Finite%2Dformula%2Dfound%2Dfor%2Dpartition%2Dnumbers
<a href="http://esciencecommons.blogspot.com/2011/01/new-theories-reveal-nature-of-numbers.html">New math theories reveal the nature of numbers</a> [<a href="http://www.aimath.org/news/partition/folsom-kent-ono.pdf">1</a>,<a href="http://www.aimath.org/news/partition/brunier-ono.pdf">2</a>] - "We prove that <a href="http://blogs.plos.org/badphysics/2011/01/20/ono/">partition numbers</a> are 'fractal' for every prime. <a href="http://www.science20.com/news_articles/partition_numbers_behave_fractals_says_mathematician-75556">These numbers</a>, in a way we make precise, are <a href="http://hiddencause.wordpress.com/2011/01/20/pn-is-a-fractal-when-n-is-prime/">self-similar</a> in a shocking way. Our 'zooming' procedure resolves several open conjectures, and it will change how mathematicians study partitions." (<a href="http://science.slashdot.org/story/11/01/21/2047229/Eulers-Partition-Function-Theory-Finished">/.</a>|<a href="http://economistsview.typepad.com/economistsview/2011/01/links-for-2011-01-20.html">via</a>) BONUS
<li><a href="http://arstechnica.com/science/news/2011/01/fractals-plus-quantum-mechanics-equals-chaos.ars">Fractals plus quantum mechanics equals chaos</a> - "investigating the properties of light when it is confined to a fractal object"
<li><a href="http://science.slashdot.org/story/11/01/20/1546206/Polynomial-Time-Code-For-3-SAT-Released-PNP">Polynomial Time Code For 3-SAT Released</a> - "This is not a P=NP paper."</li></li> tag:metafilter.com,2011:site.99788Sat, 22 Jan 2011 10:40:18 -0800kliulessPrime Prize
http://www.metafilter.com/60240/Prime%2DPrize
In September 2006 the largest known prime number, <a href="http://primes.utm.edu/largest.html">a 9.8 million digit number</a>, was discovered. If you find one over ten million digits you can win <a href="http://www.eff.org/awards/coop.php">US$100,000</a> (<a href="http://www.mersenne.org/prize.htm">of which you get to keep $50,000</a>). No maths is required - just <a href="http://www.mersenne.org/freesoft.htm">download the software </a>and you're away. Warning: <a href="http://www.mersenne.org/works.htm">it takes about a month to run one primality check</a> so some patience is required. Look out though Cooper and Boone look like they might beat you to it. tag:metafilter.com,2007:site.60240Thu, 12 Apr 2007 17:57:14 -0800meechLet's Party Like It's MCMXCIX
http://www.metafilter.com/54037/Lets%2DParty%2DLike%2DIts%2DMCMXCIX
<a href="http://scienceblogs.com/goodmath/2006/08/roman_numerals_and_arithmetic.php">Roman Numerals and Arithmetic</a> tag:metafilter.com,2006:site.54037Sat, 19 Aug 2006 04:30:40 -0800jack_mo