Knowledge (XXG)

Knights of the Lambda Calculus

Source 📝

134: 339: 25: 248:
professors and other American computer scientists are prominent in Episode 11 of the series. At one point in the anime, Lain is seen with code displayed on her handheld device that appears to be Lisp.
204: 218:, a "well-known LISPer" has been known to give out buttons with Knights insignia on them, and some people have claimed to have membership in the Knights. 380: 49:
of the topic and provide significant coverage of it beyond a mere trivial mention. If notability cannot be shown, the article is likely to be
200: 101: 271: 73: 414: 80: 120: 87: 46: 315: 276: 173: 69: 373: 170: 42: 58: 166: 214:
presents the audience with the button, saying they are now members of this special group. However, according to the
404: 399: 366: 236: 94: 35: 146: 291: 54: 207: 346: 50: 133: 211: 409: 350: 185: 177: 142: 196: 393: 181: 150: 275: prior to 1 November 2008 and incorporated under the "relicensing" terms of the 266: 319: 241: 215: 338: 154: 231: 132: 41:
Please help to demonstrate the notability of the topic by citing
141:
recursive emblem celebrates LISP's theoretical foundation, the
245: 184:, with which Lisp is intimately connected, and references the 18: 226:
A group that evolved from or is similar to them, called
354: 191:
There is no actual organization that goes by the name
316:"MIT Anime Club :: Appearance of MIT in Anime" 205:Structure and Interpretation of Computer Programs 199:in-joke. The concept most likely originated at 374: 265:This article is based on material taken from 8: 165:is a semi-fictional organization of expert 381: 367: 121:Learn how and when to remove this message 257: 180:, a mathematical formalism invented by 240:, the logo of which is a reference to 151:reappearance of the picture in itself 7: 335: 333: 272:Free On-line Dictionary of Computing 16:Semi-fictional hacking organization 353:. You can help Knowledge (XXG) by 14: 230:, make a major appearance in the 337: 292:"Knights of the Lambda Calculus" 145:. Y in the emblem refers to the 70:"Knights of the Lambda Calculus" 23: 228:The Knights of Eastern Calculus 139:Knights of the Lambda Calculus' 34:may not meet Knowledge (XXG)'s 267:Knights+of+the+Lambda+Calculus 193:Knights of the Lambda Calculus 163:Knights of the Lambda Calculus 1: 195:; it mostly only exists as a 36:general notability guideline 431: 415:Computer programming stubs 332: 43:reliable secondary sources 32:The topic of this article 176:. The name refers to the 279:, version 1.3 or later. 237:Serial Experiments Lain 349:-related article is a 203:. For example, in the 158: 147:fixed-point combinator 136: 347:computer-programming 222:In popular culture 212:Gerald Jay Sussman 159: 38: 405:Fictional knights 362: 361: 131: 130: 123: 105: 33: 422: 383: 376: 369: 341: 334: 324: 323: 322:on Jan 31, 2020. 318:. Archived from 312: 306: 305: 303: 302: 287: 281: 280: 262: 244:. References to 126: 119: 115: 112: 106: 104: 63: 27: 26: 19: 430: 429: 425: 424: 423: 421: 420: 419: 400:Lambda calculus 390: 389: 388: 387: 330: 328: 327: 314: 313: 309: 300: 298: 296:The Jargon File 290:Raymond, Eric. 289: 288: 284: 264: 263: 259: 254: 224: 186:Knights Templar 178:lambda calculus 143:lambda calculus 127: 116: 110: 107: 64: 62: 40: 28: 24: 17: 12: 11: 5: 428: 426: 418: 417: 412: 407: 402: 392: 391: 386: 385: 378: 371: 363: 360: 359: 342: 326: 325: 307: 282: 256: 255: 253: 250: 223: 220: 208:video lectures 197:hacker culture 129: 128: 31: 29: 22: 15: 13: 10: 9: 6: 4: 3: 2: 427: 416: 413: 411: 408: 406: 403: 401: 398: 397: 395: 384: 379: 377: 372: 370: 365: 364: 358: 356: 352: 348: 343: 340: 336: 331: 321: 317: 311: 308: 297: 293: 286: 283: 278: 274: 273: 268: 261: 258: 251: 249: 247: 243: 239: 238: 233: 229: 221: 219: 217: 213: 209: 206: 202: 198: 194: 189: 187: 183: 182:Alonzo Church 179: 175: 172: 168: 164: 156: 152: 148: 144: 140: 135: 125: 122: 114: 103: 100: 96: 93: 89: 86: 82: 79: 75: 72: –  71: 67: 66:Find sources: 60: 56: 52: 48: 44: 37: 30: 21: 20: 355:expanding it 344: 329: 320:the original 310: 299:. Retrieved 295: 285: 270: 260: 235: 227: 225: 192: 190: 162: 160: 138: 117: 108: 98: 91: 84: 77: 65: 242:Freemasonry 216:Jargon File 47:independent 394:Categories 301:2015-04-01 252:References 153:refers to 81:newspapers 55:redirected 155:recursion 111:July 2024 45:that are 410:In-jokes 149:and the 269:at the 234:series 174:hackers 95:scholar 59:deleted 171:Scheme 97:  90:  83:  76:  68:  51:merged 345:This 232:anime 102:JSTOR 88:books 57:, or 351:stub 277:GFDL 169:and 167:Lisp 161:The 137:The 74:news 246:MIT 201:MIT 396:: 294:. 210:, 188:. 53:, 382:e 375:t 368:v 357:. 304:. 157:. 124:) 118:( 113:) 109:( 99:· 92:· 85:· 78:· 61:. 39:.

Index

general notability guideline
reliable secondary sources
independent
merged
redirected
deleted
"Knights of the Lambda Calculus"
news
newspapers
books
scholar
JSTOR
Learn how and when to remove this message

lambda calculus
fixed-point combinator
reappearance of the picture in itself
recursion
Lisp
Scheme
hackers
lambda calculus
Alonzo Church
Knights Templar
hacker culture
MIT
Structure and Interpretation of Computer Programs
video lectures
Gerald Jay Sussman
Jargon File

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.