2017-06-01から1ヶ月間の記事一覧

「命懸けで宝石を分け合う問題」について

前置き 下記のつぶやきで紹介されていた問題に関するお話。 window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.sr…

「無限ならばデデキント無限」から有限集合に対する可算選択公理を導く

前置き window.twttr = (function(d, s, id) { var js, fjs = d.getElementsByTagName(s)[0], t = window.twttr || {}; if (d.getElementById(id)) return t; js = d.createElement(s); js.id = id; js.src = "https://platform.twitter.com/widgets.js"; fj…