{"id":545,"date":"2007-11-11T20:45:49","date_gmt":"2007-11-11T20:45:49","guid":{"rendered":"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/11\/11\/why-did-set-theory-start-with-transfinite-numbers\/"},"modified":"2007-11-11T20:45:49","modified_gmt":"2007-11-11T20:45:49","slug":"why-did-set-theory-start-with-transfinite-numbers","status":"publish","type":"post","link":"http:\/\/www.goodmath.org\/blog\/2007\/11\/11\/why-did-set-theory-start-with-transfinite-numbers\/","title":{"rendered":"Why did Set Theory start with transfinite numbers?"},"content":{"rendered":"<p> I was visiting my mom, and discovered that I didn&#8217;t leave my set theory book on the train; I left it at her house. So I&#8217;ve been happily reunited with my old text, and I&#8217;m going to get back to a few more posts about the beautiful world of set theory.<\/p>\n<p> When you talk about set theory, you&#8217;re talking about an extremely abstract notion, one which is capable of representing all sorts of structures: topological spaces, categories, geometries, graphs, functions, relations, and more. And yet, almost every description of set theory plunges straight into the cardinal and ordinal numbers. Why? That&#8217;s a question that mystified me for quite a long time. Why do we take this beautiful structure, which can do so many things, and immediately jump in to these odd things about infinities?<\/p>\n<p><!--more--><\/p>\n<p> I didn&#8217;t find it out until last year, when I wrote my post about <a href=\"http:\/\/scientopia.org\/blogs\/goodmath\/2006\/07\/zero\">zero<\/a>. That started me doing<br \/>\nsome reading about the history of math, and it&#8217;s in the historical context that the reason for<br \/>\nthis is found. If you&#8217;re interested in this sort of thing, I recommend the book <a href=\"http:\/\/www.amazon.com\/gp\/product\/3764383496?ie=UTF8&amp;tag=goodmathbadma-20&amp;linkCode=as2&amp;camp=1789&amp;creative=9325&amp;creativeASIN=3764383496\">Labyrinth of Thought: A History of Set Theory and Its Role in Modern Mathematics<\/a><img loading=\"lazy\" decoding=\"async\" src=\"http:\/\/www.assoc-amazon.com\/e\/ir?t=goodmathbadma-20&amp;l=as2&amp;o=1&amp;a=3764383496\" width=\"1\" height=\"1\" border=\"0\" alt=\"\" style=\"border:none !important;margin:0px !important\" \/>, which<br \/>\nis the most complete, detailed history of math in the 19th and 20th centuries that I know about.<\/p>\n<p> During the 19th century, when math really started to take the shape that we&#8217;re familiar with, one of<br \/>\nthe really big questions was: what <em>is<\/em> math really? There was a lot of debate about it, but the<br \/>\nmost common answer was some variation on &#8220;the science of measurement&#8221;: that is, that math was really about<br \/>\nmeasuring things, and manipulating those measurements. Things like algebra and calculus were considered<br \/>\nimportant because of the way that they let you compute measurements.<\/p>\n<p> So when mathematicians were trying to get to the roots of things, they were focused on the<br \/>\nidea of <em>measurement<\/em>.  But what is measurement? It comes down to two different kinds of<br \/>\nthings: you can measure <em>how big<\/em> something is, or <em>where<\/em> something is. All measurements<br \/>\nof any property can ultimately be reduced to either a measurement of a size, or a measurement of a position, or some combination. For example, to measure the velocity of an object in a plane, you&#8217;ve got two things you need to measure. Speed &#8211; which is the <em>size<\/em> or magnitude of the velocity; and direction, which is the angle (or position) within a circle in which the object is moving.<\/p>\n<p> So Cantor, in his invention of set theory, quite naturally formulated it as an abstract way of talking about the ideas of sizes and positions &#8211; which results in two basic kinds of numbers: numbers which describe the <em>size<\/em> of something, and numbers which describe the <em>position<\/em> of something. Sets provided a totally abstract way of talking about what those two kinds of numbers meant, and why there was a distinction. And so we got the cardinals for size, and the ordinals for position.<\/p>\n<p> The next step is to try to see what the differences between the two kinds of numbers are. Are they really always the same thing? Or is there some essential semantic difference between an ordinal and a cardinal, between a number that measures size, and a number that measures position? When you sit down and<br \/>\nwork it out, you <em>do<\/em> get a difference &#8211; the difference between <a href=\"http:\/\/scientopia.org\/blogs\/goodmath\/2007\/06\/ordinal-exponents-and-really-big-numbers\">&omega;<sub>0<\/sub> and &alefsym;<sub>0<\/sub><\/a>, and the fact that cardinals are much larger than the ordinals: the ordinals<br \/>\nare all inevitably countable: position is always a countably infinite value.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>I was visiting my mom, and discovered that I didn&#8217;t leave my set theory book on the train; I left it at her house. So I&#8217;ve been happily reunited with my old text, and I&#8217;m going to get back to a few more posts about the beautiful world of set theory. When you talk about [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"jetpack_post_was_ever_published":false,"_jetpack_newsletter_access":"","_jetpack_dont_email_post_to_subs":false,"_jetpack_newsletter_tier_id":0,"_jetpack_memberships_contains_paywalled_content":false,"_jetpack_memberships_contains_paid_content":false,"footnotes":"","jetpack_publicize_message":"","jetpack_publicize_feature_enabled":true,"jetpack_social_post_already_shared":false,"jetpack_social_options":{"image_generator_settings":{"template":"highway","default_image_id":0,"font":"","enabled":false},"version":2}},"categories":[56],"tags":[],"class_list":["post-545","post","type-post","status-publish","format-standard","hentry","category-set-theory"],"jetpack_publicize_connections":[],"jetpack_featured_media_url":"","jetpack_shortlink":"https:\/\/wp.me\/p4lzZS-8N","jetpack_sharing_enabled":true,"jetpack_likes_enabled":true,"_links":{"self":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/545","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/comments?post=545"}],"version-history":[{"count":0,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/posts\/545\/revisions"}],"wp:attachment":[{"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/media?parent=545"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/categories?post=545"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/www.goodmath.org\/blog\/wp-json\/wp\/v2\/tags?post=545"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}