I think it would be neat to have a language that allowed variable names like "MAX-CONNECTIONS". Most languages won't allow that because of the hyphen being the minus operator. If the language enforced whitespace between variables and operators (which I'm not sure I would like, even though I always include that whitespace), the compiler would be able to tell the difference between a variable "MAX-CONNECTIONS" and subtracting one variable from another "MAX - CONNECTIONS".
Would this just be too ambiguous or would you entertain the idea of a language that allowed this?
I don't know what it is, but I dislike underscores.
Name:
Anonymous2013-04-11 14:24
ONE WORD, FORCED WHITESPACING OF THE CODE, THREAD OVER!
Name:
Anonymous2013-04-11 14:26
That's a brilliant idea for a language. I think I'll call it Lisp, after the way faggots talk.
When considering these large objects, we might also want to see if the notion of counting order coincides with that of cardinal defined above for these infinite sets. It happens that it doesn't; by considering the above example we can see that if some object "one greater than infinity" exists, then it must have the same cardinality as the infinite set we started out with. It is possible to use a different formal notion for number, called ordinals, based on the ideas of counting and considering each number in turn, and we discover that the notions of cardinality and ordinality are divergent once we move out of the finite numbers.
Name:
Anonymous2013-08-31 8:40
However, recent readings of the Archimedes Palimpsest have hinted that Archimedes at least had an intuition about actual infinite quantities.
Name:
Anonymous2013-08-31 9:26
In logic an infinite regress argument is "a distinctively philosophical kind of argument purporting to show that a thesis is defective because it generates an infinite series when either (form A) no such series exists or (form B) were it to exist, the thesis would lack the role (e.g., of justification) that it is supposed to play."
Name:
Anonymous2013-08-31 10:11
Set theory is also a promising foundational system for much of mathematics. Since the publication of the first volume of Principia Mathematica, it has been claimed that most or even all mathematical theorems can be derived using an aptly designed set of axioms for set theory, augmented with many definitions, using first or second order logic.
Name:
Anonymous2013-08-31 10:57
To give an informal example, for any (even infinite) collection of pairs of shoes, one can pick out the left shoe from each pair to obtain an appropriate selection, but for an infinite collection of pairs of socks (assumed to have no distinguishing features), such a selection can be obtained only by invoking the axiom of choice.