| From: | Robert Haas <robertmhaas(at)gmail(dot)com> |
|---|---|
| To: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
| Cc: | Jeff Davis <pgsql(at)j-davis(dot)com>, Scott Bailey <artacus(at)comcast(dot)net>, hackers <pgsql-hackers(at)postgresql(dot)org> |
| Subject: | Re: Range types |
| Date: | 2009-12-14 19:39:28 |
| Message-ID: | 603c8f070912141139q66700df3k7aadd4569a6a415e@mail.gmail.com |
| Views: | Raw Message | Whole Thread | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-hackers |
On Mon, Dec 14, 2009 at 2:23 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:
> It's been too long since college math classes for me to be sure whether
> "discrete" is really the exact term here. But I'm even more suspicious
> of "countable". I think a suitable diagonalization argument might show
> that strings are countable. That's getting a bit off-topic though...
It's actually a dovetailing argument, not a diagonalization argument,
but yes, the set of strings is most certainly countable.
...Robert (former CS theory teaching assistant)
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Jeff Davis | 2009-12-14 19:42:01 | Re: Range types |
| Previous Message | Bernd Helmle | 2009-12-14 19:33:12 | Re: [patch] executor and slru dtrace probes |