CINXE.COM

<!DOCTYPE html> <html lang="en-US"> <head> <meta charset="UTF-8" /> <title>Impossible? – Feature Column</title> <meta name='robots' content='max-image-preview:large' /> <style>img:is([sizes="auto" i], [sizes^="auto," i]) { contain-intrinsic-size: 3000px 1500px }</style> <script type='text/x-mathjax-config'> MathJax.Hub.Config({ tex2jax: { inlineMath: [['$','$'], ['\$','\$']], processEscapes: true } }); </script>  <meta name="viewport" content="width=device-width, initial-scale=1" /> <meta name="generator" content="Hoot Business 2.11.0" /> <link rel='dns-prefetch' href='//cdn.jsdelivr.net' /> <link rel='dns-prefetch' href='//stats.wp.com' /> <link rel='dns-prefetch' href='//fonts.googleapis.com' /> <link rel='dns-prefetch' href='//i0.wp.com' /> <link rel='dns-prefetch' href='//c0.wp.com' /> <link rel='dns-prefetch' href='//v0.wordpress.com' /> <link rel='dns-prefetch' href='//widgets.wp.com' /> <link rel='dns-prefetch' href='//s0.wp.com' /> <link rel='dns-prefetch' href='//0.gravatar.com' /> <link rel='dns-prefetch' href='//1.gravatar.com' /> <link rel='dns-prefetch' href='//2.gravatar.com' /> <link rel="alternate" type="application/rss+xml" title="Feature Column » Feed" href="https://mathvoices.ams.org/featurecolumn/feed/" /> <link rel="alternate" type="application/rss+xml" title="Feature Column » Comments Feed" href="https://mathvoices.ams.org/featurecolumn/comments/feed/" /> <link rel="alternate" type="application/rss+xml" title="Feature Column » Impossible? Comments Feed" href="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/feed/" /> <link rel="preload" href="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/library/fonticons/webfonts/fa-solid-900.woff2" as="font" crossorigin="anonymous"> <link rel="preload" href="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/library/fonticons/webfonts/fa-regular-400.woff2" as="font" crossorigin="anonymous"> <link rel="preload" href="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/library/fonticons/webfonts/fa-brands-400.woff2" as="font" crossorigin="anonymous"> <script> window._wpemojiSettings = {"baseUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/72x72\/","ext":".png","svgUrl":"https:\/\/s.w.org\/images\/core\/emoji\/15.0.3\/svg\/","svgExt":".svg","source":{"concatemoji":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-includes\/js\/wp-emoji-release.min.js?ver=6.7.1"}}; /*! This file is auto-generated */ !function(i,n){var o,s,e;function c(e){try{var t={supportTests:e,timestamp:(new Date).valueOf()};sessionStorage.setItem(o,JSON.stringify(t))}catch(e){}}function p(e,t,n){e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(t,0,0);var t=new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data),r=(e.clearRect(0,0,e.canvas.width,e.canvas.height),e.fillText(n,0,0),new Uint32Array(e.getImageData(0,0,e.canvas.width,e.canvas.height).data));return t.every(function(e,t){return e===r[t]})}function u(e,t,n){switch(t){case"flag":return n(e,"\ud83c\udff3\ufe0f\u200d\u26a7\ufe0f","\ud83c\udff3\ufe0f\u200b\u26a7\ufe0f")?!1:!n(e,"\ud83c\uddfa\ud83c\uddf3","\ud83c\uddfa\u200b\ud83c\uddf3")&&!n(e,"\ud83c\udff4\udb40\udc67\udb40\udc62\udb40\udc65\udb40\udc6e\udb40\udc67\udb40\udc7f","\ud83c\udff4\u200b\udb40\udc67\u200b\udb40\udc62\u200b\udb40\udc65\u200b\udb40\udc6e\u200b\udb40\udc67\u200b\udb40\udc7f");case"emoji":return!n(e,"\ud83d\udc26\u200d\u2b1b","\ud83d\udc26\u200b\u2b1b")}return!1}function f(e,t,n){var r="undefined"!=typeof WorkerGlobalScope&&self instanceof WorkerGlobalScope?new OffscreenCanvas(300,150):i.createElement("canvas"),a=r.getContext("2d",{willReadFrequently:!0}),o=(a.textBaseline="top",a.font="600 32px Arial",{});return e.forEach(function(e){o[e]=t(a,e,n)}),o}function t(e){var t=i.createElement("script");t.src=e,t.defer=!0,i.head.appendChild(t)}"undefined"!=typeof Promise&&(o="wpEmojiSettingsSupports",s=["flag","emoji"],n.supports={everything:!0,everythingExceptFlag:!0},e=new Promise(function(e){i.addEventListener("DOMContentLoaded",e,{once:!0})}),new Promise(function(t){var n=function(){try{var e=JSON.parse(sessionStorage.getItem(o));if("object"==typeof e&&"number"==typeof e.timestamp&&(new Date).valueOf()<e.timestamp+604800&&"object"==typeof e.supportTests)return e.supportTests}catch(e){}return null}();if(!n){if("undefined"!=typeof Worker&&"undefined"!=typeof OffscreenCanvas&&"undefined"!=typeof URL&&URL.createObjectURL&&"undefined"!=typeof Blob)try{var e="postMessage("+f.toString()+"("+[JSON.stringify(s),u.toString(),p.toString()].join(",")+"));",r=new Blob([e],{type:"text/javascript"}),a=new Worker(URL.createObjectURL(r),{name:"wpTestEmojiSupports"});return void(a.onmessage=function(e){c(n=e.data),a.terminate(),t(n)})}catch(e){}c(n=f(s,u,p))}t(n)}).then(function(e){for(var t in e)n.supports[t]=e[t],n.supports.everything=n.supports.everything&&n.supports[t],"flag"!==t&&(n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&n.supports[t]);n.supports.everythingExceptFlag=n.supports.everythingExceptFlag&&!n.supports.flag,n.DOMReady=!1,n.readyCallback=function(){n.DOMReady=!0}}).then(function(){return e}).then(function(){var e;n.supports.everything||(n.readyCallback(),(e=n.source||{}).concatemoji?t(e.concatemoji):e.wpemoji&&e.twemoji&&(t(e.twemoji),t(e.wpemoji)))}))}((window,document),window._wpemojiSettings); </script> <style id='wp-emoji-styles-inline-css'> img.wp-smiley, img.emoji { display: inline !important; border: none !important; box-shadow: none !important; height: 1em !important; width: 1em !important; margin: 0 0.07em !important; vertical-align: -0.1em !important; background: none !important; padding: 0 !important; } </style> <link rel='stylesheet' id='wp-block-library-css' href='https://c0.wp.com/c/6.7.1/wp-includes/css/dist/block-library/style.min.css' media='all' /> <style id='wp-block-library-theme-inline-css'> .wp-block-audio :where(figcaption){color:#555;font-size:13px;text-align:center}.is-dark-theme .wp-block-audio :where(figcaption){color:#ffffffa6}.wp-block-audio{margin:0 0 1em}.wp-block-code{border:1px solid #ccc;border-radius:4px;font-family:Menlo,Consolas,monaco,monospace;padding:.8em 1em}.wp-block-embed :where(figcaption){color:#555;font-size:13px;text-align:center}.is-dark-theme .wp-block-embed :where(figcaption){color:#ffffffa6}.wp-block-embed{margin:0 0 1em}.blocks-gallery-caption{color:#555;font-size:13px;text-align:center}.is-dark-theme .blocks-gallery-caption{color:#ffffffa6}:root :where(.wp-block-image figcaption){color:#555;font-size:13px;text-align:center}.is-dark-theme :root :where(.wp-block-image figcaption){color:#ffffffa6}.wp-block-image{margin:0 0 1em}.wp-block-pullquote{border-bottom:4px solid;border-top:4px solid;color:currentColor;margin-bottom:1.75em}.wp-block-pullquote cite,.wp-block-pullquote footer,.wp-block-pullquote__citation{color:currentColor;font-size:.8125em;font-style:normal;text-transform:uppercase}.wp-block-quote{border-left:.25em solid;margin:0 0 1.75em;padding-left:1em}.wp-block-quote cite,.wp-block-quote footer{color:currentColor;font-size:.8125em;font-style:normal;position:relative}.wp-block-quote:where(.has-text-align-right){border-left:none;border-right:.25em solid;padding-left:0;padding-right:1em}.wp-block-quote:where(.has-text-align-center){border:none;padding-left:0}.wp-block-quote.is-large,.wp-block-quote.is-style-large,.wp-block-quote:where(.is-style-plain){border:none}.wp-block-search .wp-block-search__label{font-weight:700}.wp-block-search__button{border:1px solid #ccc;padding:.375em .625em}:where(.wp-block-group.has-background){padding:1.25em 2.375em}.wp-block-separator.has-css-opacity{opacity:.4}.wp-block-separator{border:none;border-bottom:2px solid;margin-left:auto;margin-right:auto}.wp-block-separator.has-alpha-channel-opacity{opacity:1}.wp-block-separator:not(.is-style-wide):not(.is-style-dots){width:100px}.wp-block-separator.has-background:not(.is-style-dots){border-bottom:none;height:1px}.wp-block-separator.has-background:not(.is-style-wide):not(.is-style-dots){height:2px}.wp-block-table{margin:0 0 1em}.wp-block-table td,.wp-block-table th{word-break:normal}.wp-block-table :where(figcaption){color:#555;font-size:13px;text-align:center}.is-dark-theme .wp-block-table :where(figcaption){color:#ffffffa6}.wp-block-video :where(figcaption){color:#555;font-size:13px;text-align:center}.is-dark-theme .wp-block-video :where(figcaption){color:#ffffffa6}.wp-block-video{margin:0 0 1em}:root :where(.wp-block-template-part.has-background){margin-bottom:0;margin-top:0;padding:1.25em 2.375em} </style> <link rel='stylesheet' id='mediaelement-css' href='https://c0.wp.com/c/6.7.1/wp-includes/js/mediaelement/mediaelementplayer-legacy.min.css' media='all' /> <link rel='stylesheet' id='wp-mediaelement-css' href='https://c0.wp.com/c/6.7.1/wp-includes/js/mediaelement/wp-mediaelement.min.css' media='all' /> <style id='jetpack-sharing-buttons-style-inline-css'> .jetpack-sharing-buttons__services-list{display:flex;flex-direction:row;flex-wrap:wrap;gap:0;list-style-type:none;margin:5px;padding:0}.jetpack-sharing-buttons__services-list.has-small-icon-size{font-size:12px}.jetpack-sharing-buttons__services-list.has-normal-icon-size{font-size:16px}.jetpack-sharing-buttons__services-list.has-large-icon-size{font-size:24px}.jetpack-sharing-buttons__services-list.has-huge-icon-size{font-size:36px}@media print{.jetpack-sharing-buttons__services-list{display:none!important}}.editor-styles-wrapper .wp-block-jetpack-sharing-buttons{gap:0;padding-inline-start:0}ul.jetpack-sharing-buttons__services-list.has-background{padding:1.25em 2.375em} </style> <style id='classic-theme-styles-inline-css'> /*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none} </style> <style id='global-styles-inline-css'> :root{--wp--preset--aspect-ratio--square: 1;--wp--preset--aspect-ratio--4-3: 4/3;--wp--preset--aspect-ratio--3-4: 3/4;--wp--preset--aspect-ratio--3-2: 3/2;--wp--preset--aspect-ratio--2-3: 2/3;--wp--preset--aspect-ratio--16-9: 16/9;--wp--preset--aspect-ratio--9-16: 9/16;--wp--preset--color--black: #000000;--wp--preset--color--cyan-bluish-gray: #abb8c3;--wp--preset--color--white: #ffffff;--wp--preset--color--pale-pink: #f78da7;--wp--preset--color--vivid-red: #cf2e2e;--wp--preset--color--luminous-vivid-orange: #ff6900;--wp--preset--color--luminous-vivid-amber: #fcb900;--wp--preset--color--light-green-cyan: #7bdcb5;--wp--preset--color--vivid-green-cyan: #00d084;--wp--preset--color--pale-cyan-blue: #8ed1fc;--wp--preset--color--vivid-cyan-blue: #0693e3;--wp--preset--color--vivid-purple: #9b51e0;--wp--preset--color--accent: #316dcd;--wp--preset--color--accent-font: #ffffff;--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple: linear-gradient(135deg,rgba(6,147,227,1) 0%,rgb(155,81,224) 100%);--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan: linear-gradient(135deg,rgb(122,220,180) 0%,rgb(0,208,130) 100%);--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange: linear-gradient(135deg,rgba(252,185,0,1) 0%,rgba(255,105,0,1) 100%);--wp--preset--gradient--luminous-vivid-orange-to-vivid-red: linear-gradient(135deg,rgba(255,105,0,1) 0%,rgb(207,46,46) 100%);--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray: linear-gradient(135deg,rgb(238,238,238) 0%,rgb(169,184,195) 100%);--wp--preset--gradient--cool-to-warm-spectrum: linear-gradient(135deg,rgb(74,234,220) 0%,rgb(151,120,209) 20%,rgb(207,42,186) 40%,rgb(238,44,130) 60%,rgb(251,105,98) 80%,rgb(254,248,76) 100%);--wp--preset--gradient--blush-light-purple: linear-gradient(135deg,rgb(255,206,236) 0%,rgb(152,150,240) 100%);--wp--preset--gradient--blush-bordeaux: linear-gradient(135deg,rgb(254,205,165) 0%,rgb(254,45,45) 50%,rgb(107,0,62) 100%);--wp--preset--gradient--luminous-dusk: linear-gradient(135deg,rgb(255,203,112) 0%,rgb(199,81,192) 50%,rgb(65,88,208) 100%);--wp--preset--gradient--pale-ocean: linear-gradient(135deg,rgb(255,245,203) 0%,rgb(182,227,212) 50%,rgb(51,167,181) 100%);--wp--preset--gradient--electric-grass: linear-gradient(135deg,rgb(202,248,128) 0%,rgb(113,206,126) 100%);--wp--preset--gradient--midnight: linear-gradient(135deg,rgb(2,3,129) 0%,rgb(40,116,252) 100%);--wp--preset--font-size--small: 13px;--wp--preset--font-size--medium: 20px;--wp--preset--font-size--large: 36px;--wp--preset--font-size--x-large: 42px;--wp--preset--spacing--20: 0.44rem;--wp--preset--spacing--30: 0.67rem;--wp--preset--spacing--40: 1rem;--wp--preset--spacing--50: 1.5rem;--wp--preset--spacing--60: 2.25rem;--wp--preset--spacing--70: 3.38rem;--wp--preset--spacing--80: 5.06rem;--wp--preset--shadow--natural: 6px 6px 9px rgba(0, 0, 0, 0.2);--wp--preset--shadow--deep: 12px 12px 50px rgba(0, 0, 0, 0.4);--wp--preset--shadow--sharp: 6px 6px 0px rgba(0, 0, 0, 0.2);--wp--preset--shadow--outlined: 6px 6px 0px -3px rgba(255, 255, 255, 1), 6px 6px rgba(0, 0, 0, 1);--wp--preset--shadow--crisp: 6px 6px 0px rgba(0, 0, 0, 1);}:where(.is-layout-flex){gap: 0.5em;}:where(.is-layout-grid){gap: 0.5em;}body .is-layout-flex{display: flex;}.is-layout-flex{flex-wrap: wrap;align-items: center;}.is-layout-flex > :is(*, div){margin: 0;}body .is-layout-grid{display: grid;}.is-layout-grid > :is(*, div){margin: 0;}:where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;}:where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;}.has-black-color{color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-color{color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-color{color: var(--wp--preset--color--white) !important;}.has-pale-pink-color{color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-color{color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-color{color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-color{color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-color{color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-color{color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-color{color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-color{color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-color{color: var(--wp--preset--color--vivid-purple) !important;}.has-black-background-color{background-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-background-color{background-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-background-color{background-color: var(--wp--preset--color--white) !important;}.has-pale-pink-background-color{background-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-background-color{background-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-background-color{background-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-background-color{background-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-background-color{background-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-background-color{background-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-background-color{background-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-background-color{background-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-background-color{background-color: var(--wp--preset--color--vivid-purple) !important;}.has-black-border-color{border-color: var(--wp--preset--color--black) !important;}.has-cyan-bluish-gray-border-color{border-color: var(--wp--preset--color--cyan-bluish-gray) !important;}.has-white-border-color{border-color: var(--wp--preset--color--white) !important;}.has-pale-pink-border-color{border-color: var(--wp--preset--color--pale-pink) !important;}.has-vivid-red-border-color{border-color: var(--wp--preset--color--vivid-red) !important;}.has-luminous-vivid-orange-border-color{border-color: var(--wp--preset--color--luminous-vivid-orange) !important;}.has-luminous-vivid-amber-border-color{border-color: var(--wp--preset--color--luminous-vivid-amber) !important;}.has-light-green-cyan-border-color{border-color: var(--wp--preset--color--light-green-cyan) !important;}.has-vivid-green-cyan-border-color{border-color: var(--wp--preset--color--vivid-green-cyan) !important;}.has-pale-cyan-blue-border-color{border-color: var(--wp--preset--color--pale-cyan-blue) !important;}.has-vivid-cyan-blue-border-color{border-color: var(--wp--preset--color--vivid-cyan-blue) !important;}.has-vivid-purple-border-color{border-color: var(--wp--preset--color--vivid-purple) !important;}.has-vivid-cyan-blue-to-vivid-purple-gradient-background{background: var(--wp--preset--gradient--vivid-cyan-blue-to-vivid-purple) !important;}.has-light-green-cyan-to-vivid-green-cyan-gradient-background{background: var(--wp--preset--gradient--light-green-cyan-to-vivid-green-cyan) !important;}.has-luminous-vivid-amber-to-luminous-vivid-orange-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-amber-to-luminous-vivid-orange) !important;}.has-luminous-vivid-orange-to-vivid-red-gradient-background{background: var(--wp--preset--gradient--luminous-vivid-orange-to-vivid-red) !important;}.has-very-light-gray-to-cyan-bluish-gray-gradient-background{background: var(--wp--preset--gradient--very-light-gray-to-cyan-bluish-gray) !important;}.has-cool-to-warm-spectrum-gradient-background{background: var(--wp--preset--gradient--cool-to-warm-spectrum) !important;}.has-blush-light-purple-gradient-background{background: var(--wp--preset--gradient--blush-light-purple) !important;}.has-blush-bordeaux-gradient-background{background: var(--wp--preset--gradient--blush-bordeaux) !important;}.has-luminous-dusk-gradient-background{background: var(--wp--preset--gradient--luminous-dusk) !important;}.has-pale-ocean-gradient-background{background: var(--wp--preset--gradient--pale-ocean) !important;}.has-electric-grass-gradient-background{background: var(--wp--preset--gradient--electric-grass) !important;}.has-midnight-gradient-background{background: var(--wp--preset--gradient--midnight) !important;}.has-small-font-size{font-size: var(--wp--preset--font-size--small) !important;}.has-medium-font-size{font-size: var(--wp--preset--font-size--medium) !important;}.has-large-font-size{font-size: var(--wp--preset--font-size--large) !important;}.has-x-large-font-size{font-size: var(--wp--preset--font-size--x-large) !important;} :where(.wp-block-post-template.is-layout-flex){gap: 1.25em;}:where(.wp-block-post-template.is-layout-grid){gap: 1.25em;} :where(.wp-block-columns.is-layout-flex){gap: 2em;}:where(.wp-block-columns.is-layout-grid){gap: 2em;} :root :where(.wp-block-pullquote){font-size: 1.5em;line-height: 1.6;} </style> <link rel='stylesheet' id='events-manager-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/plugins/events-manager/includes/css/events-manager.min.css?ver=6.3' media='all' /> <link rel='stylesheet' id='stcr-font-awesome-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/plugins/subscribe-to-comments-reloaded/includes/css/font-awesome.min.css?ver=6.7.1' media='all' /> <link rel='stylesheet' id='stcr-style-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/plugins/subscribe-to-comments-reloaded/includes/css/stcr-style.css?ver=6.7.1' media='all' /> <link rel='stylesheet' id='jetpack_likes-css' href='https://c0.wp.com/p/jetpack/14.0/modules/likes/style.css' media='all' /> <link rel='stylesheet' id='hootbiz-googlefont-css' href='https://fonts.googleapis.com/css2?family=Fira%20Sans:ital,wght@0,300;0,400;0,500;0,600;0,700;0,800;1,400;1,700&family=Oswald:ital,wght@0,400&display=swap' media='all' /> <link rel='stylesheet' id='font-awesome-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/library/fonticons/font-awesome.css?ver=5.15.4' media='all' /> <link rel='stylesheet' id='jetpack-subscriptions-css' href='https://c0.wp.com/p/jetpack/14.0/modules/subscriptions/subscriptions.css' media='all' /> <link rel='stylesheet' id='hoot-style-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/style.css?ver=2.11.0' media='all' /> <link rel='stylesheet' id='hoot-wpblocks-css' href='https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/include/blocks/wpblocks.css?ver=2.11.0' media='all' /> <style id='hoot-wpblocks-inline-css'> .hgrid { max-width: 1080px; } a { color: #316dcd; } a:hover { color: #25529a; } .accent-typo { background: #316dcd; color: #ffffff; } .invert-typo { color: #ffffff; } .enforce-typo { background: #ffffff; } body.wordpress input[type="submit"], body.wordpress #submit, body.wordpress .button { background: #316dcd; color: #ffffff; } body.wordpress input[type="submit"]:hover, body.wordpress #submit:hover, body.wordpress .button:hover, body.wordpress input[type="submit"]:focus, body.wordpress #submit:focus, body.wordpress .button:focus { background: #25529a; color: #ffffff; } h1, h2, h3, h4, h5, h6, .title, .titlefont { font-family: "Fira Sans", sans-serif; text-transform: none; } #main.main,#header-supplementary,.below-header { background: #ffffff; } #topbar { background: #316dcd; color: #ffffff; } #topbar.js-search .searchform.expand .searchtext { background: #316dcd; } #site-logo.logo-border { border-color: #316dcd; } .header-aside-search.js-search .searchform i.fa-search { color: #316dcd; } #site-title { font-family: "Oswald", sans-serif; text-transform: uppercase; } .site-logo-with-icon #site-title i { font-size: 50px; } .site-logo-mixed-image img { max-width: 200px; } .site-title-line em { color: #316dcd; } .site-title-line mark { background: #316dcd; color: #ffffff; } .site-title-heading-font { font-family: "Fira Sans", sans-serif; } .menu-items ul { background: #ffffff; } .menu-items > li.current-menu-item:not(.nohighlight), .menu-items > li.current-menu-ancestor, .menu-items > li:hover,.menu-items ul li.current-menu-item:not(.nohighlight), .menu-items ul li.current-menu-ancestor, .menu-items ul li:hover { background: #ffffff; } .menu-items > li.current-menu-item:not(.nohighlight) > a, .menu-items > li.current-menu-ancestor > a, .menu-items > li:hover > a,.menu-items ul li.current-menu-item:not(.nohighlight) > a, .menu-items ul li.current-menu-ancestor > a, .menu-items ul li:hover > a { color: #316dcd; } .more-link { color: #316dcd; } .more-link a { background: #ffffff; color: #316dcd; } .more-link a:hover { background: #ffffff; color: #25529a; } .main-content-grid,.widget,.frontpage-area { margin-top: 45px; } .widget,.frontpage-area { margin-bottom: 45px; } .frontpage-area.module-bg-highlight, .frontpage-area.module-bg-color, .frontpage-area.module-bg-image { padding: 45px 0; } .footer .widget { margin: 30px 0; } .js-search .searchform.expand .searchtext { background: #ffffff; } #infinite-handle span,.lrm-form a.button, .lrm-form button, .lrm-form button[type=submit], .lrm-form #buddypress input[type=submit], .lrm-form input[type=submit],.widget_newsletterwidget input.tnp-submit[type=submit], .widget_newsletterwidgetminimal input.tnp-submit[type=submit],.woocommerce #respond input#submit.alt, .woocommerce a.button.alt, .woocommerce button.button.alt, .woocommerce input.button.alt,.widget_breadcrumb_navxt .breadcrumbs > .hoot-bcn-pretext { background: #316dcd; color: #ffffff; } .woocommerce nav.woocommerce-pagination ul li a:focus, .woocommerce nav.woocommerce-pagination ul li a:hover { color: #25529a; } .woocommerce div.product .woocommerce-tabs ul.tabs li:hover,.woocommerce div.product .woocommerce-tabs ul.tabs li.active { background: #316dcd; } .woocommerce div.product .woocommerce-tabs ul.tabs li:hover a, .woocommerce div.product .woocommerce-tabs ul.tabs li:hover a:hover,.woocommerce div.product .woocommerce-tabs ul.tabs li.active a { color: #ffffff; } .woocommerce #respond input#submit.alt:hover, .woocommerce a.button.alt:hover, .woocommerce button.button.alt:hover, .woocommerce input.button.alt:hover { background: #25529a; color: #ffffff; } .widget_newsletterwidget input.tnp-submit[type=submit]:hover, .widget_newsletterwidgetminimal input.tnp-submit[type=submit]:hover { background: #25529a; color: #ffffff; } .widget_breadcrumb_navxt .breadcrumbs > .hoot-bcn-pretext:after { border-left-color: #316dcd; } :root .has-accent-color,.is-style-outline>.wp-block-button__link:not(.has-text-color), .wp-block-button__link.is-style-outline:not(.has-text-color) { color: #316dcd; } :root .has-accent-background-color,.wp-block-button__link,.wp-block-button__link:hover,.wp-block-search__button,.wp-block-search__button:hover, .wp-block-file__button,.wp-block-file__button:hover { background: #316dcd; } :root .has-accent-font-color,.wp-block-button__link,.wp-block-button__link:hover,.wp-block-search__button,.wp-block-search__button:hover, .wp-block-file__button,.wp-block-file__button:hover { color: #ffffff; } :root .has-accent-font-background-color { background: #ffffff; } @media only screen and (max-width: 969px){ .mobilemenu-fixed .menu-toggle, .mobilemenu-fixed .menu-items { background: #ffffff; } .sidebar { margin-top: 45px; } .frontpage-widgetarea > div.hgrid > [class*="hgrid-span-"] { margin-bottom: 45px; } } </style> <link rel='stylesheet' id='sharedaddy-css' href='https://c0.wp.com/p/jetpack/14.0/modules/sharedaddy/sharing.css' media='all' /> <link rel='stylesheet' id='social-logos-css' href='https://c0.wp.com/p/jetpack/14.0/_inc/social-logos/social-logos.min.css' media='all' /> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/jquery.min.js" id="jquery-core-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/jquery-migrate.min.js" id="jquery-migrate-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/core.min.js" id="jquery-ui-core-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/mouse.min.js" id="jquery-ui-mouse-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/sortable.min.js" id="jquery-ui-sortable-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/datepicker.min.js" id="jquery-ui-datepicker-js"></script> <script id="jquery-ui-datepicker-js-after"> jQuery(function(jQuery){jQuery.datepicker.setDefaults({"closeText":"Close","currentText":"Today","monthNames":["January","February","March","April","May","June","July","August","September","October","November","December"],"monthNamesShort":["Jan","Feb","Mar","Apr","May","Jun","Jul","Aug","Sep","Oct","Nov","Dec"],"nextText":"Next","prevText":"Previous","dayNames":["Sunday","Monday","Tuesday","Wednesday","Thursday","Friday","Saturday"],"dayNamesShort":["Sun","Mon","Tue","Wed","Thu","Fri","Sat"],"dayNamesMin":["S","M","T","W","T","F","S"],"dateFormat":"MM d, yy","firstDay":1,"isRTL":false});}); </script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/resizable.min.js" id="jquery-ui-resizable-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/draggable.min.js" id="jquery-ui-draggable-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/controlgroup.min.js" id="jquery-ui-controlgroup-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/checkboxradio.min.js" id="jquery-ui-checkboxradio-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/button.min.js" id="jquery-ui-button-js"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/jquery/ui/dialog.min.js" id="jquery-ui-dialog-js"></script> <script id="events-manager-js-extra"> var EM = {"ajaxurl":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-admin\/admin-ajax.php","locationajaxurl":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-admin\/admin-ajax.php?action=locations_search","firstDay":"1","locale":"en","dateFormat":"yy-mm-dd","ui_css":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-content\/plugins\/events-manager\/includes\/css\/jquery-ui\/build.min.css","show24hours":"","is_ssl":"1","autocomplete_limit":"10","calendar":{"breakpoints":{"small":560,"medium":908,"large":false}},"datepicker":{"format":"Y-m-d"},"search":{"breakpoints":{"small":650,"medium":850,"full":false}},"bookingInProgress":"Please wait while the booking is being submitted.","tickets_save":"Save Ticket","bookingajaxurl":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-admin\/admin-ajax.php","bookings_export_save":"Export Bookings","bookings_settings_save":"Save Settings","booking_delete":"Are you sure you want to delete?","booking_offset":"30","bb_full":"Sold Out","bb_book":"Book Now","bb_booking":"Booking...","bb_booked":"Booking Submitted","bb_error":"Booking Error. Try again?","bb_cancel":"Cancel","bb_canceling":"Canceling...","bb_cancelled":"Cancelled","bb_cancel_error":"Cancellation Error. Try again?","txt_search":"Search","txt_searching":"Searching...","txt_loading":"Loading..."}; </script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/plugins/events-manager/includes/js/events-manager.js?ver=6.3" id="events-manager-js"></script> <link rel="https://api.w.org/" href="https://mathvoices.ams.org/featurecolumn/wp-json/" /><link rel="alternate" title="JSON" type="application/json" href="https://mathvoices.ams.org/featurecolumn/wp-json/wp/v2/posts/1905" /><link rel="EditURI" type="application/rsd+xml" title="RSD" href="https://mathvoices.ams.org/featurecolumn/xmlrpc.php?rsd" /> <meta name="generator" content="WordPress 6.7.1" /> <link rel="canonical" href="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/" /> <link rel='shortlink' href='https://mathvoices.ams.org/featurecolumn/?p=1905' /> <link rel="alternate" title="oEmbed (JSON)" type="application/json+oembed" href="https://mathvoices.ams.org/featurecolumn/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fmathvoices.ams.org%2Ffeaturecolumn%2F2024%2F02%2F01%2Fimpossible%2F" /> <link rel="alternate" title="oEmbed (XML)" type="text/xml+oembed" href="https://mathvoices.ams.org/featurecolumn/wp-json/oembed/1.0/embed?url=https%3A%2F%2Fmathvoices.ams.org%2Ffeaturecolumn%2F2024%2F02%2F01%2Fimpossible%2F&format=xml" /> <style>img#wpstats{display:none}</style> <meta name="description" content="Mathematics helps develop definitions to compare different means to make something better or more fair. But there are inherent limitations, expressed as mathematical impossibility theorems... Impossible? Joe Malkevitch York College (CUNY) Introduction When you got up from sleeping last night, what were the possibilities that you could achieve in the new day? This is far…" />  <meta property="og:type" content="article" /> <meta property="og:title" content="Impossible?" /> <meta property="og:url" content="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/" /> <meta property="og:description" content="Mathematics helps develop definitions to compare different means to make something better or more fair. But there are inherent limitations, expressed as mathematical impossibility theorems… I…" /> <meta property="article:published_time" content="2024-02-01T05:01:57+00:00" /> <meta property="article:modified_time" content="2024-07-15T16:02:07+00:00" /> <meta property="og:site_name" content="Feature Column" /> <meta property="og:image" content="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/07/cropped-FC1380x500x2.png?fit=1200%2C250&ssl=1" /> <meta property="og:image:width" content="1200" /> <meta property="og:image:height" content="250" /> <meta property="og:image:alt" content="Feature Column" /> <meta property="og:locale" content="en_US" /> <meta name="twitter:site" content="@amermathsoc" /> <meta name="twitter:text:title" content="Impossible?" /> <meta name="twitter:image" content="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/07/cropped-FC1380x500x2.png?fit=1200%2C250&ssl=1&w=640" /> <meta name="twitter:image:alt" content="Feature Column" /> <meta name="twitter:card" content="summary_large_image" />  <link rel="icon" href="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2022/02/cropped-ams2.png?fit=32%2C32&ssl=1" sizes="32x32" /> <link rel="icon" href="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2022/02/cropped-ams2.png?fit=192%2C192&ssl=1" sizes="192x192" /> <link rel="apple-touch-icon" href="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2022/02/cropped-ams2.png?fit=180%2C180&ssl=1" /> <meta name="msapplication-TileImage" content="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2022/02/cropped-ams2.png?fit=270%2C270&ssl=1" /> <style id="wp-custom-css"> body { font-family: Helvetica, sans-serif; color: #25282B; background-color: white; line-height: 1.75em; } summary { cursor: pointer; } .list-inline { padding-left:0; margin-left:-5px; list-style:none } .headline.img-headline { display: none; } /*.entry-title {display:none;} .entry-byline{display:none;}*/ .list-inline>li{ display:inline-block; padding-right:5px; padding-left:5px} </style> </head> <body class="post-template-default single single-post postid-1905 single-format-standard hoot-business wordpress ltr en en-us parent-theme multisite blog-2 logged-out custom-background custom-header singular singular-post singular-post-1905" dir="ltr" itemscope="itemscope" itemtype="https://schema.org/Blog"> <a href="#main" class="screen-reader-text">Skip to content</a> <div id="page-wrapper" class=" hgrid site-boxed page-wrapper sitewrap-wide-right sidebarsN sidebars1 hoot-cf7-style hoot-mapp-style hoot-jetpack-style hoot-sticky-sidebar"> <header id="header" class="site-header header-layout-primary-menu header-layout-secondary-none tablemenu" role="banner" itemscope="itemscope" itemtype="https://schema.org/WPHeader"> <div id="header-primary" class=" header-part header-primary header-primary-menu"> <div class="hgrid"> <div class="table hgrid-span-12"> <div id="branding" class="site-branding branding table-cell-mid"> <div id="site-logo" class="site-logo-text"> <div id="site-logo-text" class="site-logo-text site-logo-text-small"><div id="site-title" class="site-title" itemprop="headline"><a href="https://mathvoices.ams.org/featurecolumn" rel="home" itemprop="url"><span class="blogname">Feature Column</span></a></div></div> </div> </div> <div id="header-aside" class=" header-aside table-cell-mid header-aside-menu header-aside-menu-fixed"> <div class="screen-reader-text">Primary Navigation Menu</div> <nav id="menu-primary" class="menu nav-menu menu-primary mobilemenu-fixed mobilesubmenu-click" role="navigation" itemscope="itemscope" itemtype="https://schema.org/SiteNavigationElement"> <a class="menu-toggle" href="#"><span class="menu-toggle-text">Menu</span><i class="fas fa-bars"></i></a> <ul id="menu-primary-items" class="menu-items sf-menu menu"><li id="menu-item-703" class="menu-item menu-item-type-custom menu-item-object-custom menu-item-home menu-item-703"><a href="http://mathvoices.ams.org/featurecolumn"><span class="menu-title">Home</span></a></li> <li id="menu-item-704" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-home menu-item-704"><a href="https://mathvoices.ams.org/featurecolumn/"><span class="menu-title">About</span></a></li> <li id="menu-item-705" class="menu-item menu-item-type-post_type menu-item-object-page menu-item-705"><a href="https://mathvoices.ams.org/featurecolumn/archive/"><span class="menu-title">Feature Column Archive</span></a></li> </ul> </nav> </div> </div> </div> </div> </header> <div id="main" class=" main"> <div class="entry-featured-img-headerwrap loop-meta-withbg loop-meta-staticbg-nocrop"><img class="entry-headerimg" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/07/cropped-FC1380x500x2.png?fit=1380%2C288&ssl=1"></div> <div class="hgrid main-content-grid"> <main id="content" class="content hgrid-span-8 has-sidebar layout-wide-right " role="main"> <div id="content-wrap" class=" content-wrap theiaStickySidebar"> <div id="loop-meta" class=" loop-meta-wrap pageheader-bg-default loop-meta-withtext"> <div class="hgrid"> <div class=" loop-meta hgrid-span-12" itemscope="itemscope" itemtype="https://schema.org/WebPageElement"> <div class="entry-header"> <h1 class=" loop-title entry-title" itemprop="headline">Impossible?</h1> <div class=" loop-description" itemprop="text"><div class="entry-byline"> <div class="entry-byline-block entry-byline-cats"> <span class="entry-byline-label">In:</span> <a href="https://mathvoices.ams.org/featurecolumn/category/2024/" rel="category tag">2024</a>, <a href="https://mathvoices.ams.org/featurecolumn/category/columnists/joseph-malkevitch/" rel="category tag">Joseph Malkevitch</a>, <a href="https://mathvoices.ams.org/featurecolumn/category/math-and-social-sciences/" rel="category tag">Math and Social Sciences</a> </div> <div class="entry-byline-block entry-byline-tags"> <span class="entry-byline-label">Tagged:</span> <a href="https://mathvoices.ams.org/featurecolumn/tag/compass-and-straight-edge/" rel="tag">compass and straight edge</a>, <a href="https://mathvoices.ams.org/featurecolumn/tag/euclidean-geometry/" rel="tag">Euclidean geometry</a>, <a href="https://mathvoices.ams.org/featurecolumn/tag/voting/" rel="tag">voting</a> </div></div></div> </div> </div> </div> </div> <article id="post-1905" class="entry author-uwhitcher post-1905 post type-post status-publish format-standard has-post-thumbnail category-147 category-joseph-malkevitch category-math-and-social-sciences tag-compass-and-straight-edge tag-euclidean-geometry tag-voting" itemscope="itemscope" itemtype="https://schema.org/BlogPosting" itemprop="blogPost"> <div class="entry-content" itemprop="articleBody"> <div class="entry-the-content"> <p><span id="pullQuote"><em>Mathematics helps develop definitions to compare different means to make something better or more fair. But there are inherent limitations, expressed as mathematical impossibility theorems...</em></span></p> <h1 class="headlineText">Impossible?</h1> <p><b>Joe Malkevitch<br /> York College (CUNY)</b></p> <p><P></p> <h2>Introduction</h2> </p> <p> When you got up from sleeping last night, what were the possibilities that you could achieve in the new day? This is far from the issue of if humans have free will, or whether their choices are constrained by events, genetics or economics that limit their freedom. Humans are not genies who in mythology have the power to make a person's wishes come true. What is possible for you and what is not? Here, I am interested in the limits that mathematics places on what we can know using mathematics as a tool. What are the consequences of mathematical impossibilities for the way that democracies (or autocracies, for that matter) can be run for the benefit of their citizens? I'll say more on the fairness issues after setting the stage for insights into the limits of mathematical insights.</p> <p><h2>Impossibility in mathematics</h2> </p> <p> People debate whether mathematics is discovered or invented. The first framework is that the facts of mathematics, often described as theorems, are out there and await some clever person (or AI system?) to find them. That mathematics is an invented framework suggests that until a person (or perhaps a computer?) uses their reasoning skills and creativity to invent mathematical ideas and concepts, in the same way that humans have invented devices such as the cell phone, washing machine or electric automobile, those ideas do not exist. Lurking in the background of this debate is the question of what can be achieved and what cannot in understanding the "world of mathematics." After some initial looks at the limits of mathematics, I want to discuss the limits that mathematics places on the ways individuals or groups of individuals can implement being fair!</p> <p> The remarkable fact often known as the Pythagorean Theorem has been thought about by many cultures. In modern notation, the Pythagorean Theorem states that for a right angle triangle, in what is commonly called the Euclidean Plane, where $a$ and $b$ are the lengths of the sides that meet at a right angle, and $c$ is the length of the side of the triangle <em>opposite</em> the right angle that</p> <p>$$a^2 + b^2 = c^2.$$</p> <p><P>It is worth noting how many ideas and conventions are needed to write down this theorem. The result was stated in English rather than (for example) Bengali and the symbols $+$ and $=$ are used in writing the theorem down. We need to know what the Euclidean Plane is, what a triangle in the Euclidean plane is, what is meant by the length of the side of a triangle, etc. We also need to know what an angle is, what a right angle is, that $7^2$ means $7 \times 7$ and thus has the value 49 expressed in decimal place notation arithmetic, etc. </p> <p> Part of the reason the Pythagorean Theorem is such a rich fact is that it can also be interpreted as a statement about areas rather than about lengths. Thus, for a right triangle the areas of the squares on the sides $a$ and $b$ of the triangle add up to the area of the square on the third side $c$, often called the hypotenuse of the triangle, using language derived from discussions of ancient Greek mathematics.</p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible2.jpg?resize=154%2C140&ssl=1" alt="Pythagorean Theorem diagram showing squares along each side of a right triangle" width="154" height="140" class="aligncenter size-full wp-image-1911" /></p> <p> The Pythagorean Theorem illustrated. (Diagram courtesy of Wikipedia)<BR><br /> </DIV></p> <p><P><br /> The richness of the equation $a^2 + b^2 = c^2$ as a source of ideas and questions, and the fact that it was in essence found by many cultures who did not have much contact with each other, has been used to argue that the equation and its ramifications were mathematics waiting to be discovered rather than invented.</p> <p> Once mathematicians get started with a nifty idea, they continue to mine this territory for interesting patterns. For example:</p> <ol> <li> What positive integer triples $(a, b, c)$ satisfy $a^2 + b^2 = c^2$?</li> <li> Are there triples $(a, b, c)$ that form an arithmetic progression and satisfy $a^2 + b^2 = c^2$?</li> <li> Are there pairs $(a, b)$ and choices for $c$ where exactly 7 choices for the pair $(a, b)$ satisfying $a^2 + b^2 = c^2$ are possible?</li> <li> What is the analog of the Pythagorean theorem in geometries other than the Euclidean plane (e.g., Euclidean 3-dimensional geometry, or what has come to be known as hyperbolic geometry, also known as the Bolyai-Lobachevsky plane)?</li> <li> Invent your own question to place here!</li> </ol> <p> In developing ideas about the concept of numbers to count and to measure it was noticed that something seemed to be special about the length of the hypotenuse of a right triangle whose other sides (its legs) are 1 and 1. Equation $a^2 + b^2 = c^2$ implies that this length is a number whose square is 2. We usually denote this number $\sqrt{2}$ and it is referred to as the square root of 2.</p> <p><P>Can this number be written in the form $a/b$ where $a$ and $b$ are positive integers? This collection of numbers is now known as the rational numbers. So the question we raise is whether there are numbers which are not rational and how to describe such numbers. It can be shown that it is <I>impossible</I> to represent the hypotenuse of some particular Euclidean triangles as rational numbers. (Some right triangles can have rational length hypotenuses: for example, triangles with legs of lengths 3 and 5 or 5 and 12, which have, in fact, integer length.) </p> <p> Early on it was shown that humans could demonstrate the <I>impossibility</I> of writing the square root of 2 as a rational number. It is possible to find rational numbers, where the representation $a/b$ gives a very good approximation to the square root of 2. For example 41/29 or 99/70 might be used as an approximation. </p> <p><h2>Compass and straight edge construction impossibilities</h2> </p> <p> Euclid's important book on geometry, the <em>Elements</em>, includes discussions of what lengths of segments, as well as other constructions can be accomplished using a straight edge (a ruler without length markings) and compass (allowing one to draw a circle with a particular center and radius). Three famous problems emerged out of these discussions:</p> <ol> <li>Trisecting any angle (Given an arbitrary angle, can one obtain an angle whose measure is $\frac{1}{3}$ the angle of the measure we started with?)</li> <li> Duplicating the cube (Finding the edge length of a cube whose volume was exactly double the volume of a cube with side length 1 (and hence, volume 1.)<br /> Note: To this day, despite many proofs that one cannot trisect arbitrary angles with a straight edge and compass, many people claim that they can accomplish this feat. These individuals have not been convinced that this task is impossible!</li> <li> Squaring the circle (Find a square whose area is equal to the area of a given circle.)</li> </ol> <p> Eventually, it was proven that it is impossible to carry out these constructions with straight edge and compass. Of course, one has to specify what constitutes a proof. Intuitively, a proof is a collection of logical steps based on known facts (theorems) or axioms (statements whose validity is assumed true) which lead to the desired statement (in a finite number of steps). The understanding of what constitutes a rigorous proof has changed with time. Today, computer systems are being used to "make sure" that certain theorems are really facts. The reason for this recent thread of mathematical work has been because the proofs humans have in some cases provided for mathematical conjectures have become so long and complicated that it is unclear if they can be checked for certain by other mathematicians! Some important mathematical facts have required proofs that go on for hundreds of pages. Making sure the proofs do not suffer from subtle errors is required. Sometimes theorems generally accepted by the mathematical community are shown not to apply as fully as thought, and sometimes new proofs have had to be provided because an existing proof was shown to have a mistake, often because some case that might <em>a priori</em> occur was not considered in the proof.</p> <p> In high school you probably learned a formula which, given the coefficients of a quadratic equation, enabled you to write down an algebraic expression that gives the roots of that quadratic equation. Over time mathematicians developed similar "closed form" formulas for polynomial equations with integer coefficients of degree 3 or 4 (the <em>cubic</em> and <em>quartic</em> equations). However, it came as a surprise when Évariste Galois (1811-1832), Niels Heinrich Abel (1802-1829) and Paolo Ruffini (1765-1822) developed tools that showed that for the analogous polynomial equations of degree 5 or higher it was not possible to find such a formula! Similarly, if you have studied some calculus you know that when functions can be expressed in terms of polynomials, logarithms, exponential functions and trigonometric functions, it is usually not that difficult to find the derivative of such a function. But for relatively simple examples (e.g., $\sqrt{\sin(x)}$) it is not possible to find the indefinite integral of such a function without using tools specially invented to describe the solutions of such integrals, (e.g., elliptic functions).</p> <p> Condensing the issues considerably, a pioneer in trying to understand what mathematics was <em>knowable</em> from formal systems where one had a collection of undefined terms and axioms involved was David Hilbert (1862-1943).</p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible4.jpg?resize=101%2C140&ssl=1" alt="Photo of the mathematician David Hilbert" width="101" height="140" class="aligncenter size-full wp-image-1912" /></p> <p> Photo of David Hilbert (Courtesy of Wikipedia)<BR><br /> </DIV></p> <p><P><BR><br /> Reacting to programs developed by Hilbert (1862-1943), the mathematician Kurt Gödel (1906-1978) totally surprised the mathematical community by showing that there are legal statements that in a formal mathematical system cannot be proven or disproved. Such statements are sometimes called undecidable. </p> <p> <BR><br /> </P></p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible5.jpg?resize=110%2C140&ssl=1" alt="Photo of the mathematicianKurt Godel" width="110" height="140" class="aligncenter size-full wp-image-1913" /></p> <p> Photo of Kurt Gödel (Courtesy of Wikipedia)</p> <p></DIV></p> <p><P>This result of Gödel is often labeled his Impossibility Theorem. Others after Gödel, notably Julia Robinson (1919-1985) (who was a President of the American Mathematical Society) and Yuri Matseyovich showed that long standing questions that interested the mathematics community were undecidable.</p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible6.jpg?resize=150%2C190&ssl=1" alt="Photo of the mathematician Julia Robinson" width="150" height="190" class="aligncenter size-full wp-image-1914" /></p> <p> Photo of Julia Robinson (Courtesy of Wikipedia)<BR><br /> </DIV></p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible7.jpg?resize=101%2C140&ssl=1" alt="" width="101" height="140" class="aligncenter size-full wp-image-1915" /></p> <p> Photo of Yuri Matseyovich (Courtesy of Wikipedia)<BR><br /> </DIV></p> <p>After many years of the study of impossibility and undecidability issues, examples of statements which are undecidable have been found in many subareas of mathematics ranging from geometry to group theory (algebra) and to combinatorics. In a general way, however, these impossibility questions belong to the domain of mathematics known as logic. </p> <p><h2>Impossibility in computer science</h2> </p> <p> As a scholarly discipline, computer science is much newer than mathematics. Being able to study for a degree in computer science at a college first became possible relatively recently. It appears that Purdue University was the first American university to form a department of computer science in 1962. Some computer scientists are primarily concerned with making the hardware that makes it possible to solve problems using that hardware. Other computer scientists are interested in designing languages for computers to solve problems using particular hardware, as well as those scholars who are concerned with the algorithms that can be used to solve problems on a computer. A pioneer of computers in both the sense of what they could do and making hardware to actually do the work was Alan Turing (1912-1954). Today there is a vast array of <em>complexity classes</em> which take questions and lump them together in terms of how hard it is to solve these problems using algorithms.</p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible8.jpg?resize=138%2C140&ssl=1" alt="Photo of Alan Turing" width="138" height="140" class="aligncenter size-full wp-image-1916" /></p> <p> Photo of Alan Turing (Courtesy of Wikipedia)<BR><br /> </DIV></p> <p><P></p> <h2>Democracies</h2> <p></P></p> <p>In a representative democracy, the goal is to "translate" the wants and desires of the people being governed using a legislature or parliament to carry out the will of the people. When democracies work well, while majority opinion is implemented, the interests and rights of minorities are maintained. The system used by the United States, having a strong President to execute the laws passed by the Congress and a bicameral legislature, where the President is elected directly by the people and the members of Congress are elected from districts in the individual states as legislators in the House of Representatives and two senators are elected for each state, is unusual. The system common in most European democracies has a single parliament (legislature) where the representatives are selected based on the percentage of the vote that competing parties get. The parties represent the range of views of the populace. The aim is that for a parliament with $h$ seats (house size, a positive integer), if party A gets 17% of the vote it would get about 17% of the seats. The Dutch parliament has 150 seats so in this example we might calculate $.17(150) = 23.5$ seats and conclude party A "deserves" 23.5 representatives. So should party A get 23 seats, 24, or perhaps 25 seats and would this be considered a fair apportionment of seats to party A? In recent years many European democracies have been using a hybrid system to elect legislators, where a combination of percentage vote for parties and electing representatives from districts is used.</p> <p> To get the major ideas across here I will confine myself to discussing the election of, say, a mayor as the chief executive officer of a small city where any eligible voter can vote for the Mayor. In principle there may be many candidates running for Mayor, where perhaps each candidate is linked to an affiliation to some party, though for this discussion the issue of party is not relevant. To model what is going on we will assume there are $n$ eligible voters who actually voted, and $c$ candidates (here $c$ is a positive integer at least 2). </p> <p> In an election, each voter uses a ballot, which is a way to express voter views about the candidates. Based on the ballots cast, a prespecified decision method, which I will refer to as an election method, is used to "translate" the views of the individual voters into a SINGLE choice (no ties) for who becomes mayor. This may sound simple but when trying to design an "ideal" system there is little agreement! To see the complications, consider the issue of what kind of ballot to use. In practice, and in theory, here are some examples of the kinds of ballots used in America in the past or proposed for use. Of course, the nature of the election method will have to be tailored to the kind of ballot that is used. For a specific type of ballot there are usually many choices as to what election method to use based on the ballots.</p> <p> Ballot types</p> <ol> <li>(Plurality ballot) Vote for exactly one of the $c$ candidates.</li> <li> Rank all the candidates without ties, from most preferred to least preferred. </li> <p> There are many ways to represent such a ballot, but let me offer two. The first representation uses a diagram with the most preferred candidates towards the top:</p> <p> </P></p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible9.jpg?resize=41%2C109&ssl=1" alt="Preference ballot showing an arrow pointing up with B at the top, C in the middle, and A at the bottom" width="41" height="109" class="aligncenter size-full wp-image-1917" /><BR><br /> </DIV></p> <p><P>This ballot means that of the three candidates this voter preferred B to C and to A, and C to A. Note that "how much," or with what intensity B is preferred to B, or C preferred to A, is not information available to those who must count the ballots in this system. Another way to represent this ballot, using the symbol > to mean preferred (for numbers this is the symbol used for <em>greater than</em>), is: </p> <p>$$B > C > A.$$</p> <p><P>Ballots that allow one to express an order of preference but not intensity are sometime called <em>ordinal</em> ballots, to contrast them with <em>cardinal</em> ballots where some system to express intensity of preference is offered. Note that some words of explanation are necessary for most people to understand how to read the meaning of the ballot. Perhaps without words a person will understand that the first notation system ranks candidate B above C and A. Some people might find the second notation less clear because they are not familiar with the greater than symbol.</p> <li> Rank all the candidates with ties, from most preferred to least preferred.</li> <p> Here is a way to represent a ballot for 5 candidates in this framework. </p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible10.jpg?resize=60%2C144&ssl=1" alt="Preference ballot with ties. Again the arrow points up, but this time D and E are placed on the same level." width="60" height="144" class="aligncenter size-full wp-image-1918" /> <BR><br /> </DIV></p> <p><P>or</p> <p>$$A > D = E > C > B.$$</p> <p>The equal sign is used to indicate ties in preference.</p> <p> Note that while D and E are liked equally the ballot does not allow the voter to express that E is preferred to C by a small amount but that the voter likes C a lot more than B.</p> <li>Rank some subset of the candidates with or without ties allowed. </li> <p> This kind of ballot allows a voter to purposely truncate (omit) the collection of candidates the voter chooses to rank. In the example below, where A, B, and C are the choices seeking office, a voter has ranked only A and C, and B does not appear on the ballot.</p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible11.jpg?resize=40%2C105&ssl=1" alt="Preference ballot with truncation. The arrow points up but only the top choice of A and the second choice of C are listed." width="40" height="105" class="aligncenter size-full wp-image-1919" /><BR><br /> </DIV></p> <p><P><br /> Why might a voter not list all of the candidates on the ballot? It might be because the voter has no information about some of the candidates and hence does not feel comfortable listing some candidates. However, another reason may have to do with the fact that the voter has knowledge about the election method which will be used to decide the election. The voter might predict, while sincerely preferring B to C, that listing B might result in B being elected rather than the voter's preferred choice A. Putting it baldly, the voter "lies" about what the voter truly feels and produces an insincere ballot. This approach to voting by one or more voters is often called strategic voting. Strategic voting might be more widely practiced if there are polls which show how other voters in the electorate are leaning. This additional information might convince some voter or group of voters to vote using something other than one's sincere preferences. A remarkable impossibility theorem shows that strategic voting is advantageous!</p> <li> The voter indicates which candidates are "approved."</li> <p> What is meant by approving a candidate? The Board of Elections presumably indicates instructions for the meaning of this term and based on the ballots, what decision method will be used to find a winner. One way to think of giving a candidate an approval vote is that one is willing to have this person serve if elected. To the extent that an approval ballot allows a voter to express the amount that the voter likes the candidates it is very "crude" in that it treats all of the approved candidates equally. It is similar to a preference ballot with truncation where all of the candidates that are not omitted are tied at the same level of intensity.</p> <li> For each candidate the voter indicates a vote of yes or no for that candidate.</li> <p> Again, the voter might be allowed not to provide a yes/no vote for some subset of the candidates. If the voter is required to vote yes or no on every candidate, this system is identical to approval voting.</p> </ol> <p> How might one design choice and voting systems where the ballot allows for voters to indicate the intensity of their feeling about the candidate? One way of thinking of such a ballot is that each voter gives a "grade" to each choice (candidate) in much the same way that teachers give grades to students in school. What are some of the possible grading or intensity of preference scales? Here are some examples which perhaps you have used in the past or are knowledgeable about.</p> <ul> <li> A, B, C, D, F</li> <li> A+, A, A-, B+, B, B-, C+, C, C-, D+, D, D-, F</li> <li> 0 to 100 (100 high)</li> <li> 0 to 100 (100 low)</li> <li> 1 to 99 (99 high)</li> <li> 1, 2, 3, 4, 5 (5 high)</li> <li> 0,1, 2, 3, 4, 5, 6, 7, 8, 9, 10 (10 high)</li> <li> Very poor, poor, neutral, good, very good</li> </ul> <p> Note: There are many variants of verbal scales that solicit voters' (choosers') feelings about choices.</p> <p> Cardinal ballots can be thought of as offering each voter the opportunity to express an intensity of opinion by giving a numerical grade or value (or using a verbal description) to the candidates. If on the 0 to 100 scale (higher scores are better) Heather gives Mary a score of 90, John a score of 84 and Susan a score of 45, then one can conclude that Mary is preferred to John is preferred to Susan. Mary is above John by 6 points and John is above Susan by 39 points. If Constance gives Mary, John and Susan the score 84, we can conclude that Constance is indifferent to the three choices, but can one conclude that Heather likes Mary twice as much as she likes Susan? Do equal differences in assigned scores mean something? Can voters meaningfully assign a 45 rather than a 44 to a particular candidate?</p> <p> Most of us are used to the fact that temperatures can be reported by using either the Fahrenheit scale or the Centigrade scale. What makes these temperature scales different from the scales listed for "grading" candidates is that there is a fixed way to get from the number on one scale to the other—water at sea level boils at 100 Centigrade, 212 Fahrenheit. If one wants to change from Centigrade to Fahrenheit then $F = 9/5(C) +32$ is the standard way to do this. Few people agree on how to convert the grade of B+ on an mathematics writing project to a score on the scale 0-100. Scholars intensely debate the tradeoffs between using ordinal ballots and cardinal ballots as well as the pros and cons of different kinds of these ballots.</p> <p><h2>Impossibility in achieving "fairness"</h2> </p> <p> Perhaps after this discussion you have a new respect for the complexity of making a democracy work. A community of scholars, ranging from those who were trained as philosophers, mathematicians, computer scientists, economists, political scientists, etc. have contributed further insights into the complications of running a democracy. Let me begin with the mathematical economist Kenneth Arrow (1921-2017).</p> <p> </P></p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible12.jpg?resize=168%2C210&ssl=1" alt="Photo of Kenneth Arrow" width="168" height="210" class="aligncenter size-full wp-image-1920" /></p> <p> Photo of Kenneth Arrow (Courtesy of Wikipedia)<BR><br /> </DIV></p> <p><P>While Arrow was a tremendously important figure in election theory and mathematical economics, his perhaps best-known work stems from his book <em>Social Choice and Individual Values</em> (1951, second edition 1970). Some of this work is already present in his doctoral dissertation in economics written (1951) under the direction of Harold Hotelling, (1895-1973) a mathematical statistician at Columbia University.</p> <p> Arrow proved that it is IMPOSSIBLE to design an election method that meets a small list of <em>fairness</em> rules. His initial result had a small technical error, and over the years the fairness rules on Arrow's list have been reformulated and expanded in various ways, but the essence of what he showed, because it is a theorem rather than a theory, has to be lived with. The original framework of Arrow was an election where rather than choosing a single winner, what was required was a ranking for society (allowing ties) based on the input ballots of the individuals making up the society. Here are some samples of the kind of fairness rules that Arrow looked at. Typically, what is involved is consistency in what should happen in two closely related sets of ballots, the result in two similar elections.</p> <ol> <li>There is no dictator. The choice for society does not always coincide with the choice of a particular voter - the dictator.</li> <li>There is no imposed choice. The ranking (winner) depends on the votes of the voters rather than being selected on the basis of some expert or wise person (oracle).</li> <li>Monotonicity. Getting more votes should not harm a candidate.</li> <li>Any set of ballots should be assigned a "winner." Those counting the votes based on ballots cannot reject some election results as being too "weird" to be acted upon.</li> <li>Independence of irrelevant alternative. The relative position of two candidates in the society ranking should depend only on the rank of these two candidates and not the presence of other choices.</li> </ol> <p> Intuitively, one can state that Arrow's Impossibility Theorem means that for elections (or economic decision making) where there are 3 or more candidates (choices) using ordinal ranked ballots with ties allowed (system 2 described above), there are no election decision methods which are "perfect" in the sense that they obey a short list of fairness conditions.</p> <p> In addition to Arrow's Theorem there is another in some ways more dramatic impossibility theorem. This result is known as the Gibbard-Satterthwaite Theorem named for the philosopher Alan Gibbard and the economist (who teaches at a business school) Mark Satterthwaite. What they independently showed is that in very general systems of voting where there are 3 or more choices (candidates) to decide among, the only election decision method that avoids the incentive for voters to use strategic voting (submit ballots that do not represent what they truly believe, that is lie about their preferences) is dictatorship. </p> <p> There are by now many different impossibility theorems of this kind, where the properties that the election decision method obeys differ in the differing results but the theorems have in common that they show that if certain fairness rules are important in your view, there is no method that obeys all of the desirable conditions. Part of the reason that attempts to reform or improve election methods fail is that reformers typically differ on what fairness conditions are the essential ones. Another complexity is that some appealing election decision methods are computationally hard. For elections with many voters and candidates no computer can decide the winner/ranking in a reasonable amount of time. Experts also differ on whether the voters will accept a voting method to replace plurality if the description of the system is very complex to explain. </p> <p> To help give you a sense of these matters using a specific example, let's consider the election below where 55 people have ranked 5 candidates, where there are no ties or truncations.</p> <p> </P></p> <p><DIV ALIGN="CENTER"><img data-recalc-dims="1" loading="lazy" decoding="async" src="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible13.jpg?resize=300%2C146&ssl=1" alt="Collection of ballots" width="300" height="146" class="aligncenter size-medium wp-image-1921" srcset="https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible13.jpg?resize=300%2C146&ssl=1 300w, https://i0.wp.com/mathvoices.ams.org/featurecolumn/wp-content/uploads/sites/2/2024/02/impossible13.jpg?w=417&ssl=1 417w" sizes="auto, (max-width: 300px) 100vw, 300px" /><BR><br /> </DIV></p> <p><P><br /> Take a moment to decide who you think should win this election.</p> <p> Now verify that these five election decision methods choose a different winner!</p> <ol> <li>Plurality (Candidate with most first place votes wins.)</li> <li> Run-off (A run-off between the two persons with highest number of first places votes is the winner). The voters do not have to go to the polls to vote again because the ballots code the information about their preferences about all the choices. Of course, if the voters went to the polls a second time their preferences might change but typically many fewer people vote when there is a physical run-off election needed at a later date than the original vote.</li> <li>Sequential run-off (If no candidate has a majority eliminate the candidate with the lowest number of first place votes, transferring votes for the eliminated candidates to the next highest ranked person, until a single winner emerges.)</li> <li> Borda Count (Candidates are assigned points from a ballot based on the number of candidates below the particular candidate and the candidate with the most points wins. Using the ballots above B gets $18(0) + 12(4) + 10(3) + 9(1) + 4(3) +2(1)$ points.) </li> <li>Condorcet (If there is a candidate who beats every other candidate in a two-way race that candidate wins. There are ballots for which no candidate meets the criterion.)</li> </ol> <p> The example above shows that for some elections there are many <I>appealing</I> methods which do not agree as to who should win!</p> <p> While the general public widely underestimates the role that mathematics plays in the technologies (e.g. cell phone, streaming video) that it enjoys so much, it is also not commonly understood that mathematics pays so much attention to questions about fairness and equity. Unfortunately, it is also true that though mathematics and computer science have shown some of the issues which make it hard to design fair systems for the benefit of society, the public has not taken advantage of designing ways to DO BETTER than what we currently do even if these better systems have faults. Thus, most scholars believe that using election systems that are based on ordinal preference ballots is superior to voting using a plurality ballot, but very few elections are conducted using ordinal preference ballots. Since impossibility theorems show that no perfect system is available, reformers constantly argue about what method to move to, and when a change is made, sometimes an election where the results seem "unintuitive" causes the reform to be undone or discourages reforms in other places.</p> <p> There are impossibility theorems that affect how fully fair a system of assigning parties a fair share of seats can be in a legislature with $h$ seats. This theorem is known as the Balinski-Young Theorem, after the mathematicians Michel Balinski (1933-2019) and H. Peyton Young. Here is an intuitive statement of this theorem.</p> <p> (Balinski-Young) There exists no method to assign the $h$ seats in a parliament based on the percentage of the votes for each party that is:</p> <ol> <li> Population monotone (Having a larger percentage vote for a party does not decrease the number of seats the party gets.)</li> <li>Obeys quota (The number of seats that a party gets is its fraction of the vote times the house size, say $s$, rounded (if not precisely a positive integer) down to the integer below $s$ or rounded up to the integer above $s$.)</li> </ol> <p> The reason for the term <em>population monotone</em> above is related to a version of the <a href="https://rangevoting.org/MalkApport.html">apportionment problem</A> for a legislature that arises in the United States. Each state has a certain population. The number of seats assigned to each of the states (currently 50) every 10 years based on census data is required by the US Constitution to be proportional to the population of the state. (A complication in the US version of the problem is that each state is required to get at least one seat in the House of Representatives.) A method used in the past allowed a state to lose representation (based on the same population data for the states) when the total house size $h$ increased. This phenomenon came to be known as the Alabama Paradox, named for the state it affected.</p> <p><h2>Algorithmic fairness</h2> </p> <p> The rapid growth of the availability and power of computers has spurred the development of artificial intelligence methods. Increasingly, decisions about who should get bail after being arrested for a crime, who should get a loan for a house they want to buy, or who should get access to affordable housing are being carried out by computer programs. Some of these programs are "trained" to make decisions based on data about the success of decisions made in the past by humans. However, it has become apparent that some of the systems trained on data that was biased to begin with exhibit the same biases that originally occurred when the decisions were made by biased humans (see the <a href="https://mathvoices.ams.org/featurecolumn/2020/07/01/fc-2020-07/">July 2020 Feature Column</a> for one example). Researchers are beginning to explore axioms describing fairness in this context. Extrapolating from voting theory, one might expect to obtain impossibility theorems showing that no matter how an algorithm is trained, there are axioms one might wish to hold that cannot be met simultaneously.</p> <p> In conclusion, in democratic societies we pursue ways to make these systems work better or more fairly. Mathematics helps develop definitions to compare different means to make something better or more fair. But there are inherent limitations, expressed as mathematical impossibility theorems, that show the limits of how much it is possible, no matter how well meaning a society may be, to be totally fair.</p> <p> <BR></p> <h2>References</h2> </p> <p> Balinski, Michel L., and H. Peyton Young. Fair representation: meeting the ideal of one man, one vote. Rowman & Littlefield, 2010.</p> <p> Bera, Suman, Deeparnab Chakrabarty, Nicolas Flores, and Maryam Negahbani. "Fair algorithms for clustering." Advances in Neural Information Processing Systems 32 (2019).</p> <p> Brcic, Mario, and Roman V. Yampolskiy. "Impossibility Results in AI: a survey." ACM Computing Surveys 56, no. 1 (2023): 1-24.</p> <p> Campbell, Donald E., and Jerry S. Kelly. "Impossibility theorems in the Arrovian framework." Handbook of social choice and welfare 1 (2002): 35-94.</p> <p> del Vado Vírseda, Rafael. "From the mathematical impossibility results of the high school curriculum to theoretical computer science." In Proceedings of the 20th Koli Calling International Conference on Computing Education Research, pp. 1-5. 2020.</p> <p> del Vado Vírseda, Rafael. "Learning Theoretical Computing from the Mathematical Impossibility Results of the CS Curriculum." In Proceedings of the 2020 ACM Conference on Innovation and Technology in Computer Science Education, pp. 521-522. 2020.</p> <p> Dudley, Underwood. The Trisectors. Vol. 16. Cambridge University Press, 1994.</p> <p> Dudley, Underwood. "What to do when the trisector comes." The Mathematical Intelligencer 5, no. 1 (1983): 20-25.</p> <p> Dudley, Underwood. Numerology, or, what Pythagoras wrought. Cambridge University Press, 1997.</p> <p> Dudley, Underwood. Mathematical cranks. Vol. 4. American Mathematical Soc., 2019.</p> <p> Elzayn, Hadi, Shahin Jabbari, Christopher Jung, Michael Kearns, Seth Neel, Aaron Roth, and Zachary Schutzman. "Fair algorithms for learning in allocation problems." In Proceedings of the Conference on Fairness, Accountability, and Transparency, pp. 170-179. 2019.</p> <p> Ferejohn, John A., and David M. Grether. "Some new impossibility theorems." Public Choice (1977): 35-42.</p> <p> Gaines, Brian J., and Jeffery A. Jenkins. "Apportionment matters: Fair representation in the US house and electoral college." Perspectives on Politics 7, no. 4 (2009): 849-857.</p> <p> Geanakoplos, John. "Three brief proofs of Arrow’s impossibility theorem." Economic Theory 26, no. 1 (2005): 211-215.</p> <p> Grofman, Bernard. "Fair apportionment and the Banzhaf index." The American Mathematical Monthly 88, no. 1 (1981): 1-5.</p> <p> Hellman, Deborah. "Measuring algorithmic fairness." Virginia Law Review 106, no. 4 (2020): 811-866.</p> <p> Hoare, C. Antony R., and Donald C. S. Allison. "Incomputability." ACM Computing Surveys (CSUR) 4, no. 3 (1972): 169-178.</p> <p> Karaali, Gizem, and Lily S. Khadjavi, eds. Mathematics for social justice: Resources for the college classroom. Vol. 60. American Mathematical Soc., 2019.</p> <p> Karaali, Gizem, and Lily S. Khadjavi, eds. Mathematics for Social Justice: Focusing on Quantitative Reasoning and Statistics. Vol. 66. American Mathematical Society, 2021.</p> <p> Kelly, Jerry S. Arrow impossibility theorems. Academic Press, 2014.</p> <p> Man, Priscilla TY, and Shino Takayama. "A unifying impossibility theorem." Economic Theory 54 (2013): 249-271.</p> <p> Maskin, Eric, and Amartya Sen. The Arrow impossibility theorem. Columbia University Press, 2014.</p> <p> Maskin, E. Arrow’s Theorem, May’s Axioms and the Borda Count. Harvard University Working Paper, 2020.</p> <p> Misiurewicz, Michal. "Irrational Square Roots." College Mathematics Journal 44, no. 1 (2013): 53-55.</p> <p> Niven, Ivan. Irrational numbers. No. 11. Cambridge University Press, 2005.</p> <p> Nygaard, P. H. "Irrational Roots of Integers." School Science and Mathematics 64, no. 8 (1964): 694-696.</p> <p> Pessach, Dana, and Erez Shmueli. "Algorithmic fairness." In Machine Learning for Data Science Handbook: Data Mining and Knowledge Discovery Handbook, pp. 867-886. Cham: Springer International Publishing, 2023.</p> <p> Salles, Maurice. "Limited rights as partial veto and Sen’s impossibility theorem." Rational Choice and Social Welfare: Theory and Applications Essays in Honor of Kotaro Suzumura (2008): 11-23.</p> <p> Saari, Donald G. "A dictionary for voting paradoxes." Journal of Economic Theory 48, no. 2 (1989): 443-475.</p> <p> Saari, Donald G. Geometry of voting. Vol. 3. Springer Science & Business Media, 2012.</p> <p> Sen, Amartya. Collective choice and social welfare. Harvard University Press, 2018.</p> <p> Tang, Pingzhong, and Fangzhen Lin. "Computer-aided proofs of Arrow's and other impossibility theorems." Artificial Intelligence 173, no. 11 (2009): 1041-1053.</p> <p> Wang, Xiaomeng, Yishi Zhang, and Ruilin Zhu. "A brief review on algorithmic fairness." Management System Engineering 1, no. 1 (2022): 7.</p> <p> Yates, R. C. (1942). The trisection problem. National Mathematics Magazine, 16(4), 171-182.</P></p> <div class="sharedaddy sd-sharing-enabled"><div class="robots-nocontent sd-block sd-social sd-social-icon-text sd-sharing"><h3 class="sd-title">Share this:</h3><div class="sd-content"><ul><li class="share-facebook"><a rel="nofollow noopener noreferrer" data-shared="sharing-facebook-1905" class="share-facebook sd-button share-icon" href="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/?share=facebook" target="_blank" title="Click to share on Facebook" ><span>Facebook</span></a></li><li class="share-x"><a rel="nofollow noopener noreferrer" data-shared="sharing-x-1905" class="share-x sd-button share-icon" href="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/?share=x" target="_blank" title="Click to share on X" ><span>X</span></a></li><li class="share-end"></li></ul></div></div></div><div class='sharedaddy sd-block sd-like jetpack-likes-widget-wrapper jetpack-likes-widget-unloaded' id='like-post-wrapper-202620863-1905-674f80dccc04a' data-src='https://widgets.wp.com/likes/?ver=14.0#blog_id=202620863&post_id=1905&origin=mathvoices.ams.org&obj_id=202620863-1905-674f80dccc04a&n=1' data-name='like-post-frame-202620863-1905-674f80dccc04a' data-title='Like or Reblog'><h3 class="sd-title">Like this:</h3><div class='likes-widget-placeholder post-likes-widget-placeholder' style='height: 55px;'><span class='button'><span>Like</span></span> <span class="loading">Loading...</span></div><span class='sd-text-color'></span><a class='sd-link-color'></a></div> </div> </div> <div class="screen-reader-text" itemprop="datePublished" itemtype="https://schema.org/Date">2024-02-01</div> </article> <div id="loop-nav-wrap" class="loop-nav"><div class="prev">Previous Post: <a href="https://mathvoices.ams.org/featurecolumn/2024/01/01/daniel-ellsberg-and-the-science-of-extortion/" rel="prev">Daniel Ellsberg and the Science of Extortion</a></div><div class="next">Next Post: <a href="https://mathvoices.ams.org/featurecolumn/2024/03/01/is-this-p-hacking/" rel="next">Is this $p$-hacking?</a></div></div> <section id="comments-template"> <div id="respond" class="comment-respond"> <h3 id="reply-title" class="comment-reply-title">Leave a Reply <small><a rel="nofollow" id="cancel-comment-reply-link" href="/featurecolumn/2024/02/01/impossible/#respond" style="display:none;">Cancel reply</a></small></h3><form action="https://mathvoices.ams.org/featurecolumn/wp-comments-post.php" method="post" id="commentform" class="comment-form" novalidate><p class="comment-notes"><span id="email-notes">Your email address will not be published.</span> <span class="required-field-message">Required fields are marked <span class="required">*</span></span></p><p class="comment-form-comment"><label for="comment">Comment <span class="required">*</span></label> <textarea id="comment" name="comment" cols="45" rows="8" maxlength="65525" required></textarea></p><p><b>HTML tags are not allowed.</b></p><p class="comment-form-author"><label for="author">Name <span class="required">*</span></label> <input x-autocompletetype="name-full" id="author" name="author" type="text" value="" size="30" maxlength="245" autocomplete="name" required /></p> <p class="comment-form-email"><label for="email">Email <span class="required">*</span></label> <input x-autocompletetype="email" id="email" name="email" type="email" value="" size="30" maxlength="100" aria-describedby="email-notes" autocomplete="email" required /></p> <p class="comment-form-cookies-consent"><input id="wp-comment-cookies-consent" name="wp-comment-cookies-consent" type="checkbox" value="yes" /> <label for="wp-comment-cookies-consent">Save my name, email, and website in this browser for the next time I comment.</label></p> <p>56,529 Spambots Blocked by <a href="https://www.toddlahman.com/shop/simple-comments/" title="Simple Comments" target="_blank">Simple Comments</a></p> <p class="comment-subscription-form"><input type="checkbox" name="subscribe_comments" id="subscribe_comments" value="subscribe" style="width: auto; -moz-appearance: checkbox; -webkit-appearance: checkbox;" /> <label class="subscribe-label" id="subscribe-label" for="subscribe_comments">Notify me of follow-up comments by email.</label></p><p class="comment-subscription-form"><input type="checkbox" name="subscribe_blog" id="subscribe_blog" value="subscribe" style="width: auto; -moz-appearance: checkbox; -webkit-appearance: checkbox;" /> <label class="subscribe-label" id="subscribe-blog-label" for="subscribe_blog">Notify me of new posts by email.</label></p><p class='comment-form-subscriptions'><label for='subscribe-reloaded'><input style='width:30px' type='checkbox' name='subscribe-reloaded' id='subscribe-reloaded' value='yes' /> Notify me of followup comments via e-mail. You can also <a href='https://mathvoices.ams.org/featurecolumn/comment-subscriptions/?srp=1905&srk=670fa4bfeb139d13245dcdc12ca15773&sra=s&srsrc=f'>subscribe</a> without commenting.</label></p><p class="form-submit"><input name="submit" type="submit" id="submit" class="submit" value="Post Comment" /> <input type='hidden' name='comment_post_ID' value='1905' id='comment_post_ID' /> <input type='hidden' name='comment_parent' id='comment_parent' value='0' /> </p> <p><h3><noscript>JavaScript must be turned on to leave a comment.</noscript></h3></p> <input type='hidden' name='sec_pwd_field' id='pwd_field_sec' value='' /> <input type='hidden' name='sec_comment_ip' id='comment_ip_sec' value='' /></form> </div> </section> </div> </main> <aside id="sidebar-primary" class="sidebar sidebar-primary hgrid-span-4 layout-wide-right " role="complementary" itemscope="itemscope" itemtype="https://schema.org/WPSideBar"> <div class=" sidebar-wrap theiaStickySidebar"> <section id="search-2" class="widget widget_search"><div class="searchbody"><form method="get" class="searchform" action="https://mathvoices.ams.org/featurecolumn/" ><label class="screen-reader-text">Search</label><i class="fas fa-search"></i><input type="text" class="searchtext" name="s" placeholder="Type Search Term …" value="" /><input type="submit" class="submit" name="submit" value="Search" /><span class="js-search-placeholder"></span></form></div></section><section id="blog_subscription-2" class="widget widget_blog_subscription jetpack_subscription_widget"><h3 class="widget-title"><span>Subscribe to Feature Column via Email</span></h3> <div class="wp-block-jetpack-subscriptions__container"> <form action="#" method="post" accept-charset="utf-8" id="subscribe-blog-blog_subscription-2" data-blog="202620863" data-post_access_level="everybody" > <div id="subscribe-text"><p>Enter your email address to subscribe to Feature Column and receive notifications of new posts by email.</p> </div> <p id="subscribe-email"> <label id="jetpack-subscribe-label" class="screen-reader-text" for="subscribe-field-blog_subscription-2"> Email Address </label> <input type="email" name="email" required="required" value="" id="subscribe-field-blog_subscription-2" placeholder="Email Address" /> </p> <p id="subscribe-submit" > <input type="hidden" name="action" value="subscribe"/> <input type="hidden" name="source" value="https://mathvoices.ams.org/featurecolumn/2024/02/01/impossible/"/> <input type="hidden" name="sub-type" value="widget"/> <input type="hidden" name="redirect_fragment" value="subscribe-blog-blog_subscription-2"/> <input type="hidden" id="_wpnonce" name="_wpnonce" value="bba917ef41" /><input type="hidden" name="_wp_http_referer" value="/featurecolumn/2024/02/01/impossible/" /> <button type="submit" class="wp-block-button__link" name="jetpack_subscriptions_widget" > Subscribe </button> </p> </form> </div> </section><section id="block-3" class="widget widget_block"><div class="wp-block-group"><div class="wp-block-group__inner-container is-layout-flow wp-block-group-is-layout-flow"><h2 class="wp-block-heading">Recent Posts</h2><ul class="wp-block-latest-posts__list wp-block-latest-posts"><li><a class="wp-block-latest-posts__post-title" href="https://mathvoices.ams.org/featurecolumn/2024/12/01/capturing-the-invisible-hopping-rabbit/">Capturing the Invisible Hopping Rabbit</a></li> <li><a class="wp-block-latest-posts__post-title" href="https://mathvoices.ams.org/featurecolumn/2024/11/01/strung-out-on-automorphic-forms/">Strung Out on Automorphic Forms</a></li> <li><a class="wp-block-latest-posts__post-title" href="https://mathvoices.ams.org/featurecolumn/2024/10/01/people-and-computers-compared/">People and Computers Compared</a></li> <li><a class="wp-block-latest-posts__post-title" href="https://mathvoices.ams.org/featurecolumn/2024/09/01/payoffs-and-strategies/">Payoffs and strategies</a></li> <li><a class="wp-block-latest-posts__post-title" href="https://mathvoices.ams.org/featurecolumn/2024/08/01/welcome-to-the-fold/">Welcome to the Fold</a></li> </ul></div></div></section><section id="categories-2" class="widget widget_categories"><h3 class="widget-title"><span>Categories</span></h3> <ul> <li class="cat-item cat-item-2"><a href="https://mathvoices.ams.org/featurecolumn/category/2020/">2020</a> </li> <li class="cat-item cat-item-3"><a href="https://mathvoices.ams.org/featurecolumn/category/2021/">2021</a> </li> <li class="cat-item cat-item-4"><a href="https://mathvoices.ams.org/featurecolumn/category/2022/">2022</a> </li> <li class="cat-item cat-item-112"><a href="https://mathvoices.ams.org/featurecolumn/category/2023/">2023</a> </li> <li class="cat-item cat-item-147"><a href="https://mathvoices.ams.org/featurecolumn/category/2024/">2024</a> </li> <li class="cat-item cat-item-5"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/adam-a-smith/">Adam A. Smith</a> </li> <li class="cat-item cat-item-168"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/adriana-salerno/">Adriana Salerno</a> </li> <li class="cat-item cat-item-6"><a href="https://mathvoices.ams.org/featurecolumn/category/algebra-and-number-theory/">Algebra and Number Theory</a> </li> <li class="cat-item cat-item-115"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/allechar-serrano-lopez/">Allechar Serrano López</a> </li> <li class="cat-item cat-item-109"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/anil-venkatesh/">Anil Venkatesh</a> </li> <li class="cat-item cat-item-7"><a href="https://mathvoices.ams.org/featurecolumn/category/archive/">Archive</a> </li> <li class="cat-item cat-item-8"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/bill-casselman/">Bill Casselman</a> </li> <li class="cat-item cat-item-9"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/colm-mulcahy/">Colm Mulcahy</a> </li> <li class="cat-item cat-item-10"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/courtney-gibbons/">Courtney Gibbons</a> </li> <li class="cat-item cat-item-11"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/david-austin/">David Austin</a> </li> <li class="cat-item cat-item-176"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/deepayan-sarkar/">Deepayan Sarkar</a> </li> <li class="cat-item cat-item-12"><a href="https://mathvoices.ams.org/featurecolumn/category/discrete-math-and-combinatorics/">Discrete Math and Combinatorics</a> </li> <li class="cat-item cat-item-13"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/etienne-ghys/">Étienne Ghys</a> </li> <li class="cat-item cat-item-114"><a href="https://mathvoices.ams.org/featurecolumn/category/geometry-and-topology/">Geometry and Topology</a> </li> <li class="cat-item cat-item-14"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/guillermo-fereyra/">Guillermo Fereyra</a> </li> <li class="cat-item cat-item-15"><a href="https://mathvoices.ams.org/featurecolumn/category/history-of-mathematics/">History of mathematics</a> </li> <li class="cat-item cat-item-172"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/holley-friedlander/">Holley Friedlander</a> </li> <li class="cat-item cat-item-16"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/john-eggers/">John Eggers</a> </li> <li class="cat-item cat-item-17"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/joseph-malkevitch/">Joseph Malkevitch</a> </li> <li class="cat-item cat-item-18"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/josh-leys/">Josh Leys</a> </li> <li class="cat-item cat-item-134"><a href="https://mathvoices.ams.org/featurecolumn/category/math-and-arts-humanities/">Math and Arts/Humanities</a> </li> <li class="cat-item cat-item-137"><a href="https://mathvoices.ams.org/featurecolumn/category/math-and-social-sciences/">Math and Social Sciences</a> </li> <li class="cat-item cat-item-20"><a href="https://mathvoices.ams.org/featurecolumn/category/math-and-technology/">Math and Technology</a> </li> <li class="cat-item cat-item-21"><a href="https://mathvoices.ams.org/featurecolumn/category/math-and-the-sciences/">Math and the Sciences</a> </li> <li class="cat-item cat-item-22"><a href="https://mathvoices.ams.org/featurecolumn/category/mathematics-and-biology/">Mathematics and Biology</a> </li> <li class="cat-item cat-item-23"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/moira-chas/">Moira Chas</a> </li> <li class="cat-item cat-item-100"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/noah-giansiracusa/">Noah Giansiracusa</a> </li> <li class="cat-item cat-item-24"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/patrick-ion/">Patrick Ion</a> </li> <li class="cat-item cat-item-25"><a href="https://mathvoices.ams.org/featurecolumn/category/probability-and-statistics/">Probability and Statistics</a> </li> <li class="cat-item cat-item-26"><a href="https://mathvoices.ams.org/featurecolumn/category/real-and-complex-analysis/">Real and Complex Analysis</a> </li> <li class="cat-item cat-item-169"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/sara-chari/">Sara Chari</a> </li> <li class="cat-item cat-item-77"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/sara-stoudt/">Sara Stoudt</a> </li> <li class="cat-item cat-item-142"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/sarah-wolff/">Sarah Wolff</a> </li> <li class="cat-item cat-item-27"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/steven-h-weintraub/">Steven H. Weintraub</a> </li> <li class="cat-item cat-item-175"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/sunil-chebolu/">Sunil Chebolu</a> </li> <li class="cat-item cat-item-28"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/tamsyn-morrill/">Tamsyn Morrill</a> </li> <li class="cat-item cat-item-29"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/tony-phillips/">Tony Phillips</a> </li> <li class="cat-item cat-item-1"><a href="https://mathvoices.ams.org/featurecolumn/category/uncategorized/">Uncategorized</a> </li> <li class="cat-item cat-item-30"><a href="https://mathvoices.ams.org/featurecolumn/category/columnists/ursula-whitcher/">Ursula Whitcher</a> </li> </ul> </section><section id="tag_cloud-2" class="widget widget_tag_cloud"><h3 class="widget-title"><span>Tags</span></h3><div class="tagcloud"><a href="https://mathvoices.ams.org/featurecolumn/tag/5g/" class="tag-cloud-link tag-link-32 tag-link-position-1" style="font-size: 8pt;" aria-label="5G (1 item)">5G</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/alan-turing/" class="tag-cloud-link tag-link-33 tag-link-position-2" style="font-size: 14.3pt;" aria-label="alan turing (2 items)">alan turing</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/ams/" class="tag-cloud-link tag-link-34 tag-link-position-3" style="font-size: 8pt;" aria-label="ams (1 item)">ams</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/astronauts/" class="tag-cloud-link tag-link-35 tag-link-position-4" style="font-size: 8pt;" aria-label="astronauts (1 item)">astronauts</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/branko-grunbaum/" class="tag-cloud-link tag-link-36 tag-link-position-5" style="font-size: 8pt;" aria-label="Branko Grünbaum (1 item)">Branko Grünbaum</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/cantor-set/" class="tag-cloud-link tag-link-37 tag-link-position-6" style="font-size: 8pt;" aria-label="cantor set (1 item)">cantor set</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/chess/" class="tag-cloud-link tag-link-38 tag-link-position-7" style="font-size: 18.5pt;" aria-label="chess (3 items)">chess</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/claude-shannon/" class="tag-cloud-link tag-link-39 tag-link-position-8" style="font-size: 8pt;" aria-label="Claude Shannon (1 item)">Claude Shannon</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/cryptography/" class="tag-cloud-link tag-link-107 tag-link-position-9" style="font-size: 18.5pt;" aria-label="cryptography (3 items)">cryptography</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/desargues/" class="tag-cloud-link tag-link-41 tag-link-position-10" style="font-size: 8pt;" aria-label="Desargues (1 item)">Desargues</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/epidemic/" class="tag-cloud-link tag-link-42 tag-link-position-11" style="font-size: 14.3pt;" aria-label="epidemic (2 items)">epidemic</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/euclidean-geometry/" class="tag-cloud-link tag-link-43 tag-link-position-12" style="font-size: 18.5pt;" aria-label="Euclidean geometry (3 items)">Euclidean geometry</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/feature-column-history/" class="tag-cloud-link tag-link-44 tag-link-position-13" style="font-size: 8pt;" aria-label="feature column history (1 item)">feature column history</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/games/" class="tag-cloud-link tag-link-84 tag-link-position-14" style="font-size: 14.3pt;" aria-label="games (2 items)">games</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/game-theory/" class="tag-cloud-link tag-link-148 tag-link-position-15" style="font-size: 22pt;" aria-label="game theory (4 items)">game theory</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/generating-functions/" class="tag-cloud-link tag-link-45 tag-link-position-16" style="font-size: 8pt;" aria-label="generating functions (1 item)">generating functions</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/genetics/" class="tag-cloud-link tag-link-46 tag-link-position-17" style="font-size: 8pt;" aria-label="genetics (1 item)">genetics</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/geoffrey-colin-shephard/" class="tag-cloud-link tag-link-47 tag-link-position-18" style="font-size: 8pt;" aria-label="Geoffrey Colin Shephard (1 item)">Geoffrey Colin Shephard</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/herd-immunity/" class="tag-cloud-link tag-link-48 tag-link-position-19" style="font-size: 8pt;" aria-label="herd immunity (1 item)">herd immunity</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/higgs-boson/" class="tag-cloud-link tag-link-49 tag-link-position-20" style="font-size: 8pt;" aria-label="Higgs boson (1 item)">Higgs boson</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/lattices-groups/" class="tag-cloud-link tag-link-97 tag-link-position-21" style="font-size: 18.5pt;" aria-label="lattices (groups) (3 items)">lattices (groups)</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/lie-groups/" class="tag-cloud-link tag-link-111 tag-link-position-22" style="font-size: 14.3pt;" aria-label="Lie groups (2 items)">Lie groups</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/machine-learning/" class="tag-cloud-link tag-link-50 tag-link-position-23" style="font-size: 14.3pt;" aria-label="Machine learning (2 items)">Machine learning</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/measles/" class="tag-cloud-link tag-link-51 tag-link-position-24" style="font-size: 8pt;" aria-label="measles (1 item)">measles</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/medieval/" class="tag-cloud-link tag-link-52 tag-link-position-25" style="font-size: 8pt;" aria-label="medieval (1 item)">medieval</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/mirror-symmetry/" class="tag-cloud-link tag-link-53 tag-link-position-26" style="font-size: 8pt;" aria-label="mirror symmetry (1 item)">mirror symmetry</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/paleontology/" class="tag-cloud-link tag-link-54 tag-link-position-27" style="font-size: 8pt;" aria-label="paleontology (1 item)">paleontology</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/pappuss-theorem/" class="tag-cloud-link tag-link-55 tag-link-position-28" style="font-size: 8pt;" aria-label="Pappus's Theorem (1 item)">Pappus's Theorem</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/partitions/" class="tag-cloud-link tag-link-56 tag-link-position-29" style="font-size: 14.3pt;" aria-label="partitions (2 items)">partitions</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/pca/" class="tag-cloud-link tag-link-57 tag-link-position-30" style="font-size: 8pt;" aria-label="pca (1 item)">pca</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/persi-diaconis/" class="tag-cloud-link tag-link-143 tag-link-position-31" style="font-size: 14.3pt;" aria-label="persi diaconis (2 items)">persi diaconis</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/physics/" class="tag-cloud-link tag-link-82 tag-link-position-32" style="font-size: 14.3pt;" aria-label="physics (2 items)">physics</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/poetry/" class="tag-cloud-link tag-link-135 tag-link-position-33" style="font-size: 14.3pt;" aria-label="poetry (2 items)">poetry</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/polar-codes/" class="tag-cloud-link tag-link-58 tag-link-position-34" style="font-size: 8pt;" aria-label="polar codes (1 item)">polar codes</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/polytopes-and-polyhedra/" class="tag-cloud-link tag-link-59 tag-link-position-35" style="font-size: 14.3pt;" aria-label="polytopes and polyhedra (2 items)">polytopes and polyhedra</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/predictive-policing/" class="tag-cloud-link tag-link-60 tag-link-position-36" style="font-size: 8pt;" aria-label="Predictive policing (1 item)">Predictive policing</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/predpol/" class="tag-cloud-link tag-link-61 tag-link-position-37" style="font-size: 8pt;" aria-label="PredPol (1 item)">PredPol</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/primes/" class="tag-cloud-link tag-link-62 tag-link-position-38" style="font-size: 18.5pt;" aria-label="primes (3 items)">primes</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/probability/" class="tag-cloud-link tag-link-86 tag-link-position-39" style="font-size: 14.3pt;" aria-label="probability (2 items)">probability</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/quadratic-formula/" class="tag-cloud-link tag-link-63 tag-link-position-40" style="font-size: 8pt;" aria-label="quadratic formula (1 item)">quadratic formula</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/seir-model/" class="tag-cloud-link tag-link-67 tag-link-position-41" style="font-size: 14.3pt;" aria-label="SEIR model (2 items)">SEIR model</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/string-theory/" class="tag-cloud-link tag-link-70 tag-link-position-42" style="font-size: 14.3pt;" aria-label="string theory (2 items)">string theory</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/tic-tac-toe/" class="tag-cloud-link tag-link-165 tag-link-position-43" style="font-size: 14.3pt;" aria-label="tic-tac-toe (2 items)">tic-tac-toe</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/tilings/" class="tag-cloud-link tag-link-72 tag-link-position-44" style="font-size: 14.3pt;" aria-label="tilings (2 items)">tilings</a> <a href="https://mathvoices.ams.org/featurecolumn/tag/voting/" class="tag-cloud-link tag-link-141 tag-link-position-45" style="font-size: 14.3pt;" aria-label="voting (2 items)">voting</a></div> </section><section id="meta-2" class="widget widget_meta"><h3 class="widget-title"><span>Meta</span></h3> <ul> <li><a href="https://mathvoices.ams.org/featurecolumn/wp-login.php">Log in</a></li> <li><a href="https://mathvoices.ams.org/featurecolumn/feed/">Entries feed</a></li> <li><a href="https://mathvoices.ams.org/featurecolumn/comments/feed/">Comments feed</a></li> <li><a href="https://wordpress.org/">WordPress.org</a></li> </ul> </section> </div> </aside> </div> </div> <div id="post-footer" class=" post-footer hgrid-stretch linkstyle"> <div class="hgrid"> <div class="hgrid-span-12"> <p class="credit small"> Designed using <a class="theme-link" href="https://wphoot.com/themes/hoot-business/" title="Hoot Business WordPress Theme">Hoot Business</a>. Powered by <a class="wp-link" href="https://wordpress.org">WordPress</a>. </p> </div> </div> </div> </div> <script type="text/javascript"> window.WPCOM_sharing_counts = {"https:\/\/mathvoices.ams.org\/featurecolumn\/2024\/02\/01\/impossible\/":1905}; </script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/comment-reply.min.js" id="comment-reply-js" async data-wp-strategy="async"></script> <script src="https://c0.wp.com/c/6.7.1/wp-includes/js/hoverIntent.min.js" id="hoverIntent-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/jquery.superfish.js?ver=1.7.5" id="jquery-superfish-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/jquery.fitvids.js?ver=1.1" id="jquery-fitvids-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/jquery.parallax.js?ver=1.4.2" id="jquery-parallax-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/resizesensor.js?ver=1.7.0" id="resizesensor-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/jquery.theia-sticky-sidebar.js?ver=1.7.0" id="jquery-theia-sticky-sidebar-js"></script> <script src="//cdn.jsdelivr.net/npm/mathjax@2.7.8/MathJax.js?config=TeX-MML-AM_CHTML%2CSafe.js&ver=6.7.1" id="mathjax-js"></script> <script id="sc_ipwd-js-extra"> var sc_ipwd_script = {"sc_ajaxurl":"https:\/\/mathvoices.ams.org\/featurecolumn\/wp-admin\/admin-ajax.php"}; </script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/plugins/simple-comments/js/comments/sc-ipwd-nn.min.js?ver=1.5" id="sc_ipwd-js"></script> <script src="https://mathvoices.ams.org/featurecolumn/wp-content/themes/hoot-business/js/hoot.theme.js?ver=2.11.0" id="hoot-theme-js"></script> <script src="https://stats.wp.com/e-202449.js" id="jetpack-stats-js" data-wp-strategy="defer"></script> <script id="jetpack-stats-js-after"> _stq = window._stq || []; _stq.push([ "view", JSON.parse("{\"v\":\"ext\",\"blog\":\"202620863\",\"post\":\"1905\",\"tz\":\"-5\",\"srv\":\"mathvoices.ams.org\",\"j\":\"1:14.0\"}") ]); _stq.push([ "clickTrackerInit", "202620863", "1905" ]); </script> <script src="https://c0.wp.com/p/jetpack/14.0/_inc/build/likes/queuehandler.min.js" id="jetpack_likes_queuehandler-js"></script> <script id="sharing-js-js-extra"> var sharing_js_options = {"lang":"en","counts":"1","is_stats_active":"1"}; </script> <script src="https://c0.wp.com/p/jetpack/14.0/_inc/build/sharedaddy/sharing.min.js" id="sharing-js-js"></script> <script id="sharing-js-js-after"> var windowOpen; ( function () { function matches( el, sel ) { return !! ( el.matches && el.matches( sel ) || el.msMatchesSelector && el.msMatchesSelector( sel ) ); } document.body.addEventListener( 'click', function ( event ) { if ( ! event.target ) { return; } var el; if ( matches( event.target, 'a.share-facebook' ) ) { el = event.target; } else if ( event.target.parentNode && matches( event.target.parentNode, 'a.share-facebook' ) ) { el = event.target.parentNode; } if ( el ) { event.preventDefault(); // If there's another sharing window open, close it. if ( typeof windowOpen !== 'undefined' ) { windowOpen.close(); } windowOpen = window.open( el.getAttribute( 'href' ), 'wpcomfacebook', 'menubar=1,resizable=1,width=600,height=400' ); return false; } } ); } )(); var windowOpen; ( function () { function matches( el, sel ) { return !! ( el.matches && el.matches( sel ) || el.msMatchesSelector && el.msMatchesSelector( sel ) ); } document.body.addEventListener( 'click', function ( event ) { if ( ! event.target ) { return; } var el; if ( matches( event.target, 'a.share-x' ) ) { el = event.target; } else if ( event.target.parentNode && matches( event.target.parentNode, 'a.share-x' ) ) { el = event.target.parentNode; } if ( el ) { event.preventDefault(); // If there's another sharing window open, close it. if ( typeof windowOpen !== 'undefined' ) { windowOpen.close(); } windowOpen = window.open( el.getAttribute( 'href' ), 'wpcomx', 'menubar=1,resizable=1,width=600,height=350' ); return false; } } ); } )(); </script> <iframe src='https://widgets.wp.com/likes/master.html?ver=20241203#ver=20241203&n=1' scrolling='no' id='likes-master' name='likes-master' style='display:none;'></iframe> <div id='likes-other-gravatars' class='wpl-new-layout' role="dialog" aria-hidden="true" tabindex="-1"><div class="likes-text"><span>%d</span></div><ul class="wpl-avatars sd-like-gravatars"></ul></div> </body> </html>