Where can I find an online calculator for lambda calculus?

  • Context: Calculators 
  • Thread starter Thread starter saviourmachine
  • Start date Start date
  • Tags Tags
    Calculator Lambda
Click For Summary

Discussion Overview

The discussion revolves around finding an online calculator for lambda calculus that allows for the use of previous results in subsequent calculations, similar to the "Ans" key on traditional calculators. Participants explore different tools and clarify the specific needs related to lambda calculus operations.

Discussion Character

  • Exploratory, Technical explanation, Debate/contested

Main Points Raised

  • One participant requests an online lambda calculator that can use previous results in new calculations, specifically mentioning the need for functionality similar to the "Ans" key.
  • Another participant suggests downloading software like Maxima or Octave as alternatives to online calculators, claiming they can handle the required calculations.
  • A third participant indicates they already have MATLAB, implying they may not need additional software suggestions.
  • A later reply questions whether the original request is for an interpreter for lambda calculus, suggesting a potential misunderstanding of the initial inquiry.

Areas of Agreement / Disagreement

Participants do not appear to reach a consensus on the best solution, as there are differing suggestions and some confusion regarding the specific requirements of the original request.

Contextual Notes

There is ambiguity regarding the exact nature of the requested calculator, particularly whether it should function as a lambda calculus interpreter or simply perform calculations involving previously obtained results.

saviourmachine
Messages
96
Reaction score
0
Does anyone know of an online lambda calculator? Or actually I need an online calculator that allows the result to be used in the next calculation. Like the "Ans[wer]" key on some realworld calculators. It allows me to see for myself how for example the Cauchy series "1/Ans + Ans/2" converges. The difference with a sequence like "2*2 Ans" is that know the previous answer have to be used on two places in the equation.
 
Computer science news on Phys.org
If I were you, I'd just download Maxima (the free analogue of Mathematica) or Octave (the free analogue of MATLAB). Both should be more than capable of what you're trying to do.

- Warren
 
Yes, I've Matlab. But thanks anyway for your suggestion.
 
I don't fully understand your post. Are you looking for an interpreter for the lambda calculus, as in lisp?
 
Last edited:

Similar threads

  • · Replies 1 ·
Replies
1
Views
4K
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
Replies
23
Views
3K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K