J. Barkley Rosser - J. Barkley Rosser

John Barkley Rosser Sr. ( 06.12.1907 - 05.09.1989 ) byl americký logik , student Alonzo Church , a známý pro jeho část v Church -Rosser teorém , v lambda kalkulu . V teorii čísel také vyvinul to, čemu se dnes říká „Rosserovo síto“ . Později byl ředitelem výzkumného centra armádní matematiky na University of Wisconsin – Madison . Rosser je také autorem matematických učebnic.

V roce 1936 prokázal Rosserův trik , silnější verzi Gödelovy první věty o neúplnosti , což ukazuje, že požadavek na konzistenci ω může být oslaben na konzistenci. Místo toho, aby použil větu lhářského paradoxu ekvivalentní „Nejsem prokazatelný“, použil větu, která uváděla „Pro každý můj důkaz existuje kratší důkaz mé negace“.

V teorii prvočísel dokázal Rosserovu větu .

Kleene-Rosserova paradox ukázalo, že původní lambda kalkul byl rozporuplný.

Rosser zemřel na aneurysma 5. září 1989 ve svém domě v Madisonu ve Wisconsinu .

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 od Johna Barkleyho Rossera, Univ. Diss. Princeton, New Jersey, 1934, s. 127–150, 328–355
• Logika pro matematiky od Johna B. Rossera, McGraw-Hill 1953; 2. vyd., 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, roč. 6, n 4, s. 337–349
• Zjednodušené důkazy nezávislosti: Booleovské oceňované modely teorie množin , J. Barkley Rosser, Academic Press, 1969
• Úplný seznam Rosserových publikací najdete v dokumentech Barkley Rosser .

Reference

externí odkazy

• J. Barkley Rosser na projektu Mathematics Genealogy Project
• Rozhovor s Rosserem a Stephenem Kleene o jejich zkušenostech z Princetonu