I mean just try to count 2 things. You can say negative one, zero, one, two, but you are just saying things, you already know how much there are since you can see.
To break from the joke for a second, this is based on the fact that the ancient Greeks didn't consider 1 a prime number because they didn't consider 1 to be a number at all.
i'm not familiar with axiom based proofs really, all of the proofs i've done so far have had a lot more theorems involved in the proofs rather than just being based on a few fundamental axioms
Hm, would a lambda calculus based proof be potentially interesting? like given the two (three?) of application and abstraction (and what else), prove that one expression is equivalent to another
sounds like it has potential but i suck at lambda calculus despite having to use it in a uni course
Well I think it is about time we have another proof-golf question.
This time we are going to prove the well known logical truth
\$(A \rightarrow B) \rightarrow (\neg B \rightarrow \neg A)\$
To do this we will use Łukasiewicz's third Axiom Schema, an incredibly elegant set of three axioms that ...
the problem with being faster than light is that you live in darkness; that is to say, with New Posts and being able to see and delete posts so fast, they don't get sent to the review queue so I don't get the task completion
I've cooked up a few king-of-the-hill challenges, mostly in the sandbox, and a few of them are asymmetric in nature.
They're not really cops-and-robbers because it's not really about cracking a code, nor is it a meta-challenge that you might expect from the more common idea of Cops and Robbers (n...
if rep on SE became worth any material value i suspect voting irregularities would become a much larger problem and sites like SO would get like double the mod work
just got caird's 30m old answer in the new posts. lmao
it frequently does some interesting things. overall really nice tho so still +1
Which is why every question on MM saying "Can we allow people to buy reputation?" or "Can we spend reputation to buy things at the SE store?" are heavily downvoted
buying rep is a totally nonsense idea. spending rep for IRL things would probably not totally break all of SE but if you could buy rep for money then uh
imagine if bots could spend a small amount of money to buy, say, 14 reputation, to get to 15 reputation, which is the reputation requirement for flagging posts
you know how spammers can post spam and that's about all they do?
imagine spammers but with the ability to redflag posts
So, suppose I have a friend with a hypothetical finger with which I could press a hypothetical mouse with which I could click a hypothetical upvote button and make a hypothetical person happy, would you be willing to utilize my friend's hypothetical finger in exchange for some hypothetical green sheets of cotton?
now, hypothetically, for the sake of argument, if you hypothetically traded these hypothetical upvotes for hypothetical sheets of cotton, suppose I hypothetically had a button that hypothetically disables a hypothetical user account for a year, hypothetically (/s)
Are You My Mother? (very WIP)
king-of-the-hill
(coincidentally, thought up around mother's day)
Oh no! All the newly-hatched ducklings have been mixed together, and they all look the same! The ducklings want to reunite with their own mother. But the mothers are also selfish and want as many duck...
@user Hypothetically, if I clicked an upvote button on a hypothetical user's answer, what are the hypothetical odds that that user would hypothetically do the same on one of my answers? :P
@ngn Definitely not. The algebraic closure of GF(p) is infinite, for instance, while GF(p)[i] is finite. For some primes (p=5, for example), GF(p)[i]=GF(p), since there already is a square root of -1 mod p.
According to my reputation page, I have "earned at least 200 reputation on 39 days". However, my progress tracker for Epic (earn 200 reputation on 50 days) is at 48/50 :P
Reveal by Quarters (in need of a better name)
array-manipulation code-golf
Inspired by this: http://nolandc.com/smalljs/mouse_reveal/ (source).
A valid answer:
Takes a number
\$w\$ and a coordinate pair \$(x, y)\$.
Outputs a two-dimensional integer array with a width and height of \$2^w\$.
This ...