/prog/ - We need more people here on /prog/

Name: !LispWizard 2009-07-22 22:14

Im gonna go do some advertising...

Name: !MILKRIBS4k 2009-07-22 22:15

>>1
Wherever there is a tripcode failure, MILKRIBS4k will be there!

Name: Anonymous 2009-07-22 23:31

>>1
Why? More people means more idiots. Don't we have enough?

Name: Anonymous 2009-07-23 11:59

lololol i'm not an idiot see i can scratch things out on the interwebs ~~i love apple computers~~

Name: !LispWizard 2009-07-23 13:49

the game

also i love cawlk

Name: Anonymous 2009-07-24 5:07

http://twitter.com/smashmasta86/statuses/2647193650

Name: 2010-10-25 0:08

Name: Anonymous 2011-02-02 22:53

Name: Anonymous 2013-08-31 7:51

which is one-to-one, and hence conclude that Y has cardinality greater than or equal to X. Note the element d has no element mapping to it, but this is permitted as we only require a one-to-one mapping, and not necessarily a one-to-one and onto mapping. The advantage of this notion is that it can be extended to infinite sets.

Name: Anonymous 2013-08-31 8:36

Ancient cultures had various ideas about the nature of infinity. The ancient Indians and Greeks, unable to codify infinity in terms of a formalized mathematical system, approached infinity as a philosophical concept.

Name: Anonymous 2013-08-31 9:22

The two-dimensional surface of the Earth, for example, is finite, yet has no edge. By travelling in a straight line one will eventually return to the exact spot one started from. The universe, at least in principle, might have a similar topology. If so, one might eventually return to one's starting point after travelling in a straight line through the universe for long enough.

Name: Anonymous 2013-08-31 10:07

Systems of constructive set theory, such as CST, CZF, and IZF, embed their set axioms in intuitionistic logic instead of first order logic. Yet other systems accept standard first order logic but feature a nonstandard membership relation. These include rough set theory and fuzzy set theory, in which the value of an atomic formula embodying the membership relation is not simply True or False. The Boolean-valued models of ZFC are a related subject.

Name: Anonymous 2013-08-31 10:53

In other set theories, such as New Foundations or the theory of semisets, the concept of "proper class" still makes sense (not all classes are sets) but the criterion of sethood is not closed under subsets. For example, any set theory with a universal set has proper classes which are subclasses of sets.

We need more people here on /prog/

1 Name: !LispWizard 2009-07-22 22:14

2 Name: !MILKRIBS4k 2009-07-22 22:15

3 Name: Anonymous 2009-07-22 23:31

4 Name: Anonymous 2009-07-23 11:59

5 Name: !LispWizard 2009-07-23 13:49

6 Name: Anonymous 2009-07-24 5:07

7 Name: ​​​​​​​​​​ 2010-10-25 0:08

9 Name: Anonymous 2011-02-02 22:53

10 Name: Anonymous 2013-08-31 7:51

11 Name: Anonymous 2013-08-31 8:36

12 Name: Anonymous 2013-08-31 9:22

13 Name: Anonymous 2013-08-31 10:07

14 Name: Anonymous 2013-08-31 10:53