Re: The definition of "set' and " membership "
- From: Marshall <marshall.spight@xxxxxxxxx>
- Date: Sun, 27 Apr 2008 08:32:26 -0700 (PDT)
On Apr 27, 7:29 am, J Jones <jonescard...@xxxxxxx> wrote:
Are you nicking any of my stuff on heaps and sets? Didn't I say that a
set is defined by its name? Where's your recognition of that?
Nominalism is many centuries old. Although it's not in
use in ZFC, there are many programming languages
that use nominal type systems. In fact that's the most
common way of doing things in programming languages.
Marshall
.
- References:
- The definition of "set' and " membership "
- From: Zaljohar
- Re: The definition of "set' and " membership "
- From: J Jones
- The definition of "set' and " membership "
- Prev by Date: Re: Question for proof theory specialist: use of inconsistency detectable?
- Next by Date: Re: Godel proved maths inconsistent not incompleteness theorem
- Previous by thread: Re: The definition of "set' and " membership "
- Next by thread: Re: The definition of "set' and " membership "
- Index(es):