\u7ee7\u7eed\u542c\u90a3\u8bfe\u7a0b\uff08\u6211\u901f\u5ea6\u591f\u6162\u7684\u554a\u3002\u3002\uff09<\/p>\n
\u7ecf\u5178\u7684\u201c\u81ea\u7136\u6570\u7684\u96c6\u5408\u4e0e\u5076\u6570\u7684\u96c6\u5408\u8c01\u6bd4\u8f83\u5927\u201d\u7684\u95ee\u9898\uff08\u539f\u6765\u662f\u4f3d\u91cc\u7565\u7b2c\u4e00\u4e2a\u63d0\u51fa\u6765\u7684\u5440\uff09\u3002\u4e4b\u524d\u7565\u6709\u8033\u95fb\u3002\u4f46\u8fd9\u4e2a\u8bfe\u7a0b\u628a\u5b83\u8bb2\u5f97\u7279\u522b\u6e05\u695a\u3002<\/p>\n
\u524d\u63d01: \u82e5A\u662fB\u7684\u771f\u5b50\u96c6\uff08A\u7684\u6240\u6709\u6210\u5458\u90fd\u5c5e\u4e8eB\uff0c\u4e14B\u5185\u6709\u4e0d\u5c5e\u4e8eA\u7684\u6210\u5458\uff09\uff0c\u5219B\u7684size\u6bd4A\u5927
\n\u524d\u63d02: \u82e5A\u548cB\u5404\u81ea\u7684\u6210\u5458\u80fd\u4e00\u4e00\u5bf9\u5e94\uff0c\u5219A\u548cB\u7684size\u4e00\u6837\u5927
\n\u524d\u63d03: \u5047\u8bbeA\u662f\u5076\u6570\u7684\u96c6\u5408\uff0cB\u662f\u81ea\u7136\u6570\u7684\u96c6\u5408
\n\u524d\u63d04: A\u7684\u6210\u5458\u53ef\u4ee5\u4e0eB\u7684\u6210\u5458\u8fd9\u6837\u5bf9\u5e94\uff1aa=2b
\n\u7ed3\u8bba\uff1a\u75311\u548c3\u5f97\u51faB\u6bd4A size\u5927\uff1b\u75312\u548c4\u5f97\u51faA\u548cB size\u4e00\u6837<\/p>\n
\u8fd9\u4e2a\u4e92\u76f8\u77db\u76fe\u7684\u7ec4\u5408\uff0c\u8bf4\u660e\u524d\u63d0\u91cc\u6709\u9700\u8981\u4e22\u6389\u7684\u4e1c\u897f\u3002\u90a3\u4e48\u4f60\u4f1a\u5e9f\u6389\u54ea\u4e2a\u524d\u63d0\u5462\uff1f<\/p>\n
\u56e0\u4e3a\u4e4b\u524d\u8bfb\u5230\u8fc7\u5e76\u4e14\u5370\u8c61\u5f88\u6df1\u523b\uff0c\u89c9\u5f97\u7528\u6620\u5c04\u6765\u53cd\u6620\u96c6\u5408\u7684\u5927\u5c0f\u662f\u5f88\u6709\u610f\u4e49\u7684\u505a\u6cd5\uff0c\u6240\u4ee5\u9009\u4e86\u5e9f\u63891\u3002\u8bfe\u7a0b\u91cc\u7684\u89e3\u91ca\u975e\u5e38\u5230\u4f4d\u3002<\/p>\n
\u4f3d\u91cc\u7565\u5bf9\u8fd9\u4e2a\u6096\u8bba\u6700\u7ec8\u7684\u89e3\u51b3\u65b9\u6cd5\u662f\uff0c\u5bf9\u4e8e\u65e0\u7a77\u96c6\u5408\uff0c\u4e0d\u8981\u53bb\u8bb2size\uff0c\u6ca1\u610f\u4e49\u3002\u540e\u6765\u6709\u4eba\u8bf4\uff0c\u662f\u4e0d\u662f1\u548c2\u91cc\u7684\u5927\u5c0f\uff0c\u662f\u4e24\u79cd\u5927\u5c0f\uff1f\u6211\u4eec\u53ef\u4ee5\u8bf4A is less1 than B, A is equal2 to B\u3002\u518d\u540e\u6765\uff0c\u5eb7\u6258\u53d1\u73b0\uff0c2\u7684\u6bd4\u8f83\u65b9\u6cd5\u80fd\u81ea\u5706\u5176\u8bf4\uff0c\u5e76\u4e14\u66f4illuminating.<\/p>\n
\u8fd9\u91cc\u8bb2\u5230\u4e00\u4e2a\u6982\u5ff5\u4e4b\u524d\u4ece\u6765\u6ca1\u6709\u542c\u8bf4\u8fc7\u3002\u5b9e\u9645\u4e0a\uff0c\u53ef\u4ee5\u8fd9\u6837\u5b9a\u4e49\u65e0\u7a77\u96c6\u5408\uff1aX\u662f\u65e0\u7a77\u96c6\u5408\u5f53\u4e14\u4ec5\u5f53X\u7684size\u548c\u81ea\u5df1\u7684\u67d0\u4e2a\u5b50\u96c6\u4e00\u6837\u5927\u3002<\/p>\n
\u6240\u4ee5\u65e0\u7a77\u96c6\u5408\u6709\u8fd9\u79cd\u201c\u8ddf\u81ea\u8eab\u76f8\u4f3c\u201d\u7684\u6027\u8d28\u2014\u2014\u8fd9\u548c\u5206\u5f62\u76f8\u4f3c\u3002<\/p>\n
\u5f53\u521d\u5728\u56fe\u7075\u4f20\u91cc\u8bfb\u5230\u5eb7\u6258\u7684\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u3002\u6211\u8c8c\u4f3c\u5df2\u7ecf\u5fd8\u8bb0\u5728\u56fe\u7075\u4f20\u91cc\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u662f\u5e72\u5565\u7528\u7684\u4e86\u3002\u4f46\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u7684\u8fd9\u79cd\u80fd\u9020\u51fa\u4e00\u4e2a\u4e0d\u5c5e\u4e8e\u539f\u5217\u8868\u7684\u6210\u5458\u7684\u8fc7\u7a0b\uff0c\u8ba9\u4eba\u60f3\u8d77\u54e5\u5fb7\u5c14\u5b9a\u7406\u3002\uff08\u6211\u4e5f\u5fd8\u8bb0\u300a\u54e5\u5fb7\u5c14\u7684\u8bc1\u660e\u300b\u91cc\u6709\u6ca1\u6709\u63d0\u5230\u5bf9\u89d2\u7ebf\u539f\u7406\u4e86\u3002\u3002\u3002\uff09<\/p>\n
Anyway\uff0c\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u8bc1\u660e\u4e86\u5b9e\u6570\u7684\u96c6\u5408\u5927\u4e8e\u81ea\u7136\u6570\u7684\u96c6\u5408\u3002\u5047\u5982\u8bf4\u6211\u505a\u4e86\u4e00\u4e2a\u81ea\u7136\u6570\u548c\u5b9e\u6570\u7684\u4e00\u5bf9\u4e00mapping\uff0c\u90a3\u901a\u8fc7\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u5c31\u4e00\u5b9a\u80fd\u9020\u51fa\u4e00\u4e2a\u4e0d\u5c5e\u4e8e\u4f60\u54ea\u4e2amapping\u8fc7\u7684\u5b9e\u6570\u5217\u8868\u91cc\u7684\u6709\u7406\u6570\uff0c\u8fd9\u5c31\u8bf4\u660e\u5b9e\u6570\u7684\u96c6\u5408\u5927\u4e8e\u81ea\u7136\u6570\u3002<\/p>\n
\u5eb7\u6258\u8fd8\u8bf4\uff0c\u65e0\u7a77\u96c6\u5408\u7684\u5927\u5c0f\uff0c\u4e5f\u662f\u65e0\u7a77\u7684\u3002\u4ed6\u53d1\u660e\u4e86\u4e00\u79cd\u6570\u53eb\u505atransfinite cardinal numbers\uff0c\u7528\u6765\u6807\u8bb0\u65e0\u7a77\u96c6\u5408\u7684size\u3002<\/p>\n
\u5e0c\u5c14\u4f2f\u7279\u8bf4\uff0c\u5eb7\u6258\u7684\u5929\u5802\u5c31\u662f\u4ec0\u4e48\u90fd\u80fd\u5bb9\u7eb3\u7684\u3002\uff08\u8fd9\u8ba9\u6211\u7a7f\u8d8a\u5230\u4e86graceland\u7684\u6b4c\u8bcd\u554a\u3002\uff09<\/p>\n
\u7b2c\u4e00\u7ae0\uff08\u7b2c\u4e00\u5468\u7684\u8bfe\u7a0b\uff09\u662f\u5173\u4e8e\u65e0\u7a77\u8fd9\u4e2a\u6982\u5ff5\uff0c\u5b83\u7ed3\u675f\u4e86\u3002\u8fd9\u65b9\u9762\u7ed9\u6211\u7684\u611f\u89c9\u662f\uff0c\u4eba\u7c7b\u51e0\u5343\u5e74\u7684\u6587\u660e\uff0c\u600e\u4e48\u624d\u5f00\u59cb\u7814\u7a76\u65e0\u7a77\u5462\u3002\u3002\u3002<\/p>\n
\u8fd9\u4e2a\u8bfe\u7a0b\u771f\u5fc3\u8bb2\u5f97\u975e\u5e38\u7684\u597d\u3002\u4e0b\u4e00\u7ae0\u8981\u8bb2\u5230GEB\u91cc\u6211\u6ca1\u8bfb\u660e\u767d\u7684Taski\u4e86\u3002\u62ed\u76ee\u4ee5\u5f85\u3002<\/p>\n","protected":false},"excerpt":{"rendered":"
\u7ee7\u7eed\u542c\u90a3\u8bfe\u7a0b\uff08\u6211\u901f\u5ea6\u591f\u6162\u7684\u554a\u3002\u3002\uff09 \u7ecf\u5178\u7684\u201c\u81ea\u7136\u6570\u7684\u96c6\u5408\u4e0e\u5076\u6570\u7684\u96c6\u5408\u8c01\u6bd4\u8f83\u5927\u201d\u7684\u95ee\u9898\uff08\u539f\u6765\u662f\u4f3d\u91cc\u7565\u7b2c\u4e00\u4e2a\u63d0\u51fa\u6765\u7684\u5440\uff09\u3002\u4e4b\u524d\u7565\u6709\u8033\u95fb\u3002\u4f46\u8fd9\u4e2a\u8bfe\u7a0b\u628a\u5b83\u8bb2\u5f97\u7279\u522b\u6e05\u695a\u3002 \u524d\u63d01: \u82e5A\u662fB\u7684\u771f\u5b50\u96c6\uff08A\u7684\u6240\u6709\u6210\u5458\u90fd\u5c5e\u4e8eB\uff0c\u4e14B\u5185\u6709\u4e0d\u5c5e\u4e8eA\u7684\u6210\u5458\uff09\uff0c\u5219B\u7684size\u6bd4A\u5927 \u524d\u63d02: \u82e5A\u548cB\u5404\u81ea\u7684\u6210\u5458\u80fd\u4e00\u4e00\u5bf9\u5e94\uff0c\u5219A\u548cB\u7684size\u4e00\u6837\u5927 \u524d\u63d03: \u5047\u8bbeA\u662f\u5076\u6570\u7684\u96c6\u5408\uff0cB\u662f\u81ea\u7136\u6570\u7684\u96c6\u5408 \u524d\u63d04: A\u7684\u6210\u5458\u53ef\u4ee5\u4e0eB\u7684\u6210\u5458\u8fd9\u6837\u5bf9\u5e94\uff1aa=2b \u7ed3\u8bba\uff1a\u75311\u548c3\u5f97\u51faB\u6bd4A size\u5927\uff1b\u75312\u548c4\u5f97\u51faA\u548cB size\u4e00\u6837 \u8fd9\u4e2a\u4e92\u76f8\u77db\u76fe\u7684\u7ec4\u5408\uff0c\u8bf4\u660e\u524d\u63d0\u91cc\u6709\u9700\u8981\u4e22\u6389\u7684\u4e1c\u897f\u3002\u90a3\u4e48\u4f60\u4f1a\u5e9f\u6389\u54ea\u4e2a\u524d\u63d0\u5462\uff1f \u56e0\u4e3a\u4e4b\u524d\u8bfb\u5230\u8fc7\u5e76\u4e14\u5370\u8c61\u5f88\u6df1\u523b\uff0c\u89c9\u5f97\u7528\u6620\u5c04\u6765\u53cd\u6620\u96c6\u5408\u7684\u5927\u5c0f\u662f\u5f88\u6709\u610f\u4e49\u7684\u505a\u6cd5\uff0c\u6240\u4ee5\u9009\u4e86\u5e9f\u63891\u3002\u8bfe\u7a0b\u91cc\u7684\u89e3\u91ca\u975e\u5e38\u5230\u4f4d\u3002 \u4f3d\u91cc\u7565\u5bf9\u8fd9\u4e2a\u6096\u8bba\u6700\u7ec8\u7684\u89e3\u51b3\u65b9\u6cd5\u662f\uff0c\u5bf9\u4e8e\u65e0\u7a77\u96c6\u5408\uff0c\u4e0d\u8981\u53bb\u8bb2size\uff0c\u6ca1\u610f\u4e49\u3002\u540e\u6765\u6709\u4eba\u8bf4\uff0c\u662f\u4e0d\u662f1\u548c2\u91cc\u7684\u5927\u5c0f\uff0c\u662f\u4e24\u79cd\u5927\u5c0f\uff1f\u6211\u4eec\u53ef\u4ee5\u8bf4A is less1 than B, A is equal2 to B\u3002\u518d\u540e\u6765\uff0c\u5eb7\u6258\u53d1\u73b0\uff0c2\u7684\u6bd4\u8f83\u65b9\u6cd5\u80fd\u81ea\u5706\u5176\u8bf4\uff0c\u5e76\u4e14\u66f4illuminating. \u8fd9\u91cc\u8bb2\u5230\u4e00\u4e2a\u6982\u5ff5\u4e4b\u524d\u4ece\u6765\u6ca1\u6709\u542c\u8bf4\u8fc7\u3002\u5b9e\u9645\u4e0a\uff0c\u53ef\u4ee5\u8fd9\u6837\u5b9a\u4e49\u65e0\u7a77\u96c6\u5408\uff1aX\u662f\u65e0\u7a77\u96c6\u5408\u5f53\u4e14\u4ec5\u5f53X\u7684size\u548c\u81ea\u5df1\u7684\u67d0\u4e2a\u5b50\u96c6\u4e00\u6837\u5927\u3002 \u6240\u4ee5\u65e0\u7a77\u96c6\u5408\u6709\u8fd9\u79cd\u201c\u8ddf\u81ea\u8eab\u76f8\u4f3c\u201d\u7684\u6027\u8d28\u2014\u2014\u8fd9\u548c\u5206\u5f62\u76f8\u4f3c\u3002 \u5f53\u521d\u5728\u56fe\u7075\u4f20\u91cc\u8bfb\u5230\u5eb7\u6258\u7684\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u3002\u6211\u8c8c\u4f3c\u5df2\u7ecf\u5fd8\u8bb0\u5728\u56fe\u7075\u4f20\u91cc\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u662f\u5e72\u5565\u7528\u7684\u4e86\u3002\u4f46\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u7684\u8fd9\u79cd\u80fd\u9020\u51fa\u4e00\u4e2a\u4e0d\u5c5e\u4e8e\u539f\u5217\u8868\u7684\u6210\u5458\u7684\u8fc7\u7a0b\uff0c\u8ba9\u4eba\u60f3\u8d77\u54e5\u5fb7\u5c14\u5b9a\u7406\u3002\uff08\u6211\u4e5f\u5fd8\u8bb0\u300a\u54e5\u5fb7\u5c14\u7684\u8bc1\u660e\u300b\u91cc\u6709\u6ca1\u6709\u63d0\u5230\u5bf9\u89d2\u7ebf\u539f\u7406\u4e86\u3002\u3002\u3002\uff09 Anyway\uff0c\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u8bc1\u660e\u4e86\u5b9e\u6570\u7684\u96c6\u5408\u5927\u4e8e\u81ea\u7136\u6570\u7684\u96c6\u5408\u3002\u5047\u5982\u8bf4\u6211\u505a\u4e86\u4e00\u4e2a\u81ea\u7136\u6570\u548c\u5b9e\u6570\u7684\u4e00\u5bf9\u4e00mapping\uff0c\u90a3\u901a\u8fc7\u5bf9\u89d2\u7ebf\u65b9\u6cd5\u5c31\u4e00\u5b9a\u80fd\u9020\u51fa\u4e00\u4e2a\u4e0d\u5c5e\u4e8e\u4f60\u54ea\u4e2amapping\u8fc7\u7684\u5b9e\u6570\u5217\u8868\u91cc\u7684\u6709\u7406\u6570\uff0c\u8fd9\u5c31\u8bf4\u660e\u5b9e\u6570\u7684\u96c6\u5408\u5927\u4e8e\u81ea\u7136\u6570\u3002 \u5eb7\u6258\u8fd8\u8bf4\uff0c\u65e0\u7a77\u96c6\u5408\u7684\u5927\u5c0f\uff0c\u4e5f\u662f\u65e0\u7a77\u7684\u3002\u4ed6\u53d1\u660e\u4e86\u4e00\u79cd\u6570\u53eb\u505atransfinite cardinal numbers\uff0c\u7528\u6765\u6807\u8bb0\u65e0\u7a77\u96c6\u5408\u7684size\u3002 \u5e0c\u5c14\u4f2f\u7279\u8bf4\uff0c\u5eb7\u6258\u7684\u5929\u5802\u5c31\u662f\u4ec0\u4e48\u90fd\u80fd\u5bb9\u7eb3\u7684\u3002\uff08\u8fd9\u8ba9\u6211\u7a7f\u8d8a\u5230\u4e86graceland\u7684\u6b4c\u8bcd\u554a\u3002\uff09 \u7b2c\u4e00\u7ae0\uff08\u7b2c\u4e00\u5468\u7684\u8bfe\u7a0b\uff09\u662f\u5173\u4e8e\u65e0\u7a77\u8fd9\u4e2a\u6982\u5ff5\uff0c\u5b83\u7ed3\u675f\u4e86\u3002\u8fd9\u65b9\u9762\u7ed9\u6211\u7684\u611f\u89c9\u662f\uff0c\u4eba\u7c7b\u51e0\u5343\u5e74\u7684\u6587\u660e\uff0c\u600e\u4e48\u624d\u5f00\u59cb\u7814\u7a76\u65e0\u7a77\u5462\u3002\u3002\u3002 \u8fd9\u4e2a\u8bfe\u7a0b\u771f\u5fc3\u8bb2\u5f97\u975e\u5e38\u7684\u597d\u3002\u4e0b\u4e00\u7ae0\u8981\u8bb2\u5230GEB\u91cc\u6211\u6ca1\u8bfb\u660e\u767d\u7684Taski\u4e86\u3002\u62ed\u76ee\u4ee5\u5f85\u3002<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[262],"tags":[139,141,146],"class_list":["post-587","post","type-post","status-publish","format-standard","hentry","category-262","tag-coursera","tag-math","tag-philosophy"],"_links":{"self":[{"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/posts\/587","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=587"}],"version-history":[{"count":1,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/posts\/587\/revisions"}],"predecessor-version":[{"id":588,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=\/wp\/v2\/posts\/587\/revisions\/588"}],"wp:attachment":[{"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=587"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=%2Fwp%2Fv2%2Fcategories&post=587"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blog.miahavero.me\/index.php?rest_route=%2Fwp%2Fv2%2Ftags&post=587"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}