Knowledge

Michael Guy

Source 📝

36: 1785: 1775: 1826: 1176: 285:, where Guy was an undergraduate student from 1960, and Conway was a graduate student. It was through Michael that Conway met Richard Guy, who would become a co-author of works in 725: 1167: 289:. Michael Guy with Conway made numerous particular contributions to geometry, number and game theory, often published in problem selections by Richard Guy. Some of these are 442: 309: 1821: 65: 1004: 842: 1779: 1353: 1239: 1091: 637: 485: 282: 1841: 1831: 1466: 1198: 1150: 860: 1461: 732: 1836: 1510: 1390: 105: 1757: 797: 416:
Bremner, Andrew (Tempe, AZ); Goggins, Joseph R. (Girvan); Guy, Michael J. T. (Cambridge); Guy, Richard K. (Calgary, Alta) (2000).
1699: 1219: 835: 81: 1040: 936: 1335: 1035: 1019: 828: 1256: 286: 312:(DPMMS), Cambridge. He did not complete a Ph.D., but joint work with Cassels produced numerical examples on the 1229: 1134: 290: 57: 1528: 1224: 1104: 972: 230: 192: 61: 1816: 1171: 394: 1811: 1610: 1382: 1325: 1234: 1193: 1118: 1029: 465: 436: 333: 270: 294: 399: 1644: 1300: 899: 469: 46: 1620: 1400: 1295: 983: 869: 597: 579: 559: 457: 385:; Guy, M. J. T. (1979). "On the Distribution of Values of Angles Determined by Coplanar Points". 378: 366: 278: 262: 246: 226: 218: 50: 1099: 1789: 1625: 1500: 1395: 1315: 633: 481: 349: 85: 70: 1719: 1714: 1633: 1515: 758: 689: 675: 653: 571: 404: 337: 305: 238: 202: 178: 74: 1676: 1660: 1652: 1556: 1481: 1410: 1080: 801: 313: 274: 1732: 1551: 1438: 1415: 1348: 1320: 1203: 962: 794: 298: 250: 151: 417: 1805: 1668: 1581: 1489: 1476: 1456: 1405: 999: 966: 710: 629: 619: 382: 341: 317: 234: 222: 540: 1709: 1704: 1681: 1615: 1589: 1533: 1505: 1446: 1305: 1597: 623: 508: 17: 1694: 1451: 1428: 1423: 1343: 1310: 1290: 812: 680: 329: 182: 726:"Atlas 2 at Cambridge Mathematical Laboratory (And Aldermaston and CAD Centre)" 408: 1520: 1471: 1433: 932: 927: 778:"Computer Laboratory - Events in the early history of the Computer Laboratory" 707:
Herbert, Andrew J.; Needham, Roger Michael; Spärck Jones, Karen I. B. (2004).
693: 521: 473: 1156: 942: 922: 907: 777: 477: 353: 266: 242: 161: 1752: 1747: 1570: 1367: 1278: 1063: 1059: 889: 884: 879: 345: 1055: 957: 952: 947: 583: 1543: 1068: 1045: 1024: 709:
Computer Systems: Theory, Technology, and Applications: a Tribute to
678:; Guy, M. J. T. (1966). "On the Hasse principle for cubic surfaces". 820: 575: 1162:
Euro-Asian Council for Standardization, Metrology and Certification
1144: 1074: 1050: 1014: 977: 912: 851: 369:; Guy, M. J. T. (1965). "Four-Dimensional Archimedean Polytopes". 1161: 1008: 994: 988: 917: 824: 273:. Also with Conway, an enumeration led to the discovery of the 658:
Rendiconti del Seminario Matematico della Università di Padova
225:. He is known for early work on computer systems, such as the 29: 328:
He subsequently went into computer science. He worked on the
310:
Department of Pure Mathematics and Mathematical Statistics
68:
and tools are available to assist in formatting, such as
371:
Proceedings of the Colloquium on Convexity at Copenhagen
340:, being one of a team of four in one office including 1770:^ = full name and link in prior ALGOL version above 1741: 1569: 1542: 1366: 1334: 1277: 1270: 1249: 1212: 1186: 1168:
International Federation for Information Processing
1133: 1126: 1117: 1090: 898: 868: 859: 198: 188: 174: 157: 147: 129: 122: 460:; Burgiel, Heidi; Goodman-Strauss, Chaim (2008). 1827:Alumni of Gonville and Caius College, Cambridge 1007:(ESPOL) → New Executive Programming Language ( 509:http://www.michaelgrant.dsl.pipex.com/phx.html 836: 782:Department of Computer Science and Technology 776:Wheeler, David; Hartley, David (March 1999). 245:in higher dimensions. He worked closely with 8: 1177:Society of Applied Mathematics and Mechanics 441:: CS1 maint: multiple names: authors list ( 49:, which are uninformative and vulnerable to 27:British mathematician and computer scientist 1005:Executive Systems Problem Oriented Language 64:and maintains a consistent citation style. 1372: 1283: 1274: 1130: 1123: 865: 843: 829: 821: 600:; Guy, M. J. T. (1982). "Message graphs". 387:Journal of the London Mathematical Society 249:, and is the son of Conway's collaborator 119: 398: 265:, Guy found the complete solution to the 106:Learn how and when to remove this message 564:The Two-Year College Mathematics Journal 304:Guy began work as a research student of 501: 281:in four dimensions. The two had met at 795:The Encyclopedia of Computer Languages 656:(1995). "Computer-aided serendipity". 434: 1240:Massachusetts Institute of Technology 283:Gonville and Caius College, Cambridge 7: 757:Hartley, David, ed. (21 July 1999). 1822:20th-century British mathematicians 1151:Association for Computing Machinery 1073:Small Machine ALGOL Like Language ( 56:Please consider converting them to 558:Guy, Richard K. (November 1982). " 25: 217:(born 1 April 1943) is a British 1784: 1783: 1774: 1773: 34: 1748:ALGOL 58 influence on ALGOL 60 602:Annals of Discrete Mathematics 418:"On rational Morley triangles" 60:to ensure the article remains 1: 1220:Case Institute of Technology 541:"The SOMAP construction map" 1842:British computer scientists 1832:Recreational mathematicians 1753:ALGOL 68 to other languages 233:, and for contributions to 1858: 784:. University of Cambridge. 765:. University of Cambridge. 297:. They also worked on the 293:, others contributions to 1765: 1375: 1286: 1257:Royal Radar Establishment 694:10.1112/S0025579300003879 632:: Springer. p. 127. 287:combinatorial game theory 208: 167: 1837:Mathematics popularizers 1230:University of St Andrews 539:Kustes, William (Bill). 462:The Symmetries of Things 409:10.1112/jlms/s2-19.1.137 348:, he was co-author with 291:recreational mathematics 1529:Adriaan van Wijngaarden 1225:University of Edinburgh 1105:Van Wijngaarden grammar 562:: Mathematical Magus". 231:University of Cambridge 193:University of Cambridge 1172:IFIP Working Group 2.1 800:25 August 2007 at the 625:Twelve Sporadic Groups 1611:Cornelis H. A. Koster 1383:Roland Carl Backhouse 1326:Joseph Henry Wegstein 1235:Manchester University 1194:Burroughs Corporation 620:Griess, Robert L. Jr. 466:Natick, Massachusetts 295:discrete mathematics 241:, and the theory of 1645:Willem van der Poel 1301:Hermann Bottenbruch 763:Computer Laboratory 759:"EDSAC 1 and after" 738:on 25 November 2018 520:Weisstein, Eric W. 470:Boca Raton, Florida 1790:Category: ALGOL 60 1621:Charles H. Lindsey 1401:Edsger W. Dijkstra 1296:Friedrich L. Bauer 984:Dartmouth ALGOL 30 560:John Horton Conway 279:uniform polychoron 247:John Horton Conway 219:computer scientist 1799: 1798: 1728: 1727: 1690: 1689: 1626:Barry J. Mailloux 1565: 1564: 1501:Jacob T. Schwartz 1396:Stephen R. Bourne 1362: 1361: 1316:Heinz Rutishauser 1266: 1265: 1113: 1112: 676:Cassels, J. W. S. 654:Cassels, J. W. S. 639:978-3-662-03516-0 526:Wolfram MathWorld 487:978-1-5688-1220-5 373:. pp. 38–39. 350:Stephen R. Bourne 257:Mathematical work 215:Michael J. T. Guy 212: 211: 199:Academic advisors 169:Scientific career 124:Michael J. T. Guy 116: 115: 108: 66:Several templates 18:Michael J. T. Guy 16:(Redirected from 1849: 1787: 1786: 1777: 1776: 1720:John C. Reynolds 1665:van Wijngaarden^ 1634:Lambert Meertens 1516:Bernard Vauquois 1373: 1354:Robert M. Graham 1284: 1275: 1199:Elliott Brothers 1131: 1124: 866: 845: 838: 831: 822: 815: 810: 804: 792: 786: 785: 773: 767: 766: 754: 748: 747: 745: 743: 737: 731:. Archived from 730: 722: 716: 715: 704: 698: 697: 672: 666: 665: 650: 644: 643: 616: 610: 609: 594: 588: 587: 555: 549: 548: 536: 530: 529: 517: 511: 506: 491: 446: 440: 432: 425:Acta Arithmetica 422: 412: 402: 374: 344:. In working on 324:Computer science 306:J. W. S. Cassels 239:computer algebra 203:J. W. S. Cassels 179:Computer science 143: 139: 137: 120: 111: 104: 100: 97: 91: 89: 78: 38: 37: 30: 21: 1857: 1856: 1852: 1851: 1850: 1848: 1847: 1846: 1802: 1801: 1800: 1795: 1780:Category: ALGOL 1772: 1761: 1758:ALGOL 68 to C++ 1737: 1724: 1686: 1677:Philip Woodward 1661:Michel Sintzoff 1653:Douglas T. Ross 1561: 1557:Kristen Nygaard 1538: 1482:John E. L. Peck 1411:Robert W. Floyd 1358: 1330: 1262: 1245: 1208: 1182: 1136: 1109: 1100:Jensen's device 1086: 973:Burroughs ALGOL 894: 871: 861:Implementations 855: 849: 819: 818: 811: 807: 802:Wayback Machine 793: 789: 775: 774: 770: 756: 755: 751: 741: 739: 735: 728: 724: 723: 719: 706: 705: 701: 674: 673: 669: 652: 651: 647: 640: 618: 617: 613: 596: 595: 591: 576:10.2307/3026500 557: 556: 552: 538: 537: 533: 519: 518: 514: 507: 503: 498: 488: 480:. p. 217. 458:Conway, John H. 456: 453: 433: 420: 415: 400:10.1.1.210.6483 393:(19): 137–143. 381:; Croft, H.T.; 377: 365: 362: 326: 314:Hasse principle 299:sporadic groups 275:grand antiprism 259: 141: 135: 133: 125: 112: 101: 95: 92: 80: 69: 55: 39: 35: 28: 23: 22: 15: 12: 11: 5: 1855: 1853: 1845: 1844: 1839: 1834: 1829: 1824: 1819: 1814: 1804: 1803: 1797: 1796: 1794: 1793: 1766: 1763: 1762: 1760: 1755: 1750: 1745: 1743: 1739: 1738: 1736: 1735: 1733:ALGOL Bulletin 1729: 1726: 1725: 1723: 1722: 1717: 1712: 1707: 1702: 1697: 1691: 1688: 1687: 1685: 1684: 1679: 1674: 1671: 1666: 1663: 1658: 1655: 1650: 1647: 1642: 1639: 1636: 1631: 1628: 1623: 1618: 1613: 1608: 1605: 1600: 1595: 1592: 1587: 1584: 1579: 1575: 1573: 1567: 1566: 1563: 1562: 1560: 1559: 1554: 1552:Ole-Johan Dahl 1548: 1546: 1540: 1539: 1537: 1536: 1531: 1526: 1523: 1518: 1513: 1508: 1503: 1498: 1495: 1492: 1487: 1484: 1479: 1474: 1469: 1467:Carroll Morgan 1464: 1459: 1454: 1449: 1444: 1441: 1436: 1431: 1426: 1421: 1418: 1416:Jeremy Gibbons 1413: 1408: 1403: 1398: 1393: 1388: 1385: 1380: 1376: 1370: 1364: 1363: 1360: 1359: 1357: 1356: 1351: 1349:Bernard Galler 1346: 1340: 1338: 1332: 1331: 1329: 1328: 1323: 1321:Klaus Samelson 1318: 1313: 1308: 1303: 1298: 1293: 1287: 1281: 1272: 1268: 1267: 1264: 1263: 1261: 1260: 1253: 1251: 1247: 1246: 1244: 1243: 1237: 1232: 1227: 1222: 1216: 1214: 1210: 1209: 1207: 1206: 1204:Regnecentralen 1201: 1196: 1190: 1188: 1184: 1183: 1181: 1180: 1174: 1165: 1159: 1154: 1148: 1141: 1139: 1128: 1121: 1115: 1114: 1111: 1110: 1108: 1107: 1102: 1096: 1094: 1088: 1087: 1085: 1084: 1078: 1071: 1066: 1053: 1048: 1043: 1038: 1033: 1027: 1022: 1017: 1012: 1002: 997: 992: 986: 981: 975: 970: 963:Atlas Autocode 960: 955: 950: 945: 940: 930: 925: 920: 915: 910: 904: 902: 896: 895: 893: 892: 887: 882: 876: 874: 863: 857: 856: 850: 848: 847: 840: 833: 825: 817: 816: 805: 787: 768: 749: 717: 714:. p. 105. 699: 688:(2): 111–120. 667: 645: 638: 611: 589: 570:(5): 290–299. 550: 531: 512: 500: 499: 497: 494: 493: 492: 486: 452: 449: 448: 447: 413: 375: 361: 358: 336:, Cambridge's 325: 322: 318:cubic surfaces 258: 255: 251:Richard K. Guy 229:system at the 210: 209: 206: 205: 200: 196: 195: 190: 186: 185: 176: 172: 171: 165: 164: 159: 158:Known for 155: 154: 152:United Kingdom 149: 145: 144: 131: 127: 126: 123: 114: 113: 58:full citations 42: 40: 33: 26: 24: 14: 13: 10: 9: 6: 4: 3: 2: 1854: 1843: 1840: 1838: 1835: 1833: 1830: 1828: 1825: 1823: 1820: 1818: 1817:Living people 1815: 1813: 1810: 1809: 1807: 1792: 1791: 1782: 1781: 1771: 1768: 1767: 1764: 1759: 1756: 1754: 1751: 1749: 1746: 1744: 1740: 1734: 1731: 1730: 1721: 1718: 1716: 1715:Peter O'Hearn 1713: 1711: 1708: 1706: 1703: 1701: 1698: 1696: 1693: 1692: 1683: 1680: 1678: 1675: 1672: 1670: 1669:Niklaus Wirth 1667: 1664: 1662: 1659: 1656: 1654: 1651: 1648: 1646: 1643: 1640: 1637: 1635: 1632: 1629: 1627: 1624: 1622: 1619: 1617: 1614: 1612: 1609: 1606: 1604: 1601: 1599: 1596: 1593: 1591: 1588: 1585: 1583: 1582:Susan G. Bond 1580: 1577: 1576: 1574: 1572: 1568: 1558: 1555: 1553: 1550: 1549: 1547: 1545: 1541: 1535: 1532: 1530: 1527: 1524: 1522: 1519: 1517: 1514: 1512: 1509: 1507: 1504: 1502: 1499: 1496: 1493: 1491: 1490:Brian Randell 1488: 1485: 1483: 1480: 1478: 1477:Maurice Nivat 1475: 1473: 1470: 1468: 1465: 1463: 1462:John McCarthy 1460: 1458: 1457:Conor McBride 1455: 1453: 1450: 1448: 1445: 1442: 1440: 1437: 1435: 1432: 1430: 1427: 1425: 1422: 1419: 1417: 1414: 1412: 1409: 1407: 1406:Andrey Ershov 1404: 1402: 1399: 1397: 1394: 1392: 1389: 1386: 1384: 1381: 1378: 1377: 1374: 1371: 1369: 1365: 1355: 1352: 1350: 1347: 1345: 1342: 1341: 1339: 1337: 1333: 1327: 1324: 1322: 1319: 1317: 1314: 1312: 1309: 1307: 1304: 1302: 1299: 1297: 1294: 1292: 1289: 1288: 1285: 1282: 1280: 1276: 1273: 1269: 1258: 1255: 1254: 1252: 1248: 1241: 1238: 1236: 1233: 1231: 1228: 1226: 1223: 1221: 1218: 1217: 1215: 1211: 1205: 1202: 1200: 1197: 1195: 1192: 1191: 1189: 1185: 1178: 1175: 1173: 1169: 1166: 1163: 1160: 1158: 1155: 1152: 1149: 1146: 1143: 1142: 1140: 1138: 1132: 1129: 1127:Organizations 1125: 1122: 1120: 1116: 1106: 1103: 1101: 1098: 1097: 1095: 1093: 1089: 1082: 1079: 1076: 1072: 1070: 1067: 1065: 1061: 1057: 1054: 1052: 1049: 1047: 1044: 1042: 1039: 1037: 1034: 1031: 1028: 1026: 1023: 1021: 1018: 1016: 1013: 1010: 1006: 1003: 1001: 1000:Elliott ALGOL 998: 996: 993: 990: 987: 985: 982: 979: 976: 974: 971: 968: 967:Edinburgh IMP 964: 961: 959: 956: 954: 951: 949: 946: 944: 941: 938: 934: 931: 929: 926: 924: 921: 919: 916: 914: 911: 909: 906: 905: 903: 901: 897: 891: 888: 886: 883: 881: 878: 877: 875: 873: 867: 864: 862: 858: 853: 846: 841: 839: 834: 832: 827: 826: 823: 814: 809: 806: 803: 799: 796: 791: 788: 783: 779: 772: 769: 764: 760: 753: 750: 734: 727: 721: 718: 713: 712: 711:Roger Needham 703: 700: 695: 691: 687: 683: 682: 677: 671: 668: 663: 659: 655: 649: 646: 641: 635: 631: 630:New York City 627: 626: 621: 615: 612: 607: 603: 599: 593: 590: 585: 581: 577: 573: 569: 565: 561: 554: 551: 546: 542: 535: 532: 527: 523: 516: 513: 510: 505: 502: 495: 489: 483: 479: 475: 471: 467: 463: 459: 455: 454: 450: 444: 438: 430: 426: 419: 414: 410: 406: 401: 396: 392: 388: 384: 380: 376: 372: 368: 364: 363: 359: 357: 355: 351: 347: 343: 342:Roger Needham 339: 335: 331: 330:filing system 323: 321: 319: 315: 311: 307: 302: 300: 296: 292: 288: 284: 280: 277:, an unusual 276: 272: 268: 264: 256: 254: 252: 248: 244: 240: 236: 235:number theory 232: 228: 224: 223:mathematician 220: 216: 207: 204: 201: 197: 194: 191: 187: 184: 180: 177: 173: 170: 166: 163: 160: 156: 153: 150: 146: 142:(age 81) 132: 128: 121: 118: 110: 107: 99: 87: 86:documentation 83: 76: 75:documentation 72: 67: 63: 59: 54: 52: 48: 43:This article 41: 32: 31: 19: 1812:1940s births 1788: 1778: 1769: 1710:Ron Morrison 1705:Tony Brooker 1682:Nobuo Yoneda 1616:Peter Landin 1602: 1598:Gerhard Goos 1590:Robert Dewar 1534:Mike Woodger 1511:David Turner 1506:Micha Sharir 1494:Rutishauser^ 1447:Peter Landin 1420:Julien Green 1391:Richard Bird 1306:Charles Katz 1137:associations 1135:Professional 808: 790: 781: 771: 762: 752: 740:. Retrieved 733:the original 720: 708: 702: 685: 679: 670: 661: 657: 648: 624: 614: 605: 601: 598:Conway, J.H. 592: 567: 563: 553: 544: 534: 525: 515: 504: 461: 437:cite journal 428: 424: 390: 386: 379:Conway, J.H. 370: 367:Conway, J.H. 360:Bibliography 327: 303: 260: 214: 213: 189:Institutions 168: 140:1 April 1943 117: 102: 93: 82:Citation bot 44: 1700:John Barnes 1695:Hal Abelson 1603:Michael Guy 1452:Tom Maibaum 1439:Jørn Jensen 1429:Eric Hehner 1424:David Gries 1344:Bruce Arden 1311:Alan Perlis 1291:John Backus 854:programming 681:Mathematika 522:"Soma Cube" 183:mathematics 148:Citizenship 96:August 2022 1806:Categories 1742:Comparison 1521:Eiiti Wada 1472:Peter Naur 1434:Tony Hoare 1250:Government 1092:Formalisms 933:ALGOL 68RS 928:ALGOL 68-R 664:: 187–197. 496:References 474:A K Peters 136:1943-04-01 62:verifiable 1657:Samelson^ 1630:McCarthy^ 1594:Dijkstra^ 1525:Wegstein^ 1497:Samelson^ 1213:Education 1157:BSI Group 1119:Community 1030:Kidsgrove 943:ALGOL 68S 923:ALGOL 68C 908:ABC ALGOL 872:standards 870:Technical 813:ALGOL 68C 545:SOMA News 478:CRC Press 395:CiteSeerX 383:Erdos, P. 354:ALGOL 68C 271:Piet Hein 267:Soma cube 243:polyhedra 162:ALGOL 68C 47:bare URLs 1673:Woodger^ 1649:Randell^ 1571:ALGOL 68 1368:ALGOL 60 1279:ALGOL 58 1187:Business 1064:Napier88 1060:PS-algol 900:Dialects 890:ALGOL 68 885:ALGOL 60 880:ALGOL 58 798:Archived 622:(1998). 608:: 61–64. 346:ALGOL 68 51:link rot 1586:Bourne^ 1486:Perlis^ 1379:Backus^ 1170:(IFIP) 1056:S-algol 958:ALGOL X 953:ALGOL W 948:ALGOL N 742:24 July 584:3026500 338:Atlas 2 227:Phoenix 1607:Hoare^ 1578:Bauer^ 1544:Simula 1387:Bauer^ 1271:People 1179:(GAMM) 1164:(EASC) 1069:Simula 1046:NELIAC 1025:JOVIAL 636:  582:  484:  397:  263:Conway 175:Fields 71:reFill 1641:Peck^ 1638:Naur^ 1443:Katz^ 1259:(RRE) 1242:(MIT) 1153:(ACM) 1147:Group 1145:ALCOR 1083:ALGOL 1075:SMALL 1051:RTL/2 1032:Algol 1015:FLACC 991:ALGOL 978:CORAL 913:ALCOR 852:ALGOL 736:(PDF) 729:(PDF) 580:JSTOR 451:Notes 429:XCIII 421:(PDF) 334:Titan 261:With 45:uses 1081:SMIL 1041:Mary 1009:NEWP 995:DG/L 989:DASK 937:ELLA 918:ALGO 744:2020 634:ISBN 482:ISBN 443:link 431:(2). 332:for 316:for 221:and 130:Born 79:and 1336:MAD 1036:MAD 1020:IMP 690:doi 572:doi 405:doi 352:of 308:at 269:of 1808:: 1062:, 1058:, 980:66 780:. 761:. 686:13 684:. 662:93 660:. 628:. 606:13 604:. 578:. 568:13 566:. 543:. 524:. 476:– 472:: 468:– 464:. 439:}} 435:{{ 427:. 423:. 403:. 391:II 389:. 356:. 320:. 301:. 253:. 237:, 181:, 138:) 1077:) 1011:) 969:) 965:( 939:) 935:( 844:e 837:t 830:v 746:. 696:. 692:: 642:. 586:. 574:: 547:. 528:. 490:. 445:) 411:. 407:: 134:( 109:) 103:( 98:) 94:( 90:. 88:) 84:( 77:) 73:( 53:. 20:)

Index

Michael J. T. Guy
bare URLs
link rot
full citations
verifiable
Several templates
reFill
documentation
Citation bot
documentation
Learn how and when to remove this message
United Kingdom
ALGOL 68C
Computer science
mathematics
University of Cambridge
J. W. S. Cassels
computer scientist
mathematician
Phoenix
University of Cambridge
number theory
computer algebra
polyhedra
John Horton Conway
Richard K. Guy
Conway
Soma cube
Piet Hein
grand antiprism

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