real number (history) in nLab

<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg-flat.dtd" > <html xmlns="http://www.w3.org/1999/xhtml"> <head> <title> real number (history) in nLab </title> <meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /> <meta name="robots" content="noindex,nofollow" /> <meta name="viewport" content="width=device-width, initial-scale=1" /> <link href="/stylesheets/instiki.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/mathematics.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/syntax.css?1660229990" media="all" rel="stylesheet" type="text/css" /> <link href="/stylesheets/nlab.css?1676280126" media="all" rel="stylesheet" type="text/css" /> <link rel="stylesheet" type="text/css" href="https://cdn.jsdelivr.net/gh/dreampulse/computer-modern-web-font@master/fonts.css"/> <style type="text/css"> h1#pageName, div.info, .newWikiWord a, a.existingWikiWord, .newWikiWord a:hover, [actiontype="toggle"]:hover, #TextileHelp h3 { color: #226622; } a:visited.existingWikiWord { color: #164416; } </style> <style type="text/css"><![CDATA[/*></style> <script src="/javascripts/prototype.js?1660229990" type="text/javascript"></script> <script src="/javascripts/effects.js?1660229990" type="text/javascript"></script> <script src="/javascripts/dragdrop.js?1660229990" type="text/javascript"></script> <script src="/javascripts/controls.js?1660229990" type="text/javascript"></script> <script src="/javascripts/application.js?1660229990" type="text/javascript"></script> <script src="/javascripts/page_helper.js?1660229990" type="text/javascript"></script> <script src="/javascripts/thm_numbering.js?1660229990" type="text/javascript"></script> <script type="text/x-mathjax-config"> <![CDATA[//><!]]> </script> <script type="text/javascript"> <![CDATA[//><!]]> </script> <link href="https://ncatlab.org/nlab/atom_with_headlines" rel="alternate" title="Atom with headlines" type="application/atom+xml" /> <link href="https://ncatlab.org/nlab/atom_with_content" rel="alternate" title="Atom with full content" type="application/atom+xml" /> <script type="text/javascript"> document.observe("dom:loaded", function() { generateThmNumbers(); }); </script> </head> <body> <div id="Container"> <div id="Content"> <h1 id="pageName"> <span style="float: left; margin: 0.5em 0.25em -0.25em 0"> <svg xmlns="http://www.w3.org/2000/svg" width="1.872em" height="1.8em" viewBox="0 0 190 181"> <path fill="#226622" d="M72.8 145c-1.6 17.3-15.7 10-23.6 20.2-5.6 7.3 4.8 15 11.4 15 11.5-.2 19-13.4 26.4-20.3 3.3-3 8.2-4 11.2-7.2a14 14 0 0 0 2.9-11.1c-1.4-9.6-12.4-18.6-16.9-27.2-5-9.6-10.7-27.4-24.1-27.7-17.4-.3-.4 26 4.7 30.7 2.4 2.3 5.4 4.1 7.3 6.9 1.6 2.3 2.1 5.8-1 7.2-5.9 2.6-12.4-6.3-15.5-10-8.8-10.6-15.5-23-26.2-31.8-5.2-4.3-11.8-8-18-3.7-7.3 4.9-4.2 12.9.2 18.5a81 81 0 0 0 30.7 23c3.3 1.5 12.8 5.6 10 10.7-2.5 5.2-11.7 3-15.6 1.1-8.4-3.8-24.3-21.3-34.4-13.7-3.5 2.6-2.3 7.6-1.2 11.1 2.8 9 12.2 17.2 20.9 20.5 17.3 6.7 34.3-8 50.8-12.1z"/> <path fill="#a41e32" d="M145.9 121.3c-.2-7.5 0-19.6-4.5-26-5.4-7.5-12.9-1-14.1 5.8-1.4 7.8 2.7 14.1 4.8 21.3 3.4 12 5.8 29-.8 40.1-3.6-6.7-5.2-13-7-20.4-2.1-8.2-12.8-13.2-15.1-1.9-2 9.7 9 21.2 12 30.1 1.2 4 2 8.8 6.4 10.3 6.9 2.3 13.3-4.7 17.7-8.8 12.2-11.5 36.6-20.7 43.4-36.4 6.7-15.7-13.7-14-21.3-7.2-9.1 8-11.9 20.5-23.6 25.1 7.5-23.7 31.8-37.6 38.4-61.4 2-7.3-.8-29.6-13-19.8-14.5 11.6-6.6 37.6-23.3 49.2z"/> <path fill="#193c78" d="M86.3 47.5c0-13-10.2-27.6-5.8-40.4 2.8-8.4 14.1-10.1 17-1 3.8 11.6-.3 26.3-1.8 38 11.7-.7 10.5-16 14.8-24.3 2.1-4.2 5.7-9.1 11-6.7 6 2.7 7.4 9.2 6.6 15.1-2.2 14-12.2 18.8-22.4 27-3.4 2.7-8 6.6-5.9 11.6 2 4.4 7 4.5 10.7 2.8 7.4-3.3 13.4-16.5 21.7-16 14.6.7 12 21.9.9 26.2-5 1.9-10.2 2.3-15.2 3.9-5.8 1.8-9.4 8.7-15.7 8.9-6.1.1-9-6.9-14.3-9-14.4-6-33.3-2-44.7-14.7-3.7-4.2-9.6-12-4.9-17.4 9.3-10.7 28 7.2 35.7 12 2 1.1 11 6.9 11.4 1.1.4-5.2-10-8.2-13.5-10-11.1-5.2-30-15.3-35-27.3-2.5-6 2.8-13.8 9.4-13.6 6.9.2 13.4 7 17.5 12C70.9 34 75 43.8 86.3 47.4z"/> </svg> </span> <span class="webName">nLab</span> real number (history) </h1> <div class="navigation"> <span class="skipNav"><a href='#navEnd'>Skip the Navigation Links</a> | </span> <span style="display:inline-block; width: 0.3em;"></span> <a href="/nlab/show/HomePage" accesskey="H" title="Home page">Home Page</a> | <a href="/nlab/all_pages" accesskey="A" title="List of all pages">All Pages</a> | <a href="/nlab/latest_revisions" accesskey="U" title="Latest edits and page creations">Latest Revisions</a> | <a href="https://nforum.ncatlab.org/discussion/4322/#Item_37" title="Discuss this page in its dedicated thread on the nForum" style="color: black">Discuss this page</a> | <form accept-charset="utf-8" action="/nlab/search" id="navigationSearchForm" method="get"> <fieldset class="search"><input type="text" id="searchField" name="query" value="Search" style="display:inline-block; float: left;" onfocus="this.value == 'Search' ? this.value = '' : true" onblur="this.value == '' ? this.value = 'Search' : true" /></fieldset> </form> <span id='navEnd'></span> </div> <h3>September 18, 2024</h3> <ul> <li> <a href="/nlab/show/real+number">Current</a> <span class="hist_views"> (<a href="/nlab/show/diff/real+number">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on September 18, 2024 at 18:16:13. </div> </li> </ul> <h3>January 28, 2024</h3> <ul> <li> <a href="/nlab/revision/real+number/95">Revision 95</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/95">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on January 28, 2024 at 04:12:30. </div> </li> <li> <a href="/nlab/revision/real+number/94">Revision 94</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/94">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymouse">Anonymouse</a> on January 28, 2024 at 04:10:25. </div> </li> </ul> <h3>January 1, 2024</h3> <ul> <li> <a href="/nlab/revision/real+number/93">Revision 93</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/93">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymouse">Anonymouse</a> on January 1, 2024 at 18:02:51. </div> </li> </ul> <h3>December 25, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/92">Revision 92</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/92">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Daniel+Freedman">Daniel Freedman</a> on December 25, 2023 at 02:53:52. </div> </li> </ul> <h3>October 18, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/91">Revision 91</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/91">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/dusko">dusko</a> on October 18, 2023 at 22:53:35. </div> </li> </ul> <h3>February 22, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/90">Revision 90</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/90">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 22, 2023 at 07:38:20. </div> </li> </ul> <h3>February 15, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/89">Revision 89</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/89">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 15, 2023 at 08:06:34. </div> </li> <li> <a href="/nlab/revision/real+number/88">Revision 88</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/88">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 15, 2023 at 06:51:35. </div> </li> </ul> <h3>February 10, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/87">Revision 87</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/87">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 10, 2023 at 14:22:55. </div> </li> <li> <a href="/nlab/revision/real+number/86">Revision 86</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/86">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 10, 2023 at 07:26:46. </div> </li> </ul> <h3>February 9, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/85">Revision 85</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/85">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 9, 2023 at 10:56:27. </div> </li> </ul> <h3>February 7, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/84">Revision 84</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/84">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 7, 2023 at 17:18:40. </div> </li> </ul> <h3>January 28, 2023</h3> <ul> <li> <a href="/nlab/revision/real+number/83">Revision 83</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/83">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on January 28, 2023 at 17:29:57. </div> </li> </ul> <h3>December 6, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/82">Revision 82</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/82">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on December 6, 2022 at 04:55:31. </div> </li> </ul> <h3>November 15, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/81">Revision 81</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/81">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on November 15, 2022 at 17:54:50. </div> </li> </ul> <h3>June 10, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/80">Revision 80</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/80">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on June 10, 2022 at 15:37:30. </div> </li> </ul> <h3>May 12, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/79">Revision 79</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/79">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 12, 2022 at 19:21:23. </div> </li> <li> <a href="/nlab/revision/real+number/78">Revision 78</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/78">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 12, 2022 at 15:19:51. </div> </li> </ul> <h3>May 11, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/77">Revision 77</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/77">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 11, 2022 at 04:59:39. </div> </li> </ul> <h3>May 7, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/76">Revision 76</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/76">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 7, 2022 at 20:45:25. </div> </li> </ul> <h3>May 6, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/75">Revision 75</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/75">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 6, 2022 at 17:46:45. </div> </li> <li> <a href="/nlab/revision/real+number/74">Revision 74</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/74">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 6, 2022 at 13:31:39. </div> </li> </ul> <h3>May 4, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/73">Revision 73</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/73">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 4, 2022 at 03:34:23. </div> </li> <li> <a href="/nlab/revision/real+number/72">Revision 72</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/72">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 4, 2022 at 00:16:23. </div> </li> </ul> <h3>May 3, 2022</h3> <ul> <li> <a href="/nlab/revision/real+number/71">Revision 71</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/71">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 3, 2022 at 19:10:02. </div> </li> <li> <a href="/nlab/revision/real+number/70">Revision 70</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/70">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 3, 2022 at 18:24:39. </div> </li> </ul> <h3>September 23, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/69">Revision 69</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/69">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on September 23, 2021 at 10:13:41. </div> </li> </ul> <h3>June 24, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/68">Revision 68</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/68">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on June 24, 2021 at 13:46:56. </div> </li> </ul> <h3>June 16, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/67">Revision 67</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/67">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Todd+Trimble">Todd Trimble</a> on June 16, 2021 at 02:39:49. </div> </li> </ul> <h3>May 27, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/66">Revision 66</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/66">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 27, 2021 at 17:05:33. </div> </li> </ul> <h3>May 26, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/65">Revision 65</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/65">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 26, 2021 at 21:41:48. </div> </li> <li> <a href="/nlab/revision/real+number/64">Revision 64</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/64">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 26, 2021 at 14:21:42. </div> </li> <li> <a href="/nlab/revision/real+number/63">Revision 63</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/63">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 26, 2021 at 13:34:17. </div> </li> </ul> <h3>May 9, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/62">Revision 62</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/62">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 9, 2021 at 02:36:44. </div> </li> <li> <a href="/nlab/revision/real+number/61">Revision 61</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/61">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 9, 2021 at 01:18:05. </div> </li> </ul> <h3>May 8, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/60">Revision 60</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/60">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 8, 2021 at 15:07:09. </div> </li> <li> <a href="/nlab/revision/real+number/59">Revision 59</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/59">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 8, 2021 at 14:33:01. </div> </li> <li> <a href="/nlab/revision/real+number/58">Revision 58</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/58">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 8, 2021 at 13:20:58. </div> </li> </ul> <h3>May 6, 2021</h3> <ul> <li> <a href="/nlab/revision/real+number/57">Revision 57</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/57">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Anonymous">Anonymous</a> on May 6, 2021 at 12:52:38. </div> </li> </ul> <h3>December 22, 2020</h3> <ul> <li> <a href="/nlab/revision/real+number/56">Revision 56</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/56">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Todd+Trimble">Todd Trimble</a> on December 22, 2020 at 14:18:41. </div> </li> <li> <a href="/nlab/revision/real+number/55">Revision 55</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/55">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on December 22, 2020 at 12:35:45. </div> </li> <li> <a href="/nlab/revision/real+number/54">Revision 54</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/54">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/David+Roberts">David Roberts</a> on December 22, 2020 at 10:48:51. </div> </li> <li> <a href="/nlab/revision/real+number/53">Revision 53</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/53">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Oscar+Cunningham">Oscar Cunningham</a> on December 22, 2020 at 09:47:35. </div> </li> <li> <a href="/nlab/revision/real+number/52">Revision 52</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/52">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/David+Roberts">David Roberts</a> on December 22, 2020 at 00:39:22. </div> </li> </ul> <h3>December 21, 2020</h3> <ul> <li> <a href="/nlab/revision/real+number/51">Revision 51</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/51">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Todd+Trimble">Todd Trimble</a> on December 21, 2020 at 21:56:34. </div> </li> </ul> <h3>September 11, 2020</h3> <ul> <li> <a href="/nlab/revision/real+number/50">Revision 50</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/50">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/David+Roberts">David Roberts</a> on September 11, 2020 at 10:26:28. </div> </li> <li> <a href="/nlab/revision/real+number/49">Revision 49</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/49">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Jin">Jin</a> on September 11, 2020 at 08:25:12. </div> </li> </ul> <h3>February 12, 2019</h3> <ul> <li> <a href="/nlab/revision/real+number/48">Revision 48</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/48">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on February 12, 2019 at 00:37:27. </div> </li> </ul> <h3>May 24, 2017</h3> <ul> <li> <a href="/nlab/revision/real+number/47">Revision 47</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/47">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on May 24, 2017 at 14:28:04. </div> </li> </ul> <h3>April 30, 2017</h3> <ul> <li> <a href="/nlab/revision/real+number/46">Revision 46</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/46">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on April 30, 2017 at 13:34:03. </div> </li> </ul> <h3>January 21, 2017</h3> <ul> <li> <a href="/nlab/revision/real+number/45">Revision 45</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/45">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on January 21, 2017 at 17:46:13. </div> </li> </ul> <h3>November 28, 2016</h3> <ul> <li> <a href="/nlab/revision/real+number/44">Revision 44</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/44">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on November 28, 2016 at 13:07:46. </div> </li> </ul> <h3>October 19, 2016</h3> <ul> <li> <a href="/nlab/revision/real+number/43">Revision 43</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/43">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Dexter+Chua">Dexter Chua</a> on October 19, 2016 at 06:03:53. </div> </li> </ul> <h3>October 18, 2016</h3> <ul> <li> <a href="/nlab/revision/real+number/42">Revision 42</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/42">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on October 18, 2016 at 19:20:22. </div> </li> </ul> <h3>October 31, 2015</h3> <ul> <li> <a href="/nlab/revision/real+number/41">Revision 41</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/41">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Todd+Trimble">Todd Trimble</a> on October 31, 2015 at 13:15:33. </div> </li> </ul> <h3>August 28, 2015</h3> <ul> <li> <a href="/nlab/revision/real+number/40">Revision 40</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/40">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Mike+Shulman">Mike Shulman</a> on August 28, 2015 at 16:26:36. </div> </li> </ul> <h3>August 10, 2014</h3> <ul> <li> <a href="/nlab/revision/real+number/39">Revision 39</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/39">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on August 10, 2014 at 21:21:41. </div> </li> </ul> <h3>March 4, 2014</h3> <ul> <li> <a href="/nlab/revision/real+number/38">Revision 38</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/38">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on March 4, 2014 at 00:02:44. </div> </li> </ul> <h3>March 1, 2014</h3> <ul> <li> <a href="/nlab/revision/real+number/37">Revision 37</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/37">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on March 1, 2014 at 11:03:53. </div> </li> </ul> <h3>February 11, 2014</h3> <ul> <li> <a href="/nlab/revision/real+number/36">Revision 36</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/36">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on February 11, 2014 at 13:40:55. </div> </li> </ul> <h3>November 22, 2013</h3> <ul> <li> <a href="/nlab/revision/real+number/35">Revision 35</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/35">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on November 22, 2013 at 02:26:27. </div> </li> </ul> <h3>August 28, 2013</h3> <ul> <li> <a href="/nlab/revision/real+number/34">Revision 34</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/34">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on August 28, 2013 at 15:08:19. </div> </li> </ul> <h3>November 29, 2012</h3> <ul> <li> <a href="/nlab/revision/real+number/33">Revision 33</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/33">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on November 29, 2012 at 16:25:56. </div> </li> </ul> <h3>September 28, 2012</h3> <ul> <li> <a href="/nlab/revision/real+number/32">Revision 32</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/32">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on September 28, 2012 at 12:59:05. </div> </li> </ul> <h3>June 1, 2012</h3> <ul> <li> <a href="/nlab/revision/real+number/31">Revision 31</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/31">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on June 1, 2012 at 19:38:52. </div> </li> </ul> <h3>May 18, 2012</h3> <ul> <li> <a href="/nlab/revision/real+number/30">Revision 30</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/30">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on May 18, 2012 at 18:55:54. </div> </li> </ul> <h3>January 16, 2012</h3> <ul> <li> <a href="/nlab/revision/real+number/29">Revision 29</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/29">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Mike+Shulman">Mike Shulman</a> on January 16, 2012 at 01:58:33. </div> </li> </ul> <h3>October 3, 2011</h3> <ul> <li> <a href="/nlab/revision/real+number/28">Revision 28</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/28">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on October 3, 2011 at 05:03:09. </div> </li> </ul> <h3>August 26, 2011</h3> <ul> <li> <a href="/nlab/revision/real+number/27">Revision 27</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/27">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on August 26, 2011 at 23:25:27. </div> </li> </ul> <h3>August 12, 2011</h3> <ul> <li> <a href="/nlab/revision/real+number/26">Revision 26</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/26">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on August 12, 2011 at 21:25:35. </div> </li> </ul> <h3>June 15, 2011</h3> <ul> <li> <a href="/nlab/revision/real+number/25">Revision 25</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/25">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on June 15, 2011 at 05:32:31. </div> </li> </ul> <h3>January 17, 2011</h3> <ul> <li> <a href="/nlab/revision/real+number/24">Revision 24</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/24">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Zoran+%C5%A0koda">Zoran 艩koda</a> on January 17, 2011 at 16:14:08. </div> </li> </ul> <h3>July 20, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/23">Revision 23</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/23">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on July 20, 2010 at 21:17:39. </div> </li> <li> <a href="/nlab/revision/real+number/22">Revision 22</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/22">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on July 20, 2010 at 00:16:59. </div> </li> </ul> <h3>May 5, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/21">Revision 21</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/21">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on May 5, 2010 at 08:13:07. </div> </li> </ul> <h3>March 30, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/20">Revision 20</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/20">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 30, 2010 at 05:59:58. </div> </li> </ul> <h3>March 28, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/19">Revision 19</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/19">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 28, 2010 at 23:36:54. </div> </li> <li> <a href="/nlab/revision/real+number/18">Revision 18</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/18">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 28, 2010 at 22:52:53. </div> </li> </ul> <h3>March 26, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/17">Revision 17</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/17">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 26, 2010 at 21:26:17. </div> </li> <li> <a href="/nlab/revision/real+number/16">Revision 16</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/16">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 26, 2010 at 09:08:12. </div> </li> <li> <a href="/nlab/revision/real+number/15">Revision 15</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/15">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 26, 2010 at 07:12:07. </div> </li> </ul> <h3>March 23, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/14">Revision 14</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/14">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 23, 2010 at 23:02:50. </div> </li> <li> <a href="/nlab/revision/real+number/13">Revision 13</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/13">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Lab+Elf">Lab Elf</a> on March 23, 2010 at 06:19:32. </div> </li> <li> <a href="/nlab/revision/real+number/12">Revision 12</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/12">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 23, 2010 at 03:52:25. </div> </li> <li> <a href="/nlab/revision/real+number/11">Revision 11</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/11">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 23, 2010 at 01:41:58. </div> </li> </ul> <h3>March 22, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/10">Revision 10</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/10">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on March 22, 2010 at 10:41:50. </div> </li> <li> <a href="/nlab/revision/real+number/9">Revision 9</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/9">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 22, 2010 at 09:21:21. </div> </li> <li> <a href="/nlab/revision/real+number/8">Revision 8</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/8">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Urs+Schreiber">Urs Schreiber</a> on March 22, 2010 at 09:15:14. </div> </li> </ul> <h3>March 20, 2010</h3> <ul> <li> <a href="/nlab/revision/real+number/7">Revision 7</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/7">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 20, 2010 at 19:37:59. </div> </li> </ul> <h3>December 16, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/6">Revision 6</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/6">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on December 16, 2009 at 21:19:19. </div> </li> </ul> <h3>November 6, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/5">Revision 5</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/5">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on November 6, 2009 at 19:26:18. </div> </li> </ul> <h3>June 19, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/4">Revision 4</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/4">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on June 19, 2009 at 05:08:41. </div> </li> </ul> <h3>June 7, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/3">Revision 3</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/3">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Mike+Shulman">Mike Shulman</a> on June 7, 2009 at 01:59:29. </div> </li> </ul> <h3>March 16, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/2">Revision 2</a> <span class="hist_views"> (<a href="/nlab/revision/diff/real+number/2">diff</a>) </span> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 16, 2009 at 22:11:01. </div> </li> </ul> <h3>March 15, 2009</h3> <ul> <li> <a href="/nlab/revision/real+number/1">Revision 1</a> <div class="revisedby" style="margin-bottom: 0px"> by <a href="/nlab/author/Toby+Bartels">Toby Bartels</a> on March 15, 2009 at 00:09:51. </div> </li> </ul> </div>  </div>  </body> </html>

CINXE.COM

real number (history) in nLab