493:
438:
488:
206:
128:
190:
473:
228:
sentence equivalent to "I am not provable," he used a sentence that stated "For every proof of me, there is a shorter proof of my negation".
463:
217:
387:
331:
478:
359:
483:
202:
124:
287:
201:
from 1936 to 1963, chairing it several times. He was later director of the Army
Mathematics Research Center at the
433:
468:
239:
182:
87:
83:
295:, by J. Barkley Rosser, Annals of the History of Computing, 1984, vol 6, n 4, pp. 337–349
261:
257:
42:
305:
458:
453:
73:
8:
232:
250:
198:
120:
106:
61:
283:
213:
154:
150:
411:
406:
135:
342:
221:
364:
186:
276:
by John
Barkley Rosser, Univ. Diss. Princeton, NJ 1934, p. 127–150, 328–355
369:
282:
by John B. Rosser, McGraw-Hill 1953; 2nd ed., Chelsea Publ. Co. 1978, 578 p.,
447:
439:
Interview with Rosser and
Stephen Kleene about their experiences at Princeton
383:
194:
178:
140:
110:
429:
225:
158:
332:"Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser"
264:
and professor at James
Madison University in Harrisonburg, Virginia.
299:
Simplified
Independence Proofs: Boolean Valued Models of Set Theory
246:
174:
494:
Presidents of the
Society for Industrial and Applied Mathematics
242:
showed that the original lambda calculus was inconsistent.
224:
may be weakened to consistency. Rather than using the
173:(December 6, 1907 – September 5, 1989) was an American
445:
209:. Rosser also authored mathematical textbooks.
197:. He was part of the mathematics department at
310:for a complete list of Rosser's publications.
382:
301:, by J. Barkley Rosser, Academic Press, 1969
293:Highlights of the History of Lambda calculus
189:. He also developed what is now called the "
326:
324:
410:
267:
489:University of Wisconsin–Madison faculty
321:
207:Communications Research Division of IDA
446:
274:A mathematical logic without variables
474:20th-century American mathematicians
368:, September 19, 1989, archived from
218:Gödel's first incompleteness theorem
220:, showing that the requirement for
13:
249:September 5, 1989, at his home in
231:In prime number theory, he proved
14:
505:
464:People from Jacksonville, Florida
423:
339:University of Wisconsin, Madison
181:, and known for his part in the
412:10.1090/s0002-9904-1954-09798-7
341:, March 5, 1990, archived from
203:University of Wisconsin–Madison
125:University of Wisconsin–Madison
376:
352:
205:and the first director of the
1:
434:Mathematics Genealogy Project
314:
16:American logician (1907–1989)
7:
479:Princeton University alumni
84:Church–Rosser theorem
10:
510:
484:Cornell University faculty
164:
146:
134:
116:
102:
95:
79:
69:
50:
28:
21:
390:Logic for mathematicians
280:Logic for mathematicians
216:, a stronger version of
258:John Barkley Rosser Jr.
171:John Barkley Rosser Sr.
262:mathematical economist
399:Bull. Amer. Math. Soc
307:Barkley Rosser papers
268:Selected publications
240:Kleene–Rosser paradox
183:Church–Rosser theorem
88:Kleene–Rosser paradox
43:Jacksonville, Florida
74:Princeton University
372:on November 3, 2012
212:In 1936, he proved
23:John Barkley Rosser
469:American logicians
251:Madison, Wisconsin
245:Rosser died of an
199:Cornell University
121:Cornell University
107:Mathematical logic
62:Madison, Wisconsin
430:J. Barkley Rosser
168:
167:
155:Elliott Mendelson
151:George E. Collins
147:Doctoral students
97:Scientific career
54:September 5, 1989
501:
417:
416:
414:
396:
392:by J. B. Rosser"
380:
374:
373:
356:
350:
349:
347:
336:
328:
233:Rosser's theorem
136:Doctoral advisor
57:
39:December 6, 1907
38:
36:
19:
18:
509:
508:
504:
503:
502:
500:
499:
498:
444:
443:
426:
421:
420:
394:
381:
377:
365:Washington Post
358:
357:
353:
348:on June 8, 2011
345:
334:
330:
329:
322:
317:
270:
187:lambda calculus
177:, a student of
157:
153:
123:
109:
90:
86:
70:Alma mater
65:
59:
55:
46:
40:
34:
32:
24:
17:
12:
11:
5:
507:
497:
496:
491:
486:
481:
476:
471:
466:
461:
456:
442:
441:
436:
425:
424:External links
422:
419:
418:
405:(3): 266–272.
375:
351:
319:
318:
316:
313:
312:
311:
302:
296:
290:
277:
269:
266:
256:Rosser's son,
214:Rosser's trick
166:
165:
162:
161:
148:
144:
143:
138:
132:
131:
118:
114:
113:
104:
100:
99:
93:
92:
91:Rosser's sieve
81:
80:Known for
77:
76:
71:
67:
66:
60:
58:(aged 81)
52:
48:
47:
41:
30:
26:
25:
22:
15:
9:
6:
4:
3:
2:
506:
495:
492:
490:
487:
485:
482:
480:
477:
475:
472:
470:
467:
465:
462:
460:
457:
455:
452:
451:
449:
440:
437:
435:
431:
428:
427:
413:
408:
404:
400:
393:
391:
385:
379:
371:
367:
366:
361:
355:
344:
340:
333:
327:
325:
320:
309:
308:
303:
300:
297:
294:
291:
289:
288:0-8284-0294-9
285:
281:
278:
275:
272:
271:
265:
263:
259:
254:
252:
248:
243:
241:
236:
234:
229:
227:
223:
222:ω-consistency
219:
215:
210:
208:
204:
200:
196:
195:number theory
192:
188:
184:
180:
179:Alonzo Church
176:
172:
163:
160:
156:
152:
149:
145:
142:
141:Alonzo Church
139:
137:
133:
130:
126:
122:
119:
115:
112:
111:Number theory
108:
105:
101:
98:
94:
89:
85:
82:
78:
75:
72:
68:
63:
53:
49:
44:
31:
27:
20:
402:
398:
389:
384:Curry, H. B.
378:
370:the original
363:
354:
343:the original
338:
306:
298:
292:
279:
273:
255:
244:
237:
230:
226:liar paradox
211:
191:Rosser sieve
170:
169:
159:Gerald Sacks
117:Institutions
96:
56:(1989-09-05)
459:1989 deaths
454:1907 births
448:Categories
315:References
35:1907-12-06
388:"Review:
386:(1954).
360:"Deaths"
260:, was a
247:aneurysm
175:logician
432:at the
129:IDA/CRD
286:
103:Fields
64:, U.S.
45:, U.S.
395:(PDF)
346:(PDF)
335:(PDF)
193:" in
304:See
284:ISBN
238:The
51:Died
29:Born
407:doi
185:in
450::
403:60
401:.
397:.
362:,
337:,
323:^
253:.
235:.
127:,
415:.
409::
37:)
33:(
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.