抱歉,您的浏览器无法访问本站
本页面需要浏览器支持(启用)JavaScript
了解详情 >

写下这篇文章的起源是在知乎上看到的一个回答[1]

很简单,就是硬抬杠。

举个例子,我说偶数跟正整数一样多,你就说怎么可能,正整数包含奇数和偶数,所以肯定正整数多。

我解释说偶数跟正整数存在一个一一映射,并且都含有无穷多元素,所以一样多。你就说我听不懂什么一一映射,我只知道我是你的两倍,所以肯定比你多。

那我解释,1对应2,2对应4,3对应6,一直这样下去,每个正整数都对应一个偶数。他就是不同意,说你说话就在放屁,我给你一百块,你给我两百块,一直这样我们看看最后谁的钱多?

我说这在有限的情况下是对的,但是无穷的情况下就不一定了。你就说无穷不就是特别大的数嘛,那我大一你倍不是大你更多?

我说wdnmd吧,你就说你怎么骂人呢?

在这个回答里,作者似乎把对于无法将无穷集合的等势理解成“一样多”的普通人思维当作抬杠。但这件事就真的只是抬杠这么肤浅吗?

原文链接


我以此题目在2012年11月的伦敦Haskell会议上做了演讲。演讲的视频见 YouTube ,幻灯片见 GitHub 。这篇是系列的第二部分;你可以在这里阅读第一部分

上一次我介绍了单位类型 Unit 或者 () 以及零类型 Void 。我同时还介绍了类型运算符 AddMul ,以及函数类型 a->b

原文链接


我以此题目在2012年11月的伦敦Haskell会议上做了演讲。演讲的视频见 YouTube ,幻灯片见 GitHub

在本系列文章中,我将在不提及范畴论和高等数学的情况下解释Haskell的数据类型为什么被称为 代数的

(高中毕业的暑假写的)
百度文库版


前言:

这是本人第一次写科普,解释可能并不很形象。建议知识水平在初中以上的读者阅读(高中水平以下的建议先阅读后面的注释[1])。本人水平有限,如有错误,欢迎各位指正。