J. Barkley Rosser - J. Barkley Rosser
John Barkley Rosser | |
|---|---|
| narozený | 6. prosince 1907 |
| Zemřel | 5. září 1989 (ve věku 81) Madison, Wisconsin, USA |
| Národnost | Spojené státy |
| Alma mater | Univerzita Princeton |
| Známý jako | Církev – Rosserova věta Paradox Kleene – Rosser Rosserovo síto |
| Vědecká kariéra | |
| Pole | Matematická logika Teorie čísel |
| Doktorský poradce | Alonzo Church |
| Doktorandi | Elliott Mendelson Gerald Sacks |
John Barkley Rosser st. (6. prosince 1907 - 5. září 1989) byl americký logik, student Alonzo Church, a známý svou účastí v Církev – Rosserova věta, v lambda kalkul. Také vyvinul to, čemu se nyní říká „Rosserovo síto“ teorie čísel. Později byl ředitelem armádního výzkumného střediska pro matematiku v University of Wisconsin – Madison. Rosser také napsal matematické učebnice.
V roce 1936 to dokázal Rosserův trik, silnější verze Gödelova první věta o neúplnosti, což ukazuje, že požadavek na ω-konzistence může být oslabena konzistence. Spíše než používat paradox lháře věta ekvivalentní „Nejsem prokazatelný,“ použil větu, která uváděla „Pro každý důkaz o mně existuje kratší důkaz o mé negaci“.
V teorii prvočísel to dokázal Rosserova věta.
The Paradox Kleene – Rosser ukázal, že původní lambda kalkul byl nekonzistentní.
Rosser zemřel na aneuryzma 5. září 1989 ve svém domě v Madison, Wisconsin.[1][2]
Rosserův syn, John Barkley Rosser Jr., je matematický ekonom a profesor na univerzitě Jamese Madisona v Harrisonburgu ve Virginii.
Vybrané publikace
- Matematická logika bez proměnných John Barkley Rosser, Univ. Diss. Princeton, NJ 1934, str. 127–150, 328–355
- Logika pro matematiky John B. Rosser, McGraw-Hill 1953;[3] 2. vydání, Chelsea Publ. Co. 1978, 578 s., ISBN 0-8284-0294-9
- Hlavní body historie lambda kalkulu, J. Barkley Rosser, Annals of the History of Computing, 1984, svazek 6, č. 4, str. 337–349
- Zjednodušené důkazy o nezávislosti: Booleovské hodnotné modely teorie množin, J. Barkley Rosser, Academic Press, 1969
- Vidět Papíry Barkley Rosser pro úplný seznam publikací společnosti Rosser.
Reference
- ^ "Úmrtí", Washington Post, 19. září 1989, archivováno z originál 3. listopadu 2012
- ^ „Memorial Resolution on the Death of Emeritus Professor J. Barkley Rosser“ (PDF), University of Wisconsin, Madison, 5. března 1990, archivovány od originál (PDF) 8. června 2011
- ^ Curry, H. B. (1954). "Posouzení: Logika pro matematiky J. B. Rosser " (PDF). Býk. Amer. Matematika. Soc. 60 (3): 266–272. doi:10.1090 / s0002-9904-1954-09798-7.
