Yeah, you're right. The theory is coming up with a syntax free language. Can you? On Apr 21, 2013 12:00 AM, "David Barbour" <dmbarb...@gmail.com> wrote:
> How is that a theory? Sounds like a design principle. > > > On Sat, Apr 20, 2013 at 9:42 PM, John Carlson <yottz...@gmail.com> wrote: > >> Here's my theory: reduce arguing with the compiler to minimum. This >> means reducing programmers' syntax errors. Only add syntax to reduce >> errors (the famous FORTRAN do loop error). The syntax that creates errors >> should be removed. >> On Apr 20, 2013 11:18 PM, "John Carlson" <yottz...@gmail.com> wrote: >> >>> I think it's better to work from examples, ala JUnit and end-user >>> programming than come up with a theory that solves nothing. One can >>> compare EGGG to GDL in scope and expressiveness. One interesting part of >>> gaming is arguing about rules. What computer systems do that? >>> On Apr 20, 2013 11:09 PM, "John Carlson" <yottz...@gmail.com> wrote: >>> >>>> Practice or practical? Maybe there's space for practical theory, >>>> instead of relying on things that don't exist. Why do we distinguish >>>> practice from theory? Seems like a fallacy there. >>>> On Apr 20, 2013 10:51 PM, "David Barbour" <dmbarb...@gmail.com> wrote: >>>> >>>>> only in practice >>>>> >>>>> >>>>> On Sat, Apr 20, 2013 at 8:23 PM, John Carlson <yottz...@gmail.com>wrote: >>>>> >>>>>> Take my word for it, theory comes down to Monday Night Football on >>>>>> ESPN. >>>>>> On Apr 20, 2013 10:13 PM, "John Carlson" <yottz...@gmail.com> wrote: >>>>>> >>>>>>> I think that concepts in some sense transcend the universe. Are >>>>>>> there more digits in pi than there are atoms in the universe? I guess >>>>>>> we >>>>>>> are asking if there are transcendental volumes which are bigger or more >>>>>>> complex than the universe. If the universe contains the transcendental >>>>>>> as >>>>>>> symbols then how many transcendental symbols are there? I think you >>>>>>> still >>>>>>> run into Russell's Paradox. >>>>>>> On Apr 20, 2013 9:15 PM, "Simon Forman" <forman.si...@gmail.com> >>>>>>> wrote: >>>>>>> >>>>>>>> On 4/20/13, John Carlson <yottz...@gmail.com> wrote: >>>>>>>> > Do you need one symbol for the number infinity and another for >>>>>>>> denoting >>>>>>>> > that a set is inifinite? Or do you just reason about the size of >>>>>>>> the set? >>>>>>>> > Is there a difference between a set that is countably infinite >>>>>>>> and one that >>>>>>>> > isn't countable? I barely know Russell's paradox... you're ahead >>>>>>>> of me. >>>>>>>> >>>>>>>> Well, for what it's worth, quoting from Meguire's 2007 "Boundary >>>>>>>> Algebra: A Simple Notation for Boolean Algebra and the Truth >>>>>>>> Functors": >>>>>>>> >>>>>>>> "Let U be the universal set, a,b∈U, and ∅ be the null set. Then the >>>>>>>> columns headed by “Sets” show how the algebra of sets and the pa are >>>>>>>> equivalent. >>>>>>>> >>>>>>>> Table 4-2. The 10 Nontrivial Binary Connectives (Functors). >>>>>>>> >>>>>>>> Name Logic Sets BA >>>>>>>> >>>>>>>> Alternation a∨b a∪b ab >>>>>>>> Conditional a→b a⊆b (a)b >>>>>>>> Converse a←b a⊇b a(b) >>>>>>>> Conjunction a∧b a∩b ((a)(b)) >>>>>>>> ___ >>>>>>>> NOR a↓b a∪b (ab) >>>>>>>> ___ >>>>>>>> Sheffer stroke a|b a∩b (a)(b) >>>>>>>> >>>>>>>> Biconditional a↔b a⊆b⊆a (((a)b)(a(b))) -or- ((a)(b))(ab) >>>>>>>> >>>>>>>> (Apologies if the Unicode characters got mangled!) >>>>>>>> >>>>>>>> Check out http://www.markability.net/sets.htm also. >>>>>>>> >>>>>>>> >>>>>>>> I don't know much about set theory but I think the "Universal" set >>>>>>>> stands for the set of everything, no? >>>>>>>> >>>>>>>> Cheers, >>>>>>>> ~Simon >>>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> >>>>>>>> "The history of mankind for the last four centuries is rather like >>>>>>>> that of >>>>>>>> an imprisoned sleeper, stirring clumsily and uneasily while the >>>>>>>> prison that >>>>>>>> restrains and shelters him catches fire, not waking but >>>>>>>> incorporating the >>>>>>>> crackling and warmth of the fire with ancient and incongruous >>>>>>>> dreams, than >>>>>>>> like that of a man consciously awake to danger and opportunity." >>>>>>>> --H. P. Wells, "A Short History of the World" >>>>>>>> _______________________________________________ >>>>>>>> fonc mailing list >>>>>>>> fonc@vpri.org >>>>>>>> http://vpri.org/mailman/listinfo/fonc >>>>>>>> >>>>>>> >>>>>> _______________________________________________ >>>>>> fonc mailing list >>>>>> fonc@vpri.org >>>>>> http://vpri.org/mailman/listinfo/fonc >>>>>> >>>>>> >>>>> >>>>> _______________________________________________ >>>>> fonc mailing list >>>>> fonc@vpri.org >>>>> http://vpri.org/mailman/listinfo/fonc >>>>> >>>>> >> _______________________________________________ >> fonc mailing list >> fonc@vpri.org >> http://vpri.org/mailman/listinfo/fonc >> >> > > _______________________________________________ > fonc mailing list > fonc@vpri.org > http://vpri.org/mailman/listinfo/fonc > >
_______________________________________________ fonc mailing list fonc@vpri.org http://vpri.org/mailman/listinfo/fonc
