J. Barkleya Rossera

Johna Barkleya Rossera
Urodzić się	( 1907-12-06 ) 6 grudnia 1907 Jacksonville, Floryda , Stany Zjednoczone
Zmarł	5 września 1989 ( w wieku 81) ( 05.09.1989 ) Madison, Wisconsin , Stany Zjednoczone
Narodowość	amerykański
Alma Mater	Uniwersytet Princeton
Znany z	Twierdzenie Churcha-Rossera Paradoks Kleene-Rossera Sito Rossera
Kariera naukowa
Pola	Logika matematyczna Teoria liczb
Instytucje	Cornell University University of Wisconsin-Madison , IDA/CRD
Doradca doktorski	Kościół Alonzo
Doktoranci	George E. Collins Elliott Mendelson Gerald Sacks

John Barkley Rosser Senior (6 grudnia 1907 - 5 września 1989) był amerykańskim logikiem , uczniem Alonzo Church , znanym ze swojego udziału w twierdzeniu Churcha-Rossera w rachunku lambda . Opracował także to, co obecnie nazywa się „sito Rossera” w teorii liczb . Był częścią wydziału matematyki na Cornell University od 1936 do 1963, przewodnicząc mu kilka razy. Później był dyrektorem Army Mathematics Research Center na Uniwersytecie Wisconsin-Madison i pierwszy dyrektor Wydziału Badań nad Komunikacją IDA . Rosser był także autorem podręczników matematycznych.

W 1936 roku udowodnił sztuczkę Rossera , mocniejszą wersję pierwszego twierdzenia Gödla o niezupełności , pokazując, że wymóg zgodności ω można osłabić do spójności. Zamiast używać paradoksalnego zdania kłamcy równoważnego z „Nie można mnie udowodnić”, użył zdania, które brzmiało: „Dla każdego dowodu na mnie istnieje krótszy dowód mojej negacji”.

W teorii liczb pierwszych udowodnił twierdzenie Rossera .

Paradoks Kleene-Rossera wykazał , że oryginalny rachunek lambda był niespójny.

Rosser zmarł na tętniaka 5 września 1989 roku w swoim domu w Madison w stanie Wisconsin .

Syn Rossera, John Barkley Rosser Jr. , był ekonomistą matematycznym i profesorem na Uniwersytecie Jamesa Madisona w Harrisonburgu w Wirginii.

Wybrane publikacje

• Logika matematyczna bez zmiennych autorstwa Johna Barkleya Rossera, Univ. diss. Princeton, NJ 1934, s. 127-150, 328-355
•   Logika dla matematyków autorstwa Johna B. Rossera, McGraw-Hill 1953; wyd. 2, Chelsea Publ. Co. 1978, 578 s., ISBN 0-8284-0294-9
• Highlights of the History of Lambda calculus , J. Barkley Rosser, Annals of the History of Computing, 1984, tom 6, n 4, s. 337–349
• Uproszczone dowody niezależności: Boole'owskie modele teorii mnogości , J. Barkley Rosser, Academic Press, 1969
• Pełną listę publikacji Rossera można znaleźć w artykułach Barkleya Rossera .

Linki zewnętrzne

• J. Barkley Rosser w Mathematics Genealogy Project
• Wywiad z Rosserem i Stephenem Kleene na temat ich doświadczeń w Princeton