Knowledge

Henry Gordon Rice

Source 📝

254: 267: 260: 304: 353: 343: 338: 358: 70: 333: 297: 290: 238: 39: 348: 35: 163: 22:(July 18, 1920 – April 14, 2003) was an American logician and mathematician best known as the author of 182: 158: 43: 328: 323: 27: 140: 31: 74: 50: 23: 130: 253: 266: 274: 317: 202: 187: 234: 144: 259: 135: 119:"Classes of Recursively Enumerable Sets and Their Decision Problems" 118: 95: 26:, which he proved in his doctoral dissertation of 1951 at 278: 273:This article about an American mathematician is a 34:. Rice was also a Professor of Mathematics at the 123:Transactions of the American Mathematical Society 298: 129:(2). American Mathematical Society: 358–366. 8: 171:. Association for Computing Machinery. 1965. 305: 291: 134: 62: 7: 354:Mathematicians from New York (state) 344:21st-century American mathematicians 339:20th-century American mathematicians 249: 247: 16:American mathematician (1920–2003) 14: 38:. After 1960 he was employed by 265: 258: 252: 49:Rice died on April 14, 2003, in 212:. American Mathematical Society 1: 239:Mathematics Genealogy Project 40:Computer Sciences Corporation 359:American mathematician stubs 277:. You can help Knowledge by 36:University of New Hampshire 375: 334:Syracuse University alumni 246: 117:Rice, H. G. (March 1953). 164:Communications of the ACM 191:. January–February 1960. 203:"Deaths of AMS Members" 71:"wolframscience.com" 30:with thesis advisor 96:"Henry Gordon Rice" 28:Syracuse University 349:American logicians 98:. familySearch.org 32:Paul C. Rosenbloom 286: 285: 51:Davis, California 20:Henry Gordon Rice 366: 307: 300: 293: 269: 264: 263: 262: 256: 248: 222: 221: 219: 217: 207: 199: 193: 192: 179: 173: 172: 155: 149: 148: 138: 114: 108: 107: 105: 103: 92: 86: 85: 83: 82: 73:. Archived from 67: 374: 373: 369: 368: 367: 365: 364: 363: 314: 313: 312: 311: 257: 251: 244: 231: 226: 225: 215: 213: 205: 201: 200: 196: 181: 180: 176: 157: 156: 152: 136:10.2307/1990888 116: 115: 111: 101: 99: 94: 93: 89: 80: 78: 69: 68: 64: 59: 17: 12: 11: 5: 372: 370: 362: 361: 356: 351: 346: 341: 336: 331: 326: 316: 315: 310: 309: 302: 295: 287: 284: 283: 270: 242: 241: 230: 229:External links 227: 224: 223: 194: 174: 150: 109: 87: 61: 60: 58: 55: 24:Rice's theorem 15: 13: 10: 9: 6: 4: 3: 2: 371: 360: 357: 355: 352: 350: 347: 345: 342: 340: 337: 335: 332: 330: 327: 325: 322: 321: 319: 308: 303: 301: 296: 294: 289: 288: 282: 280: 276: 271: 268: 261: 255: 250: 245: 240: 236: 235:Henry G. Rice 233: 232: 228: 211: 204: 198: 195: 190: 189: 184: 178: 175: 170: 166: 165: 160: 154: 151: 146: 142: 137: 132: 128: 124: 120: 113: 110: 97: 91: 88: 77:on 2017-04-22 76: 72: 66: 63: 56: 54: 52: 47: 45: 41: 37: 33: 29: 25: 21: 279:expanding it 272: 243: 214:. Retrieved 209: 197: 186: 177: 168: 162: 159:"Pracniques" 153: 126: 122: 112: 100:. Retrieved 90: 79:. Retrieved 75:the original 65: 48: 19: 18: 329:2003 deaths 324:1920 births 183:"News Item" 318:Categories 216:6 February 188:Datamation 81:2009-08-18 57:References 44:El Segundo 210:ams.org/ 237:at the 145:1990888 102:14 July 143:  206:(PDF) 141:JSTOR 275:stub 218:2015 104:2014 131:doi 42:in 320:: 208:. 185:. 167:. 161:. 139:. 127:74 125:. 121:. 53:. 46:. 306:e 299:t 292:v 281:. 220:. 169:8 147:. 133:: 106:. 84:.

Index

Rice's theorem
Syracuse University
Paul C. Rosenbloom
University of New Hampshire
Computer Sciences Corporation
El Segundo
Davis, California
"wolframscience.com"
the original
"Henry Gordon Rice"
"Classes of Recursively Enumerable Sets and Their Decision Problems"
doi
10.2307/1990888
JSTOR
1990888
"Pracniques"
Communications of the ACM
"News Item"
Datamation
"Deaths of AMS Members"
Henry G. Rice
Mathematics Genealogy Project
Flag of United States
Scientist icon

stub
expanding it
v
t
e

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