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öFilosofi joutui poliittiseen soppaan, Helsingin Sanomat 7.3.2013.
Ketosen vanhemmat ovat professori Oiva Ketonen ja maisteri Sirkka Elina Munter.Kuka kukin on 1978 : Oiva Ketonen
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.Mathematics Genealogy Project : Jussi Antero Ketonen
Ketonen on ollut naimisissa vuodesta 1973 yhdysvaltalaisen kirjailijan Rachel Lodenin (s. 1948) kanssa.Rachel Loden (1948–)
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
Luokka:Yhdysvaltalaiset matemaatikot Luokka:Amerikansuomalaiset henkilöt Luokka:Vuonna 1952 syntyneet Luokka:Elävät henkilöt