コペルニクス的転回という言葉を作ったのは誰？
ニコラウス・コペルニクス
コペルニクスの説が完全に受け入れられるまでには100年以上の時がかかり、また発表から数十年間は目立った動きは起きなかったものの、最終的にはコペルニクスの説は世界観そのものを覆すような大きな影響力を持つこととなった。18世紀後半には、哲学者イマヌエル・カントが「コペルニクス的転回」という言葉を作り、やがてこの言葉がパラダイム転換と同じような意味で使われるようになったのも、コペルニクスの業績が広く受け入れられるようになったひとつの証左である。
再帰理論
再帰関数と集合に関する用語は完全に一定しているわけではない。μ再帰関数による定義や、ゲーデルによる "rekursiv"（再帰）関数の定義から、伝統的に「再帰的; recursive」という言葉でチューリングマシンで計算可能な集合や関数を意味するようになった。「決定可能; decidable」という用語はチューリングらが論文で使っていたドイツ語 Entscheidungsproblem に由来する。現在では「計算可能関数; computable function」という用語には様々な定義がある。Cutland（1980）によればそれは部分再帰関数（入力値によっては動作が未定義となる関数）を意味し、Soare（1987）によれば、それは全域再帰関数（一般再帰関数）を意味する。この記事では後者の意味で用いる。Soare（1996）には、他にも用語についてのコメントがある。