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