WikiCards
Play on iPhone nowFree in Safari. Add it to your Home Screen.Play
WikiCards · Card list · Science cards · Lambda calculus
Rare card · Science
Lambda calculus, a Rare card
In mathematical logic, the lambda calculus is a formal system for expressing computation based on function abstraction and application using variable binding and substitution.
- Rarity
- Rare
- Domain
- Science
- ATK
- 82
- DEF
- 54
- Power
- 136
- Wikipedia reads a year
- 250,000
Power 136 (ATK + DEF): stronger than 75 % of WikiCards cards.
Lambda calculus quiz: 3 questions
Three questions on the Lambda calculus card, the way WikiCards duels ask them. Pick an answer, the facts are just below.
Find the missing word
In 1936, Church found a ______ which was logically consistent, and documented it in 1940.
Answer
formulation. In 1936, Church found a formulation which was logically consistent, and documented it in 1940. From the Lambda calculus article on Wikipedia.
In which decade?
It was introduced by the mathematician Alonzo Church in the ____s as part of his research into the foundations of mathematics.
Answer
1930s. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. From the Lambda calculus article on Wikipedia.
Which of these cards hits hardest (highest ATK)?
Answer
Lambda calculus. Lambda calculus 82 · Real number 79 · Exchange rate 75 · Apus 69 ATK in WikiCards.
In a duel, each round asks a question like these about the opposing card, with 15 seconds to answer.
The facts on the card
The card carries these facts from its Wikipedia article.
- Untyped lambda calculus, the topic of this article, is a universal machine, i.e. a model of computation that can be used to simulate any Turing machine.
- It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics.
- In 1936, Church found a formulation which was logically consistent, and documented it in 1940.
Why it is Rare
Rarity in WikiCards follows a year of Wikipedia page views: the most read articles become Epic and Legendary cards. The Lambda calculus article was read about 250,000 times in a year. ATK comes from the length of the article and DEF from its quality, so this card hits with 82 and blocks with 54: each hit it takes is cut by 22 %.
How to get Lambda calculus
Open packs. Each pack holds five cards drawn from real Wikipedia articles, the rarest last, and the fifth card is always Rare or better. The odds are shown in the game. A free pack arrives every hour and two can wait, and the Coins you win in duels buy more packs.
More Science cards
Cards close in power
The cards just above and just below Lambda calculus in the power ranking, all domains together.
- HeronRare · Nature · ATK 71 DEF 65
- Sodium carbonateRare · Science · ATK 71 DEF 65
- BaldrRare · Arts · ATK 67 DEF 69
- Real numberRare · Science · ATK 79 DEF 57
- ArcheanRare · Society · ATK 74 DEF 62
- Eurasian SteppeRare · Society · ATK 73 DEF 63
Card lists
- Wikipedia quizNew questions every day
- All cards from A to ZEvery card, by name
- Science cards
- Legendary cards
- Tier listS and A tiers by power (ATK + DEF)
Credits
Text : Wikipedia, Lambda calculus (revision), CC BY-SA 4.0. Photo : Epachamo, CC BY-SA 4.0, Wikimedia Commons.
