In BEAF notation, I have deduced that
$$f(a,0,0,0,0)\approx\{a,2,1,2\}$$
$$f(a,b,0,0,0)\approx\{a,b+1,2,2\}$$
$$f(a,b,1,0,0)\approx\underbrace{\{a,\{a,\{a,\{a,\{}_{\{a,b+1,2,2\}}\dots\}+1,2,2\}+1,2,2\}+1,2,2\}+1,2,2\}$$
$$f(a,b,c,0,0)\approx c\left\lbrace\tiny\underbrace{\{a,\{a,\{a,\{a,\{a,\...
@amWhy What notification? I saw the contest notice, have not submitted. Still need to try to get my head to intuitively compare growth rates. And I don't want to use anything that goes beyond predicative mathematics. Specifically, I have no issue with anything provable in ACA, but I do not automatically trust any program to terminate if it cannot be proven in ACA; I've to see the proof. =)
@SimplyBeautifulArt: Great. Time to start coding my second idea. I am 70% confident I have milked the first idea sufficiently. Unusually low confidence for me heheh...
@amWhy: I was a little concerned that you sounded offended by someone here. But you should participate and climb all the way up! Do you know programming?
@S.C.B. Not in any way whatsoever! You are very sharp, absolutely, but you are also humble (as am I), in the sense that you aren't anything like the braggart I'm thinking of at the moment. Keep doing exactly what you're doing. @user21820 You too.
@Starfall No way!! You're a great user, and be assured I would never describe you like I described another user above! Being young, in high-school, or as an undergrad, doesn't imply immaturity.
@Starfall Well, there are social sanctions that keep a lot of humans in-check. Some folks need no such sanctions, because it never occurs to them to denigrate another person. The vast majority, "the herd", need shepherds to keep them in line.
@amWhy my point is that you shouldn't be tentative about the prospect of saying this, if this is really what you think, simply because it comes across as inconsiderate
Well, I clearly have not expressed my thoughts very clearly. When I used the word "considerate" I meant nothing more, and nothing less, then "respect." People can disagree, and be respectul in doing so. People can disagree, and disrespect the person with whom they disagree.
Well, isn't it more socially beneficial if you try to pass it off? (though this is mainly Eastern culture style; never say anything bad, don't be direct,)
if what you are looking for is to get by while experiencing the minimum amount of social tension, it's probably a lot smarter to tell these kinds of white lies all the time
i think this is an important issue because i feel like this abstract ideal of "free speech" is being sabotaged de facto by the sensibilities of society, or even individuals
@Starfall And why to you think telling another person that "x", because that's what you believe, but may not be the truth, is okay? "Telling the truth" in such cases is no more than declaring the truth according to lil' ole me.
@Starfall: My above comment is why I do not agree with judging actions or words based merely on whether the doer/speaker believes it is correct/truthful.
@Starfall: I have zero respect to intentionally murderous people. So I can tell the truth or lie according to however I think is best for innocent people.
@user21820 well, if there were some contrived scenario where a perfectly respectable individual wanted to know something, but the human species would go extinct in the event of them coming to know this information, say
then it's obviously morally correct to lie to them
the conviction that people should be told the truth is not something absolute, it can be overriden by other, more pressing concerns
i disagree with most people about what i consider to be "pressing concerns" here
@Starfall I defined pressing concerns to be something that derides the social benefit in general, or will deride the potential for social benefit more than it guarantees social benefit.
Haha.. I think my ethical framework is simpler than most of those silly frameworks I see in various philosophies (I'm not going to lie and say they are wise (in my opinion of course)...) but it's still quite involved.
clearly, if we had infinite resources and infinite time and infinite everything, we would want everyone to be happy, but if we don't, the finiteness forces us to make choices, and these choices are largely about the distribution
every big decision a country makes probably makes a whole lot of people happy, and a whole lot of people unhappy, say
Well, that, or else return to what you all love most: mathematics, or logic. Because whatever "ethics" is or has to offer, isn't to be found among mathematicians, unless one can prove some quantified definition of happiness, or utility, that pasts muster outside of math, as well.
Basically, we talk about conscious beings here. Don't ask me to define "conscious"; use your 'common sense'. We define a being to be moral iff it does not intentionally cause harm to moral beings, and minimizes harm to immoral beings.
"harm to immoral beings" is defined to be what the being in question perceives to be harm to them. Namely, moral beings decide what is harm to them but immoral beings don't have that right.
This is merely a summary though. There are finer details but I need to go off soon.
=)
@Starfall,@S.C.B.,@amWhy,others: I welcome any probing or critique of my ethical framework, as I apply it in real life and wouldn't want to make ethical errors. If this room isn't suitable I also don't mind if you wish to come to the logic chat-room to continue. Though rather tangential, I believe to a certain extent logical reasoning helps to dissect ethical frameworks for possible inconsistencies. =)
@SimplyBeautifulArt I voluntarily asked to have the comment removed (flagged it and asked if any one of the network wide mods to remove it.) So I'm not sure what you're talking about.
In BEAF notation, I have deduced that
$$f(a,0,0,0,0)\approx\{a,2,1,2\}$$
$$f(a,b,0,0,0)\approx\{a,b+1,2,2\}$$
$$f(a,b,1,0,0)\approx\underbrace{\{a,\{a,\{a,\{a,\{}_{\{a,b+1,2,2\}}\dots\}+1,2,2\}+1,2,2\}+1,2,2\}+1,2,2\}$$
$$f(a,b,c,0,0)\approx c\left\lbrace\tiny\underbrace{\{a,\{a,\{a,\{a,\{a,\...
This is the Realm of Simply Beautiful…
This is the Realm of Simply Beautiful…