# Boxing Pythagoras

## Archive for the month “May, 2015”

Fred is sitting in a room at 8:00 am. There exists an infinite number of Grim Reapers along with Fred, each of which is currently dormant. When any individual Grim Reaper becomes activated, if Fred is still alive, then that Reaper will instantaneously kill Fred; however, if Fred is not alive, the Reaper will return to a dormant state and continue to do nothing. Each of the Grim Reapers is timed to activate at a specific time after 8:00 am. The last Reaper will activate at 9:00 am. The second to last activates at 8:30 am. The third from last at 8:15 am. In general, the nth from last Grim Reaper will activate after $\frac {1}{2^{n+1}}$ hours have passed.
Now, we are guaranteed that Fred will not survive past 9:00 am. After all, if he is alive at 9:00 am, then the last Grim Reaper will activate and kill him. However, he can’t have lasted that long, either, since the previous Grim Reaper would have killed him if he had survived until it activated. In fact, we can generalize this: the nth from last Grim Reaper cannot have killed Fred, because if he had survived until $\frac {1}{2^{n+1}}$ hours after 8:00 am, then the (n+1)st from last Grim Reaper would have killed him.
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 2, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://boxingpythagoras.com/2015/05/", "fetch_time": 1498732652000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2017-26/segments/1498128323908.87/warc/CC-MAIN-20170629103036-20170629123036-00170.warc.gz", "warc_record_offset": 727958494, "warc_record_length": 29988, "token_count": 316, "char_count": 1241, "score": 3.53125, "int_score": 4, "crawl": "CC-MAIN-2017-26", "snapshot_type": "longest", "language": "en", "language_score": 0.9492850303649902, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00025-of-00064.parquet"}