Ernst Specker

計算可能実数からなる有界な増加列があってもその上限は計算可能実数であるとは限らない。 この性質を満たす数列はSpecker sequenceとして知られている。これはErnst Speckerによって1949年に構成された。 このような反例がある一方、実解析の一部は計算可能数の分野で発展し計算可能解析学の研究に繋がっている。

ツールであるクライスリ・クエリシステムにおいても名を残している。 1960年にチューリッヒ工科大学で指導教官のBeno EckmannとErnst Speckerの下で博士号を取得。博士論文はホモトピーとアーベル圏についてのものであった。彼はオタワ大学の准教授を務めた後、1966年にフリブール大学

Journal 3 (1): 68–122, doi:10.1215/S0012-7094-37-00308-9, MR1545974 . ^ Specker, Ernst (1950), “Additive Gruppen von Folgen ganzer Zahlen”, Portugaliae Math

ISSN 0003-486X, JSTOR 1970696, MR0265151, https://jstor.org/stable/1970696  Specker, Ernst (1957), “Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom)”