Related changes
Jump to navigation
Jump to search
Enter a page name to see changes on pages linked to or from that page. (To see members of a category, enter Category:Name of category). Changes to pages on your Watchlist are in bold.
List of abbreviations:
- N
- This edit created a new page (also see list of new pages)
- m
- This is a minor edit
- b
- This edit was performed by a bot
- (±123)
- The page size changed by this number of bytes
24 January 2026
|
|
N 20:12 | User:Blashyrkh/Between IJ and SK 10 changes history +5,636 [Blashyrkh (10×)] | |||
|
|
20:12 (cur | prev) +213 Blashyrkh talk contribs (→Some ideas for the proof: The program has found a really tough case) | ||||
|
|
15:11 (cur | prev) +61 Blashyrkh talk contribs (→Some ideas for the proof: More strict definition of case 1 (to satisfy requirements of case 3)) | ||||
| m |
|
15:01 (cur | prev) +621 Blashyrkh talk contribs | |||
|
|
14:43 (cur | prev) +1,123 Blashyrkh talk contribs (a little more bit of the proof) | ||||
|
|
14:12 (cur | prev) +1,294 Blashyrkh talk contribs (Beginning of the proof) | ||||
| m |
|
10:41 (cur | prev) −4 Blashyrkh talk contribs (reword) | |||
|
|
10:37 (cur | prev) +722 Blashyrkh talk contribs (more (and no more) search results) | ||||
| m |
|
10:11 (cur | prev) +85 Blashyrkh talk contribs (More search results) | |||
|
|
10:09 (cur | prev) +61 Blashyrkh talk contribs (Link to the program) | ||||
| N |
|
09:01 (cur | prev) +1,460 Blashyrkh talk contribs (Created page with "Is there a non-complete system of combinators that includes IJ system as a subset? Equivalent: is there a cancellative combinator X for which K combinator can't be expressed in IJX basis? The opposite question: is it enough to add ''any'' cancellative combinator to IJ basis to make the basis complete? Or, equivalent: is it possible to express K combinator in IJX basis for any cancellative combinators X? I have no proof yet. Not a tiniest idea what the proof might be....") | |||