User contributions for Lambda Behavior

Search for contributionsshowhide

⧼contribs-top⧽

Username, IP address or CIDR range:

Namespace:

Invert selection

Associated namespace

Tag filter:

Invert selection

Only show edits that are latest revisions

Only show edits that are page creations

Hide minor edits

⧼contribs-date⧽

From date:

To date:

Show only edits pending review

Hide probably good edits

01:0801:08, 14 May 2023 diff hist −35 History of the United States debt ceiling This paragraph said President Obama only raised the debt-ceiling 5 times, but the next paragraph says 11 and so does the table of times it was raised later in the article Tags: Visual edit Mobile edit Mobile web edit

15:0915:09, 21 February 2023 diff hist +1,191 Boolean algebra (structure) Clarified definition to allow the trivial Boolean Algebra and clarified difference between using logic to derive one equation from others in Boolean logic vs representing logic in it. That is between reasoning about Boolean logic vs within Boolean logic Tags: Reverted Visual edit Mobile edit Mobile web edit

09:2609:26, 17 February 2023 diff hist −7 m Curry–Howard correspondence Noticed I accidentally wrote simply typed combinator instead of just typed Tags: Visual edit Mobile edit Mobile web edit
09:2209:22, 17 February 2023 diff hist +241 Curry–Howard correspondence Clarified that it’s axiom schemes that correspond to combinators whereas assumptions/hypotheses (sometimes called axioms) correspond to free variables. Clarified sections were only talking about Intuitionistic logic and typed versions of the concepts (vs the last section where the correspondence is extended). Also added detail of what lambda I is as googling won’t help Tags: Visual edit Mobile edit Mobile web edit

23:1223:12, 16 February 2023 diff hist −237 Minimal logic →Simple types: I realized the last sentence I added was incorrect. I don’t understand exactly what the earlier part of the article said about adding absurdity/an empty type
19:5319:53, 16 February 2023 diff hist +898 Minimal logic →Axiomatization: clarified relationship to intuitionistic logic. →Simple Types: added clarification of relationship between minimal logic and simply typed lands calculus via the implicational fragment of intuitionistic logic Tag: Visual edit: Switched
18:5318:53, 16 February 2023 diff hist −6 m Jean van Heijenoort →Life: clarified phrasing Tags: Newcomer task Newcomer task: copyedit