<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@vertical+block@0bc5731750dc4f609a0c4a3732c443a6" data-init="VerticalStudentView" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="vertical" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<h2 class="hd hd-2 unit-title">Summary</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294">
<div class="xblock xblock-public_view xblock-public_view-video xmodule_display xmodule_VideoBlock" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294" data-init="XBlockToXModuleShim" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="video" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "Video"}
</script>
<h3 class="hd hd-2">Video: Summary of Lecture 9</h3>
<div
id="video_d25f4fe860ea409c836648c49fedc294"
class="video closed"
data-metadata='{"speed": null, "publishCompletionUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/publish_completion", "streams": "1.00:jVzM_uUD8vY", "prioritizeHls": false, "completionEnabled": false, "autoAdvance": false, "captionDataDir": null, "transcriptLanguages": {"en": "English"}, "recordedYoutubeIsAvailable": true, "showCaptions": "true", "completionPercentage": 0.95, "saveStateUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/xmodule_handler/save_user_state", "ytMetadataEndpoint": "", "duration": 0.0, "autohideHtml5": false, "transcriptLanguage": "en", "ytApiUrl": "https://www.youtube.com/iframe_api", "lmsRootURL": "https://openlearninglibrary.mit.edu", "sources": [], "transcriptAvailableTranslationsUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/transcript/available_translations", "savedVideoPosition": 0.0, "transcriptTranslationUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/transcript/translation/__lang__", "saveStateEnabled": false, "ytTestTimeout": 1500, "poster": null, "autoplay": false, "generalSpeed": 1.0, "start": 0.0, "end": 0.0}'
data-bumper-metadata='null'
data-autoadvance-enabled="False"
data-poster='null'
tabindex="-1"
>
<div class="focus_grabber first"></div>
<div class="tc-wrapper">
<div class="video-wrapper">
<span tabindex="0" class="spinner" aria-hidden="false" aria-label="Loading video player"></span>
<span tabindex="-1" class="btn-play fa fa-youtube-play fa-2x is-hidden" aria-hidden="true" aria-label="Play video"></span>
<div class="video-player-pre"></div>
<div class="video-player">
<div id="d25f4fe860ea409c836648c49fedc294"></div>
<h4 class="hd hd-4 video-error is-hidden">No playable video sources found.</h4>
<h4 class="hd hd-4 video-hls-error is-hidden">
Your browser does not support this video format. Try using a different browser.
</h4>
</div>
<div class="video-player-post"></div>
<div class="closed-captions"></div>
<div class="video-controls is-hidden">
<div>
<div class="vcr"><div class="vidtime">0:00 / 0:00</div></div>
<div class="secondary-controls"></div>
</div>
</div>
</div>
</div>
<div class="focus_grabber last"></div>
<h3 class="hd hd-4 downloads-heading sr" id="video-download-transcripts_d25f4fe860ea409c836648c49fedc294">Downloads and transcripts</h3>
<div class="wrapper-downloads" role="region" aria-labelledby="video-download-transcripts_d25f4fe860ea409c836648c49fedc294">
<div class="wrapper-download-transcripts">
<h4 class="hd hd-5">Transcripts</h4>
<ul class="list-download-transcripts">
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/transcript/download" data-value="srt">Download SubRip (.srt) file</a>
</li>
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@d25f4fe860ea409c836648c49fedc294/handler/transcript/download" data-value="txt">Download Text (.txt) file</a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@vertical+block@08e8ef397db546448c691678805c629a" data-init="VerticalStudentView" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="vertical" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<h2 class="hd hd-2 unit-title">Further Resources</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:MITx+24.118x+2T2020+type@html+block@4b60a67ca41d46c99aaf22774a8faac1">
<div class="xblock xblock-public_view xblock-public_view-html xmodule_display xmodule_HtmlBlock" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@html+block@4b60a67ca41d46c99aaf22774a8faac1" data-init="XBlockToXModuleShim" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="html" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "HTMLModule"}
</script>
<ul>
<li><span style="font-family: 'book antiqua', palatino;">For a more formal treatment of some of the issues described in this lecture, see Boolos, Jeffrey and Burgess, <em>Computability and Logic.</em></span></li>
<li><span style="font-family: 'book antiqua', palatino;">As mentioned in the main text, the Big Number Duel was inspired by Scott Aaronson’s article, “Who Can Name the Bigger Number?”. For further details on the Big Number Duel, including details about the winning number see <a href="http://web.mit.edu/arayo/www/bignums.html"><span style="font-size: 1em;">http://web.mit.edu/arayo/www/bignums.html</span></a></span></li>
</ul>
</div>
</div>
</div>
</div>
<div class="xblock xblock-public_view xblock-public_view-vertical" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@vertical+block@ba24949803514a59b7b15d46f2916621" data-init="VerticalStudentView" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="vertical" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<h2 class="hd hd-2 unit-title">Lectures in Full</h2>
<div class="vert-mod">
<div class="vert vert-0" data-id="block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760">
<div class="xblock xblock-public_view xblock-public_view-video xmodule_display xmodule_VideoBlock" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760" data-init="XBlockToXModuleShim" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="video" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "Video"}
</script>
<h3 class="hd hd-2">Video: Lecture 9, Part 1</h3>
<div
id="video_107442dde44540c1a9aff65b0ec95760"
class="video closed"
data-metadata='{"speed": null, "publishCompletionUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/publish_completion", "streams": "1.00:OKuJqE-RX4c", "prioritizeHls": false, "completionEnabled": false, "autoAdvance": false, "captionDataDir": null, "transcriptLanguages": {"en": "English"}, "recordedYoutubeIsAvailable": true, "showCaptions": "true", "completionPercentage": 0.95, "saveStateUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/xmodule_handler/save_user_state", "ytMetadataEndpoint": "", "duration": 0.0, "autohideHtml5": false, "transcriptLanguage": "en", "ytApiUrl": "https://www.youtube.com/iframe_api", "lmsRootURL": "https://openlearninglibrary.mit.edu", "sources": [], "transcriptAvailableTranslationsUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/transcript/available_translations", "savedVideoPosition": 0.0, "transcriptTranslationUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/transcript/translation/__lang__", "saveStateEnabled": false, "ytTestTimeout": 1500, "poster": null, "autoplay": false, "generalSpeed": 1.0, "start": 0.0, "end": 0.0}'
data-bumper-metadata='null'
data-autoadvance-enabled="False"
data-poster='null'
tabindex="-1"
>
<div class="focus_grabber first"></div>
<div class="tc-wrapper">
<div class="video-wrapper">
<span tabindex="0" class="spinner" aria-hidden="false" aria-label="Loading video player"></span>
<span tabindex="-1" class="btn-play fa fa-youtube-play fa-2x is-hidden" aria-hidden="true" aria-label="Play video"></span>
<div class="video-player-pre"></div>
<div class="video-player">
<div id="107442dde44540c1a9aff65b0ec95760"></div>
<h4 class="hd hd-4 video-error is-hidden">No playable video sources found.</h4>
<h4 class="hd hd-4 video-hls-error is-hidden">
Your browser does not support this video format. Try using a different browser.
</h4>
</div>
<div class="video-player-post"></div>
<div class="closed-captions"></div>
<div class="video-controls is-hidden">
<div>
<div class="vcr"><div class="vidtime">0:00 / 0:00</div></div>
<div class="secondary-controls"></div>
</div>
</div>
</div>
</div>
<div class="focus_grabber last"></div>
<h3 class="hd hd-4 downloads-heading sr" id="video-download-transcripts_107442dde44540c1a9aff65b0ec95760">Downloads and transcripts</h3>
<div class="wrapper-downloads" role="region" aria-labelledby="video-download-transcripts_107442dde44540c1a9aff65b0ec95760">
<div class="wrapper-download-transcripts">
<h4 class="hd hd-5">Transcripts</h4>
<ul class="list-download-transcripts">
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/transcript/download" data-value="srt">Download SubRip (.srt) file</a>
</li>
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@107442dde44540c1a9aff65b0ec95760/handler/transcript/download" data-value="txt">Download Text (.txt) file</a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
<div class="vert vert-1" data-id="block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde">
<div class="xblock xblock-public_view xblock-public_view-video xmodule_display xmodule_VideoBlock" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde" data-init="XBlockToXModuleShim" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="video" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "Video"}
</script>
<h3 class="hd hd-2">Video: Lecture 9, Part 2</h3>
<div
id="video_eae99d7a5d8a472c80b179a78556bdde"
class="video closed"
data-metadata='{"speed": null, "publishCompletionUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/publish_completion", "streams": "1.00:xvaaGIrGw7o", "prioritizeHls": false, "completionEnabled": false, "autoAdvance": false, "captionDataDir": null, "transcriptLanguages": {"en": "English"}, "recordedYoutubeIsAvailable": true, "showCaptions": "true", "completionPercentage": 0.95, "saveStateUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/xmodule_handler/save_user_state", "ytMetadataEndpoint": "", "duration": 0.0, "autohideHtml5": false, "transcriptLanguage": "en", "ytApiUrl": "https://www.youtube.com/iframe_api", "lmsRootURL": "https://openlearninglibrary.mit.edu", "sources": [], "transcriptAvailableTranslationsUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/transcript/available_translations", "savedVideoPosition": 0.0, "transcriptTranslationUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/transcript/translation/__lang__", "saveStateEnabled": false, "ytTestTimeout": 1500, "poster": null, "autoplay": false, "generalSpeed": 1.0, "start": 0.0, "end": 0.0}'
data-bumper-metadata='null'
data-autoadvance-enabled="False"
data-poster='null'
tabindex="-1"
>
<div class="focus_grabber first"></div>
<div class="tc-wrapper">
<div class="video-wrapper">
<span tabindex="0" class="spinner" aria-hidden="false" aria-label="Loading video player"></span>
<span tabindex="-1" class="btn-play fa fa-youtube-play fa-2x is-hidden" aria-hidden="true" aria-label="Play video"></span>
<div class="video-player-pre"></div>
<div class="video-player">
<div id="eae99d7a5d8a472c80b179a78556bdde"></div>
<h4 class="hd hd-4 video-error is-hidden">No playable video sources found.</h4>
<h4 class="hd hd-4 video-hls-error is-hidden">
Your browser does not support this video format. Try using a different browser.
</h4>
</div>
<div class="video-player-post"></div>
<div class="closed-captions"></div>
<div class="video-controls is-hidden">
<div>
<div class="vcr"><div class="vidtime">0:00 / 0:00</div></div>
<div class="secondary-controls"></div>
</div>
</div>
</div>
</div>
<div class="focus_grabber last"></div>
<h3 class="hd hd-4 downloads-heading sr" id="video-download-transcripts_eae99d7a5d8a472c80b179a78556bdde">Downloads and transcripts</h3>
<div class="wrapper-downloads" role="region" aria-labelledby="video-download-transcripts_eae99d7a5d8a472c80b179a78556bdde">
<div class="wrapper-download-transcripts">
<h4 class="hd hd-5">Transcripts</h4>
<ul class="list-download-transcripts">
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/transcript/download" data-value="srt">Download SubRip (.srt) file</a>
</li>
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@eae99d7a5d8a472c80b179a78556bdde/handler/transcript/download" data-value="txt">Download Text (.txt) file</a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
<div class="vert vert-2" data-id="block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7">
<div class="xblock xblock-public_view xblock-public_view-video xmodule_display xmodule_VideoBlock" data-runtime-class="LmsRuntime" data-usage-id="block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7" data-init="XBlockToXModuleShim" data-runtime-version="1" data-course-id="course-v1:MITx+24.118x+2T2020" data-block-type="video" data-has-score="False" data-graded="False" data-request-token="7d30df6afee611ee9bc116fff75c5923">
<script type="json/xblock-args" class="xblock-json-init-args">
{"xmodule-type": "Video"}
</script>
<h3 class="hd hd-2">Video: Lecture 9, Part 3</h3>
<div
id="video_bd6f84fa7202462b933f2e412a8e9ff7"
class="video closed"
data-metadata='{"speed": null, "publishCompletionUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/publish_completion", "streams": "1.00:x2ByR-MC1e4", "prioritizeHls": false, "completionEnabled": false, "autoAdvance": false, "captionDataDir": null, "transcriptLanguages": {"en": "English"}, "recordedYoutubeIsAvailable": true, "showCaptions": "true", "completionPercentage": 0.95, "saveStateUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/xmodule_handler/save_user_state", "ytMetadataEndpoint": "", "duration": 0.0, "autohideHtml5": false, "transcriptLanguage": "en", "ytApiUrl": "https://www.youtube.com/iframe_api", "lmsRootURL": "https://openlearninglibrary.mit.edu", "sources": [], "transcriptAvailableTranslationsUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/transcript/available_translations", "savedVideoPosition": 0.0, "transcriptTranslationUrl": "/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/transcript/translation/__lang__", "saveStateEnabled": false, "ytTestTimeout": 1500, "poster": null, "autoplay": false, "generalSpeed": 1.0, "start": 0.0, "end": 0.0}'
data-bumper-metadata='null'
data-autoadvance-enabled="False"
data-poster='null'
tabindex="-1"
>
<div class="focus_grabber first"></div>
<div class="tc-wrapper">
<div class="video-wrapper">
<span tabindex="0" class="spinner" aria-hidden="false" aria-label="Loading video player"></span>
<span tabindex="-1" class="btn-play fa fa-youtube-play fa-2x is-hidden" aria-hidden="true" aria-label="Play video"></span>
<div class="video-player-pre"></div>
<div class="video-player">
<div id="bd6f84fa7202462b933f2e412a8e9ff7"></div>
<h4 class="hd hd-4 video-error is-hidden">No playable video sources found.</h4>
<h4 class="hd hd-4 video-hls-error is-hidden">
Your browser does not support this video format. Try using a different browser.
</h4>
</div>
<div class="video-player-post"></div>
<div class="closed-captions"></div>
<div class="video-controls is-hidden">
<div>
<div class="vcr"><div class="vidtime">0:00 / 0:00</div></div>
<div class="secondary-controls"></div>
</div>
</div>
</div>
</div>
<div class="focus_grabber last"></div>
<h3 class="hd hd-4 downloads-heading sr" id="video-download-transcripts_bd6f84fa7202462b933f2e412a8e9ff7">Downloads and transcripts</h3>
<div class="wrapper-downloads" role="region" aria-labelledby="video-download-transcripts_bd6f84fa7202462b933f2e412a8e9ff7">
<div class="wrapper-download-transcripts">
<h4 class="hd hd-5">Transcripts</h4>
<ul class="list-download-transcripts">
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/transcript/download" data-value="srt">Download SubRip (.srt) file</a>
</li>
<li class="transcript-option">
<a class="btn btn-link" href="/courses/course-v1:MITx+24.118x+2T2020/xblock/block-v1:MITx+24.118x+2T2020+type@video+block@bd6f84fa7202462b933f2e412a8e9ff7/handler/transcript/download" data-value="txt">Download Text (.txt) file</a>
</li>
</ul>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
© All Rights Reserved