Beta Reduction (Explained Using Python)

In simple terms, beta reduction means applying a function to an argument. This is done by replacing the function’s parameter with the actual value.

Python Example: Function Call

def add_one(x):
    return x + 1

add_one(5)

When Python runs this code, it replaces x with 5 inside the function body.

This substitution step is exactly what beta reduction does. 

x → 5
5 + 1
= 6

Lambda Calculus Version

(λx. x + 1) 5

Beta reduction replaces x with 5: 

5 + 1

Final result: 

6

Why Beta Reduction Is Important

Beta reduction is the core computation rule of lambda calculus. It explains how functions actually produce results.

Without beta reduction, functions would never run.

One-Line Summary

Beta reduction means applying a function by substituting the argument for the parameter.