Similar questions with Write, phrase, slogan, pithy, statement, tee, shirt
|
|
Q:
Write a phrase/slogan/pithy statement for a tee-shirt.
1. If you wrote the phrase yourself, say so.
2. If you found a cool quote somewhere, give the proper credit.
(3 answers
- asked 33 months ago)
|
|
A: "We Girls Can Do Anything"
This is a slogan that Barbie ® uses! I think it is great, maybe I'll have a tee made up for myself 
|
|
|
Q:
How to find a specific tee shirt by manufacturer (Take Two Clothing) for bulk order
Found specific tee shirt that accurately represents a women's mentoring group and want to order additional tees in bulk. Cannot locate specific shirt online or in stores in enough quantities and sizes. Searched the internet for......
(2 answers
- asked 35 months ago)
|
|
A: This is the company information you are looking for......
|
|
Q:
How many quantifiers are necessary for an undecidable statement?
What is the smallest number of quantifiers necessary to write an undecidable statement in Peano arithmetic?
(1 answer
- asked 31 months ago)
|
|
A: 3 or 4, probably
There are certainly known undecidable statements in Peano arithmetic. Godel proved that one quite brilliantly. But your question isn't whether they are any; your question is what is the shortest one. That's a tough question, and one that I don't think mathematicians have the answer for yet.
The shortest peano statement I could find whose answer we do not know is:
.
As it's not known currently whether the number of n^2 - 2 primes is infinite, we don't know whether this statement is true or false. It's possible that we cannot know and that this statement is undecidable, but I can't prove that (and if you could, I'd be very much interested to hear about it).
The real answer isn't known. I don't know of any proofs of undecidability that are shorter than Godel's, but Godel's is really, really, really freakin' huge, so it's a near-certainty that there exist very short ones. Sorry I couldn't answer your question better. My guess is that the shortest such statement will have 3 variables, but that's just a guess.
|
|
|
|
|
|
|