blog.plover.com

• name: referrer content: always
• equiv: Content-type content: text/html;charset=UTF-8
• name: viewport content: width=device-width
• property: og:title content: Proof by insufficient information
• property: og:site_name content: The Universe of Discourse
• property: og:description content: From the highly eclectic blog of Mark Dominus
• property: og:type content: article
• property: og:image content: https://pic.blog.plover.com/law/crab-cakes/Fenchurch-2026-th-sq.jpg
• property: og:image:width content: 100
• property: og:image:height content: 100
• property: og:image:alt content: (no alt)
• property: og:url content: https://blog.plover.com/math/proof-by-symmetry.html
• name: google-site-verification content: XLxterQkreKJ10X-T_OAhtcZfF6si4ZF2vupilmCNEM

• 12 recent entries
• [email protected]
• About me
• RSS
• Atom
• More about my claim
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• permanent link
• 2026
• J
• 2025
• F
• M
• A
• M
• S
• 2024
• F
• M
• A
• M
• J
• J
• A
• N
• 2023
• F
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2022
• J
• F
• M
• A
• M
• J
• J
• S
• O
• N
• D
• 2021
• J
• F
• M
• A
• J
• J
• A
• S
• O
• N
• D
• 2020
• J
• F
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2019
• J
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2018
• J
• F
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2017
• J
• F
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2016
• F
• M
• A
• M
• J
• J
• N
• D
• 2015
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2014
• J
• F
• M
• A
• J
• N
• D
• 2013
• J
• S
• O
• D
• 2012
• J
• F
• M
• A
• D
• 2011
• M
• J
• N
• 2010
• J
• A
• S
• O
• N
• 2009
• J
• F
• M
• M
• J
• J
• S
• D
• 2008
• J
• F
• M
• A
• M
• J
• J
• S
• O
• N
• 2007
• J
• F
• M
• A
• M
• J
• J
• A
• S
• O
• N
• D
• 2006
• J
• F
• M
• A
• M
• J
• J
• S
• O
• N
• D
• 2005
• O
• N
• D
• Mathematics
• Programming
• Language
• Miscellaneous
• Book
• Tech
• Etymology
• Haskell
• Oops
• Unix
• Cosmic Call
• Math SE
• Law
• Physics
• Perl
• Biology
• Brain
• Calendar
• Food
• Other articles in category /tech/gpt
• an article about the 2013 Philadelphia Traffic Court fiasco
• https://pic.blog.plover.com/law/crab-cakes/Fenchurch-2026.jpg
• Other articles in category /law
• an article about this bit of mathematical folklore
• Other articles in category /math
• Other articles in category /prog
• explained in the past
• Other articles in category /prog/git
• https://pic.blog.plover.com/history/quincunx/x.png
• https://pic.blog.plover.com/history/quincunx/coin1.png
• https://pic.blog.plover.com/history/quincunx/coin2.png
• https://pic.blog.plover.com/history/quincunx/coin3.png
• Other articles in category /history
• https://pic.blog.plover.com/bio/quince/quince.png
• https://pic.blog.plover.com/bio/quince/pear-blossoms.png
• https://pic.blog.plover.com/bio/quince/cut-apples.png
• https://pic.blog.plover.com/bio/quince/rs-apples.png
• Other articles in category /bio
• Other articles in category /calendar
• the shell sucks
• I wrote an article about the surprising reasons to use the syntax coloring
• https://pic.blog.plover.com/math/centrifuge/condenser.jpg

• http://hop.perl.plover.com/
• http://blosxom.sourceforge.net/
• http://www.blosxom.com/
• Technorati Profile
• Yehoshua Bar-Hillel
• Doug Lenat
• an explicit world model
• many interesting attempts
• a universal encyclopedia
• https://bookshop.org/a/93187/9780262580953
• (without kickback)
• John Haugeland
• SHRDLU
• My complete conversation with Claude about this
• Nine current and former Traffic Court judges charged
• For leader John Dougherty, union-paid generosity began at home
• ‘I am guilty:’ John Dougherty’s stunning statements at sentencing delivered an about-face few had predicted
• Former Adams Aide Took Diamond Earrings as Bribe, Prosecutors Say
• episode 94
• the podcast “My Favorite Theorem”
• Jeremy Alm of Lamar University
• ergodic theorem
• Rado graph
• IBM 3270 CRT terminals
• Here's the code
• Galton Box
• https://archive.org/details/bim_early-english-books-1475-1640_bibliotheca-eliot-_elyot-sir-thomas_1545
• https://github.com/mjdominus/util/blob/master/bin/menupick
• https://github.com/mjdominus/util/blob/master/bin/xar
• The complete transcript is here
• Liebig condenser
• Mario Link
• an original image
• Arlen on Flickr
• cc-by-2.0
• Wikimedia Commons
• a complete solution may be found on Matt Baker's math blog
• Omar Antolín points out an important consideration I missed
• The centrifuge Problem
• the Numberphile channel
• Heron's formula
• the volume of a polyhedron with exactly five faces, all triangles
• “information-theoretic proof”

            Domain Name: PLOVER.COM
Registrar: Gandi SAS
Domain Status: client transfer prohibited
Creation Date: 1995-10-13T04:00:00Z
Registry Expiry Date: 2026-10-12T04:00:00Z
Updated Date: 2025-04-06T02:22:33Z
Name Server: NS1.LINODE.COM
Name Server: NS2.LINODE.COM
Name Server: NS3.LINODE.COM
Name Server: NS4.LINODE.COM
REGISTRAR Contact: Gandi SAS
>>> Last update of RDAP database: 2026-02-22T13:46:06Z         

Teknisk SEO

On-Page SEO

Innehåll och UX