Jussi Ketonen

Jussi Antero Ketonen (s. 1952) on suomalaissyntyinen Yhdysvalloissa asuva matemaatikko. Hän asuu nykyisin Palo Altossa Kaliforniassa. Hän on nuorin tohtoriksi väitellyt suomalaissyntyinen henkilö.

Ketosen vanhemmat ovat professori Oiva Ketonen ja maisteri Sirkka Elina Munter.

Ketonen valmistui filosofian kandidaatiksi Åbo Akademista 15-vuotiaana vuonna 1968. Hän väitteli vuonna 1971 19-vuotiaana tohtoriksi Wisconsinin yliopistossa. Väitöskirjan nimi oli Everything You Wanted to Know About Ultrafilters But Were Afraid to Ask.

Ketonen on ollut naimisissa vuodesta 1973 yhdysvaltalaisen kirjailijan Rachel Lodenin (s. 1948) kanssa.

Julkaisuja 
 Strong compactness and other cardinal sins, Ann. Math. Logic 5, 47-76, 1972
 Banach spaces and large cardinals. Fundamenta Mathematicae, 81:291{303), 1974
 Miroslav Benda and Jussi Ketonen : On regularity of ultrafilters. Israel J. Math. 17, 231-240, 1974
 On the existence of P-points in the Stone-Cech compactification of integers. Fundamenta Mathematicae, 92:91–94, 1976
 The structure of countable Boolean algebras. Annals of Mathematics 108 (1): 41–89, 1978
 Efficient theorem proving in set theory. In P. Suppes (Ed.), University-level computer-assisted instruction at Stanford: 1968-1980. Stanford University, Institute for Mathematical Studies in the Social Sciences,1981
 Jussi Ketonen and Robert M. Solovay : Rapidly growing Ramsey functions. Annals of. Mathematics, 113(2):267–314, 1981
 Jussi Kctonen and Joseph S. Weening : The Language of an Interactive Proof Check. Department of Computer Science, Stanford University, Report No. STAN-E-83-992, Decembcr 1983 (Pdf-tiedostona)
 Gianluigi Bellin and Jussi Ketonen : A decision procedure revisited : Notes on direct logic, linear logic and its implementation. Theoretical Computer Science 95 : 115-142, 1992 (Pdf-tiedostona )
 On a decidable fragment of predicate calculus. (Pdf-tiedostona )

Lähteet 

Yhdysvaltalaiset matemaatikot
Amerikansuomalaiset henkilöt
Vuonna 1952 syntyneet
Elävät henkilöt