Jump to content

How to define by-table function with the help of lambda-calculus?

Dims

By Dims
in Mathematics

 Share

Recommended Posts

Dims

Dims

Posted
Posted

Ho!

 

Is it possible to define function by-table, for example f(2)=3, f(5)=4?

 

It is clear for separate values, i.e. lambda 2.3 and lambda 5.4, right? But how to combine these?

 

Thanks.

Create an account or sign in to comment

You need to be a member in order to leave a comment

Create an account

Sign up for a new account in our community. It's easy!

Register a new account

Sign in

Already have an account? Sign in here.

Sign In Now
 Share
Go to topic listing
×
×
  • Create New...

Important Information

We have placed cookies on your device to help make this website better. You can adjust your cookie settings, otherwise we'll assume you're okay to continue.