1answer.
Ask question
Login Signup
Ask question
All categories
  • English
  • Mathematics
  • Social Studies
  • Business
  • History
  • Health
  • Geography
  • Biology
  • Physics
  • Chemistry
  • Computers and Technology
  • Arts
  • World Languages
  • Spanish
  • French
  • German
  • Advanced Placement (AP)
  • SAT
  • Medicine
  • Law
  • Engineering
Juli2301 [7.4K]
3 years ago
8

What is 2 + 2? Its kinda important. for a very important school project.

Mathematics
2 answers:
Agata [3.3K]3 years ago
5 0

I do not know how to solve this incredibly difficult question. The complexity rivals those of the millennial problems. Instead, I’ll let reddit user u/sellopou speak his words.

Take a computational approach to the problem. Specifically, consider the encoding of natural numbers in the simply-typed lambda calculus called Church numerals. In this encoding, the number 2 is represented by a function that looks like this:

2 ≡ λf.λx.f (f x)  

In other words, the number two is a function that takes a function and some value (let's assume that we're comfortable with currying here), and applies the function twice to the value. In general, a number n is represented by a function that takes a function and some value and applies f to the value n times.

Using the Church encoding, you can define operations on the numbers as well. In this case, you're interested in plus, which takes two numbers and returns a number

plus ≡ λm.λn.λf.λx.???  

So what's in the body? Well, the body has to be n + m applications of f to the value x. If we pass f and x to n, we get n applications–call that r, and if we apply m to f and r, that'll be m + n applications of f:

plus ≡ λm.λn.λf.λx.m f (n f x)  

So the expression 2 + 2 using this encoding is:

plus 2 2 ≡ (λm.λn.λf.λx.m f (n f x)) (λf.λx.f (f x)) (λf.λx.f (f x))  

Now β-reduce until you get the result:

plus 2 2 ≡ (λm.λn.λf.λx.m f (n f x)) (λf.λx.f (f x)) (λf.λx.f (f x))  

        ↦ (λn.λf.λx.(λf.λx.f (f x)) f (n f x)) (λf.λx.f (f x))  

        ↦ (λf.λx.(λf.λx.f (f x)) f ((λf.λx.f (f x)) f x))  

        ↦ (λf.λx.(λx.f (f x)) ((λf.λx.f (f x)) f x))  

        ↦ (λf.λx.(λx.f (f x)) ((λx.f (f x)) x))  

        ↦ (λf.λx.(λx.f (f x)) (f (f x)))  

        ↦ (λf.λx.f (f (f (f x))))  

        ≡ 4.  

But now, let's bust out of this theoretical prison and say we have a number 0 in some representation that we can actually work with, as well as a function add1 that knows how to increment a number in that representation. Well, then we can get a useable representation out of our church numeral, by applying to the numeral to add1 and the value:

4 add1 0 = 4  

vladimir1956 [14]3 years ago
4 0
I mean you could know this but 2+2 is 4 you add two and two and get four.
You might be interested in
PLEASE I NEED HELP IF IT'S WRONG I WILL REPORT
Alinara [238K]

Answer:

what do you need help wth ?

Step-by-step explanation:

3 0
3 years ago
Read 2 more answers
If a point in the figure below is chosen at random, what is the probability that it is in the shaded region?​
Xelga [282]

Answer:

254/324 which is about 78.4%

Step-by-step explanation:

found area of entire square to be 18² or 324

found area of 4-quarter circles - which equals one circle with radius of 9

A = 81π which is about 70

subtracted 324 and 70 to get 254

ratio of shaded to unshaded is 254 : 324

3 0
2 years ago
The table below represents a linear relationship. What is the slope of the line?
stealth61 [152]

Answer: side ways

Step-by-step explanation:

5 0
2 years ago
I will cash app u $20 dollars show your work thank u
kolezko [41]

Answer:

hmm.. very blurry repost please

Step-by-step explanation:

3 0
2 years ago
Help me pleaseee finically algebra please I need help
maxonik [38]

Answer:

$7,367.43

Step-by-step explanation:

6 0
2 years ago
Other questions:
  • What is (-6-4)divided by(-5)=
    6·2 answers
  • Please help thanks :)
    15·1 answer
  • Which graphic organizer is most helpful when comparing and contrasting information?
    5·2 answers
  • How to find the limit
    9·1 answer
  • Given the figure below, calculate the area
    8·1 answer
  • Y=x+2, y=-x+2, and y = x +2
    5·1 answer
  • ***15 Points*** Answer the questions for 15 Points.
    9·2 answers
  • 2x - 3y = 6<br> 3x + y = 32
    7·1 answer
  • 432 oranges are to be divided equally among a number of people. If there had been four people less, the share of each would have
    9·1 answer
  • A questionnaire was given to students. The first question
    11·1 answer
Add answer
Login
Not registered? Fast signup
Signup
Login Signup
Ask question!