著者
田中 一之
出版者
日本科学哲学会
雑誌
科学哲学 (ISSN:02893428)
巻号頁・発行日
vol.40, no.2, pp.13-21, 2007-12-25 (Released:2009-05-29)
参考文献数
20

Reverse Mathematics is an ongoing research program on foundations of mathematics, whose aim is to find out what kinds of logical or set-theoretical hypotheses are necessary and sufficient to prove a theorem of ordinary mathematics. In this paper, we show that the fundamental theorem of algebra holds within RCA0, a weakest base theory of this program, by way of a combination of a nonstandard method and a conservation result on weak König's lemma.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (1 users, 1 posts, 0 favorites)

メモ→ 田中一之『逆数学と超準的手法:代数学の基本定理を題材として』https://t.co/9gg8qIUCdg 田中一之『数学基礎論の伝統と新しい手法:逆数学』https://t.co/0Kz9UeAX4m 「逆数学」ウィキペディアhttp://t.co/JViKMfcylB

収集済み URL リスト