Knowledge

Talk:Stephen Cole Kleene

Source đź“ť

862:. Also, it's inappropriate to subject readers who came to learn something about a specific scientist to tiresome explanations of things that relate to the language in which the article is written. I often read the German or French version of a Knowledge article when there is no English equivalent and I would not want to be distracted by linguistic explanations in those articles. If I don't understand some aspect of those languages I'll look it up outside the confines of Knowledge, or certainly outside the confines of that article, as I do for anything else I happen to read in those languages. In any case, let's consider your hypothetical reader who had never seen that proverb. How does the explanation help him? He's merely told that X is a pun on Y but of what use is that if he doesn't know the significance of Y? So you'd have to mention that Y is an English proverb, and then by the same criterion by which you've inserted a hyperlink to 955:
whether something "spoils the effect of the pun" is completely irrelevant. This is an encyclopedia, not a joke list. It is supposed to be informative rather than funny. As for "witticism" and whatnot, you still seem to miss the basic difference between vocabulary and proverbs. The former is an inherent part of the language, whereas the latter is not, it is part of cultural background which does not have anything to do with language per se, and typically is much less familiar to foreigners even if they have a good command of the language as such.—
371: 361: 340: 312: 198: 182: 543: 250: 466: 226: 445: 22: 84: 53: 94: 928:
obvious. The problem is that the explanation of the pun is an annoying discontinuity in the text that spoils the effect of the pun, just to accommodate a hypothetical readership of dubious quantity--dubious because of the option of many other languages, dubious because of the familiarity with English and in particular with words like
260: 805:
It's both unnecessary and self-defeating to declare that something is a pun, and worse, to explain it. A pun by definition explains itself. If the intended audience hasn't the requisite literacy for appreciating it, then its effect is null and void and it should not be used anyway. Think about the
954:
Oh, I see your point now, but your basic premise is fundamentally flawed. As a non-native speaker, I can assure you that it never occurred to me to switch to an article on Czech Knowledge when browsing English Knowledge just because such an article exists. That's simply not how it works. Second,
977:
aspects of the language in which the article is written or that the article exploits. One would expect such explanations to be inserted as either references (hyperlinks) or footnotes. That appropriately inculturated readers could thereby siphon off some clandestine humor would not violate the
927:
The point about the 17 other languages is relevant to the claim that you're catering for non-native English speakers by explaining the pun: in many cases a non-English speaker would have the option of reading a version of the article in his own language. I thought the point of that comment was
982:
is not a wholly objective notion. A given instance of wit may be funny to some people and not to others (and you know what they say about puns). Further, someone to whom a joke has to be explained never laughs as vigorously as someone who understands it as told. So to describe something
972:
that they don't) has any significant cardinality. In any case, a member of that set could be enlightened simply by consulting a native or sufficiently competent English speaker or by pasting it into a Google search box. It doesn't seem appropriate for an encyclopedia article to explain
910:, the fact that X is a pun on Y implies (or at least strongly suggests) that Y is a fixed idiom, and anyone interested in the details can google said idiom. I didn't insert anything anywhere, I only reverted your deletions, but I agree that there is no particular reason to link to 900:
version. The thing is that unless you know that this particular phrase is supposed to be a pun on a proverb, you will not realize that it is one, since the proverb itself is a fairly idiotic combination of words which no sane person would ever use were it not for the fact that it
564: 905:
a proverb. You cannot look up linguistic explanations outside the confines of Knowledge if you are not aware that you have a linguistic problem (ignoring the fact that the classification of proverbs as linguistics is quite a stretch). There is no reason to go
1108:
There are some sources for "KLAY-nee", but almost everyone seems to say "clean". For simplicity's sake I suggest adding sources to the following list without using signatures. (I have replaced the y from the Youtube links, because of the spam filter.)
1021:
You have not responded to any of my arguments, you are just repeating the same crap over and over, and I'm not going to waste any of my time on this. I just realized that the whole thing has been tagged for "citation needed" since April
818:
and thus would immediately recognize and appreciate the pun without further explanation. To explain the pun is to kill it (and to annoy the reader). Note also that versions of this article appear in numerous other languages.
1256: 1251: 588: 858:
I've already explained that it's the specific readership of this article that is relevant here, not the general readership of en.wikipedia.org, noting also that this article appears in some
427: 728: 896:
I don't see in what way is your repeated claim that this article appears in 18 languages relevant. We are not discussing any other language versions of the article, we are discussing
845:
is an English proverb. Without this information, the whole anecdote becomes pointless nonsense. This has nothing to do with literacy, but with (non)shared cultural background.—
645: 583: 321: 236: 1286: 1261: 791:
This article was automatically assessed because at least one WikiProject had rated the article as start, and the rating on other projects was brought up to start class.
516: 506: 115:
on Knowledge. If you would like to support the project, please visit the project page, where you can get more details on how you can help, and where you can join the
968:
In the absence of any evidence to the contrary I strongly doubt that your hypothetical set of readers (i.e., those who don't understand the witticism and, moreover,
1291: 1281: 189: 63: 932:
that the article assumes anyway. Having said that, I'm glad you deleted the pun link. Have you seen the style of English in which that article is written?!
1221: 1211: 806:
audience of this article for a moment. Anyone sufficiently literate to read an article in English on mathematical philosophy and to understand terms like
482: 152: 142: 1276: 690: 417: 1271: 1226: 1216: 1206: 1266: 1246: 278: 664: 1236: 529: 473: 450: 393: 753: 117: 939: 881: 826: 282: 1231: 636: 1241: 1090: 1046: 1006: 286: 617: 384: 345: 277:, a collaborative effort to create, develop and organize Knowledge's articles about people. All interested editors are invited to 107: 58: 709: 273: 231: 987:
as a witticism implies either that the reader has the wherewithal to see the humor in it, or the exact opposite, i.e., he
674: 555: 33: 684: 598: 205: 67: 719: 481:
related articles on Knowledge. If you would like to participate, please visit the project page, where you can join
746: 978:
principle that an encyclopedia is intended to inform rather than entertain. Finally, and more subtly perhaps,
943: 885: 830: 21: 1094: 1050: 1010: 841:
A large part of the readership of English Knowledge consists of non-native speakers, who wouldn't know that
999:
should be removed and just the reference to the pun retained (and the explanation linked or footnoted).
655: 39: 1026:, hence it should have been killed years ago, and that's exactly what I'm going to do. Problem solved.— 370: 1042: 1002: 935: 877: 822: 1115: 792: 392:
on Knowledge. If you would like to participate, please visit the project page, where you can join
376: 360: 339: 311: 1079:"source: private correspondence with his son, Ken Kleene, with and his colleague H.J. Keisler" 574: 99: 1083: 626: 478: 265: 1030: 959: 918: 849: 1156: 1170: 1110: 700: 542: 565:
Requested articles/Applied arts and sciences/Computer science, computing, and Internet
197: 181: 1200: 1178: 1069: 389: 249: 225: 1120: 1098: 1054: 1033: 1027: 1014: 962: 956: 947: 921: 915: 889: 852: 846: 834: 795: 366: 255: 112: 89: 1192: 1139: 1135: 1131: 607: 465: 444: 995:
it's funny. In either case it's a vacuous assertion. Perhaps the term
1147: 111:, a collaborative effort to improve the coverage of content related to 1188: 1166: 1143: 83: 52: 1151: 285:. For instructions on how to use this banner, please refer to the 1174: 911: 683:
Find pictures for the biographies of computer scientists (see
15: 1257:
Unknown-importance biography (science and academia) articles
310: 196: 180: 1073: 1252:
Start-Class biography (science and academia) articles
477:, a collaborative effort to improve the coverage of 388:, a collaborative effort to improve the coverage of 163: 1076:cites a source for the pronunciation of "Kleene": 589:Computer science articles needing expert attention 914:as it is used here as an ordinary English word.— 729:WikiProject Computer science/Unreferenced BLPs 8: 646:Computer science articles without infoboxes 584:Computer science articles needing attention 19: 550:Here are some tasks awaiting attention: 524: 439: 334: 220: 160: 47: 1287:Mid-importance Computer science articles 1262:Science and academia work group articles 441: 336: 222: 49: 491:Knowledge:WikiProject Computer science 121:about philosophy content on Knowledge. 1292:WikiProject Computer science articles 1282:Start-Class Computer science articles 494:Template:WikiProject Computer science 7: 866:you'd have to insert a hyperlink to 471:This article is within the scope of 382:This article is within the scope of 271:This article is within the scope of 105:This article is within the scope of 1222:Low-importance philosopher articles 322:the science and academia work group 38:It is of interest to the following 1212:Low-importance Philosophy articles 1068:A comment in the article added by 814:would already know the expression 665:Timeline of computing 2020–present 14: 1277:Mid-priority mathematics articles 1086:for this private correspondence? 691:Computing articles needing images 402:Knowledge:WikiProject Mathematics 1272:Start-Class mathematics articles 1227:Philosophers task force articles 1217:Start-Class philosopher articles 843:cleanliness is next to godliness 816:Cleanliness is next to Godliness 541: 464: 443: 405:Template:WikiProject Mathematics 369: 359: 338: 258: 248: 224: 127:Knowledge:WikiProject Philosophy 92: 82: 51: 20: 1207:Start-Class Philosophy articles 511:This article has been rated as 422:This article has been rated as 295:Knowledge:WikiProject Biography 147:This article has been rated as 130:Template:WikiProject Philosophy 1267:WikiProject Biography articles 1247:Start-Class biography articles 298:Template:WikiProject Biography 1: 1237:Low-importance logic articles 796:04:28, 10 November 2007 (UTC) 745:Tag all relevant articles in 485:and see a list of open tasks. 396:and see a list of open tasks. 319:This article is supported by 991:see the humor and has to be 754:WikiProject Computer science 530:WikiProject Computer science 474:WikiProject Computer science 283:contribute to the discussion 1099:17:18, 10 August 2014 (UTC) 1055:20:19, 19 August 2010 (UTC) 1034:10:26, 19 August 2010 (UTC) 1015:07:50, 19 August 2010 (UTC) 963:10:28, 18 August 2010 (UTC) 948:20:53, 17 August 2010 (UTC) 922:11:11, 17 August 2010 (UTC) 890:20:36, 16 August 2010 (UTC) 853:13:11, 16 August 2010 (UTC) 835:23:28, 15 August 2010 (UTC) 685:List of computer scientists 1308: 1232:Start-Class logic articles 517:project's importance scale 153:project's importance scale 1242:Logic task force articles 1121:15:09, 16 July 2017 (UTC) 747:Category:Computer science 523: 510: 497:Computer science articles 459: 421: 354: 318: 243: 204: 188: 159: 146: 77: 46: 787:WikiProject class rating 749:and sub-categories with 428:project's priority scale 385:WikiProject Mathematics 164:Associated task forces: 710:Computer science stubs 315: 201: 185: 108:WikiProject Philosophy 28:This article is rated 1152:Luis Alfonso Madrigal 314: 274:WikiProject Biography 200: 184: 1148:Yogi's Online School 528:Things you can help 408:mathematics articles 237:Science and Academia 1132:Pronunciation Guide 133:Philosophy articles 1179:pronouncenames.com 975:within the article 377:Mathematics portal 316: 301:biography articles 202: 186: 118:general discussion 34:content assessment 1157:pronouncekiwi.com 1119: 1084:verifiable source 1061:Pronunciation of 1045:comment added by 1039:And vice-versa. 1005:comment added by 938:comment added by 880:comment added by 825:comment added by 801:A comment on puns 784: 783: 780: 779: 776: 775: 772: 771: 768: 767: 438: 437: 434: 433: 333: 332: 329: 328: 219: 218: 215: 214: 211: 210: 100:Philosophy portal 1299: 1136:Dictionary Voice 1113: 1057: 1017: 950: 892: 837: 758: 752: 627:Computer science 556:Article requests 545: 538: 537: 525: 499: 498: 495: 492: 489: 488:Computer science 479:Computer science 468: 461: 460: 455: 451:Computer science 447: 440: 410: 409: 406: 403: 400: 379: 374: 373: 363: 356: 355: 350: 342: 335: 303: 302: 299: 296: 293: 279:join the project 268: 266:Biography portal 263: 262: 261: 252: 245: 244: 239: 228: 221: 171: 161: 135: 134: 131: 128: 125: 102: 97: 96: 95: 86: 79: 78: 73: 70: 55: 48: 31: 25: 24: 16: 1307: 1306: 1302: 1301: 1300: 1298: 1297: 1296: 1197: 1196: 1186: 1164: 1140:Pronounce Names 1128: 1106: 1066: 1040: 1000: 933: 875: 820: 803: 789: 764: 761: 756: 750: 738:Project-related 733: 714: 695: 669: 650: 631: 612: 593: 569: 496: 493: 490: 487: 486: 453: 407: 404: 401: 398: 397: 375: 368: 348: 300: 297: 294: 291: 290: 264: 259: 257: 234: 169: 132: 129: 126: 123: 122: 98: 93: 91: 71: 61: 32:on Knowledge's 29: 12: 11: 5: 1305: 1303: 1295: 1294: 1289: 1284: 1279: 1274: 1269: 1264: 1259: 1254: 1249: 1244: 1239: 1234: 1229: 1224: 1219: 1214: 1209: 1199: 1198: 1185: 1182: 1163: 1160: 1154: 1144:KNOWLEDGE GATE 1127: 1124: 1105: 1102: 1065: 1059: 1037: 1036: 966: 965: 940:210.11.147.182 925: 924: 882:210.11.147.182 856: 855: 827:210.11.147.182 802: 799: 793:BetacommandBot 788: 785: 782: 781: 778: 777: 774: 773: 770: 769: 766: 765: 763: 762: 760: 759: 742: 734: 732: 731: 725: 715: 713: 712: 706: 696: 694: 693: 688: 680: 670: 668: 667: 661: 651: 649: 648: 642: 632: 630: 629: 623: 613: 611: 610: 604: 594: 592: 591: 586: 580: 570: 568: 567: 561: 549: 547: 546: 534: 533: 521: 520: 513:Mid-importance 509: 503: 502: 500: 483:the discussion 469: 457: 456: 454:Mid‑importance 448: 436: 435: 432: 431: 420: 414: 413: 411: 394:the discussion 381: 380: 364: 352: 351: 343: 331: 330: 327: 326: 317: 307: 306: 304: 270: 269: 253: 241: 240: 229: 217: 216: 213: 212: 209: 208: 203: 193: 192: 187: 177: 176: 174: 172: 166: 165: 157: 156: 149:Low-importance 145: 139: 138: 136: 104: 103: 87: 75: 74: 72:Low‑importance 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 1304: 1293: 1290: 1288: 1285: 1283: 1280: 1278: 1275: 1273: 1270: 1268: 1265: 1263: 1260: 1258: 1255: 1253: 1250: 1248: 1245: 1243: 1240: 1238: 1235: 1233: 1230: 1228: 1225: 1223: 1220: 1218: 1215: 1213: 1210: 1208: 1205: 1204: 1202: 1195: 1194: 1193:Violan Naidoo 1190: 1183: 1181: 1180: 1176: 1172: 1171:mathforum.org 1168: 1161: 1159: 1158: 1153: 1149: 1145: 1141: 1137: 1133: 1125: 1123: 1122: 1117: 1112: 1103: 1101: 1100: 1096: 1092: 1087: 1085: 1080: 1077: 1075: 1074:29 April 2007 1071: 1064: 1060: 1058: 1056: 1052: 1048: 1044: 1035: 1032: 1029: 1025: 1020: 1019: 1018: 1016: 1012: 1008: 1004: 998: 994: 990: 986: 985:to the reader 981: 976: 971: 964: 961: 958: 953: 952: 951: 949: 945: 941: 937: 931: 923: 920: 917: 913: 909: 904: 899: 895: 894: 893: 891: 887: 883: 879: 873: 869: 865: 861: 854: 851: 848: 844: 840: 839: 838: 836: 832: 828: 824: 817: 813: 809: 800: 798: 797: 794: 786: 755: 748: 744: 743: 741: 739: 735: 730: 727: 726: 724: 722: 721: 716: 711: 708: 707: 705: 703: 702: 697: 692: 689: 686: 682: 681: 679: 677: 676: 671: 666: 663: 662: 660: 658: 657: 652: 647: 644: 643: 641: 639: 638: 633: 628: 625: 624: 622: 620: 619: 614: 609: 606: 605: 603: 601: 600: 595: 590: 587: 585: 582: 581: 579: 577: 576: 571: 566: 563: 562: 560: 558: 557: 552: 551: 548: 544: 540: 539: 536: 535: 531: 527: 526: 522: 518: 514: 508: 505: 504: 501: 484: 480: 476: 475: 470: 467: 463: 462: 458: 452: 449: 446: 442: 429: 425: 419: 416: 415: 412: 395: 391: 387: 386: 378: 372: 367: 365: 362: 358: 357: 353: 347: 344: 341: 337: 324: 323: 313: 309: 308: 305: 288: 287:documentation 284: 280: 276: 275: 267: 256: 254: 251: 247: 246: 242: 238: 233: 230: 227: 223: 207: 199: 195: 194: 191: 183: 179: 178: 175: 173: 168: 167: 162: 158: 154: 150: 144: 141: 140: 137: 120: 119: 114: 110: 109: 101: 90: 88: 85: 81: 80: 76: 69: 65: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 1187: 1165: 1129: 1107: 1091:50.53.55.212 1088: 1081: 1078: 1067: 1062: 1047:210.9.136.34 1038: 1023: 1007:210.9.136.34 996: 992: 988: 984: 979: 974: 969: 967: 929: 926: 907: 902: 897: 871: 870:, and so on 867: 863: 860:18 languages 859: 857: 842: 815: 811: 807: 804: 790: 737: 736: 720:Unreferenced 718: 717: 699: 698: 673: 672: 654: 653: 635: 634: 616: 615: 597: 596: 573: 572: 554: 553: 512: 472: 424:Mid-priority 423: 383: 349:Mid‑priority 320: 272: 190:Philosophers 148: 116: 106: 64:Philosophers 40:WikiProjects 1082:Is there a 1070:User:Sburke 1041:—Preceding 1001:—Preceding 934:—Preceding 908:ad insaniam 876:—Preceding 872:ad insaniam 821:—Preceding 399:Mathematics 390:mathematics 346:Mathematics 30:Start-class 1201:Categories 1189:Adam Doupé 1184:"klee-nee" 1167:foldoc.org 1162:"klay-nee" 124:Philosophy 113:philosophy 59:Philosophy 1175:forvo.com 1130:Youtube: 1111:Watchduck 997:witticism 980:witticism 930:witticism 812:witticism 808:canonical 608:Computing 292:Biography 232:Biography 1043:unsigned 1003:unsigned 936:unsigned 878:unsigned 823:unsigned 656:Maintain 599:Copyedit 1155:Other: 1126:"kleen" 1104:Sources 989:doesn't 868:proverb 637:Infobox 575:Cleanup 515:on the 426:on the 151:on the 1063:Kleene 618:Expand 36:scale. 1116:quack 701:Stubs 675:Photo 532:with: 206:Logic 68:Logic 1095:talk 1051:talk 1028:Emil 1024:2007 1011:talk 993:told 970:care 957:Emil 944:talk 916:Emil 898:this 886:talk 847:Emil 831:talk 810:and 281:and 1177:, 1072:on 912:pun 874:. 864:pun 507:Mid 418:Mid 143:Low 1203:: 1191:, 1173:, 1169:, 1150:, 1146:, 1142:, 1138:, 1134:, 1097:) 1089:-- 1053:) 1031:J. 1013:) 960:J. 946:) 919:J. 903:is 888:) 850:J. 833:) 757:}} 751:{{ 235:: 170:/ 66:/ 62:: 1118:) 1114:( 1093:( 1049:( 1009:( 942:( 884:( 829:( 740:: 723:: 704:: 687:) 678:: 659:: 640:: 621:: 602:: 578:: 559:: 519:. 430:. 325:. 289:. 155:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Philosophy
Philosophers
Logic
WikiProject icon
Philosophy portal
WikiProject Philosophy
philosophy
general discussion
Low
project's importance scale
Taskforce icon
Philosophers
Taskforce icon
Logic
WikiProject icon
Biography
Science and Academia
WikiProject icon
Biography portal
WikiProject Biography
join the project
contribute to the discussion
documentation
Taskforce icon
the science and academia work group
WikiProject icon

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

↑