9772
EXPLORE
LATEST
ABOUT
AUTHORING AREA
PARTICIPATE
Your browser does not support JavaScript or it may be disabled!
Arithmetic in Lambda Calculus
Shows the lambda calculus expressions for the indicated operations.
Contributed by:
Enrique Zeleny
Based on programs by:
John W. Gray
THINGS TO TRY
Automatic Animation
SNAPSHOTS
DETAILS
For further details about the complete description of the operational semantics of the lambda calculus, see J. W. Gray,
Mastering Mathematica: Programming Methods and Applications
, 2nd ed., San Diego, CA: Academic Press, 1998.
RELATED LINKS
Combinator
(
Wolfram
MathWorld
)
Lambda Calculus
(
Wolfram
MathWorld
)
PERMANENT CITATION
"
Arithmetic in Lambda Calculus
" from
the Wolfram Demonstrations Project
http://demonstrations.wolfram.com/ArithmeticInLambdaCalculus/
Contributed by:
Enrique Zeleny
Based on programs by:
John W. Gray
Share:
Embed Interactive Demonstration
New!
Just copy and paste this snippet of JavaScript code into your website or blog to put the live Demonstration on your site.
More details »
Download Demonstration as CDF »
Download Author Code »
(preview »)
Files require
Wolfram
CDF Player
or
Mathematica
.
Related Demonstrations
More by Author
Plots of Compositions of Bitwise Operations
Enrique Zeleny
Hofstadter's MU Riddle
Enrique Zeleny
Recursion in the Ackermann Function
Stephen Wolfram
Gödelization
Enrique Zeleny
Propositional Logic Test
Izidor Hafner
Typical Predicate Calculus Statements
Izidor Hafner
Primality Formal System Explorer
Ken Caviness
tq-System Explorer
Ken Caviness
pq-System Explorer
Ken Caviness
MIU Explorer
Ken Caviness
Related Topics
Computer Science
Foundations of Mathematics
Mathematical Logic
Substitution Systems
Browse all topics
Note: To run this Demonstration you need Mathematica 7+ or the free Mathematica Player 7EX
Download or upgrade to
Mathematica Player 7EX
I already have
Mathematica Player
or
Mathematica 7+