フッサールの数理哲学(2) : 拡張不可能性と決定可能性との同値

概要

論文の詳細を見る
This treatise follows my preceding one in this "Memoirs" on Husserl's theory of the 'definite multiplicity'. We would be thinking over the equivalence of the inextensibility and the decidability of an axiom-system. This equivalence can in general be easily shown. But Husserl conciders, at every field of the objects, the decidability and the inextensibility of the axiom-system which bounds the field in question. This is the character of Husserl's way of thinking. Husserl's main interest lies in the question: 'Would a proposition which is deduced in the extended axiom-system have a meaning and be decidable or not in the original smaller field?' And this point causes a certain problem when we, on extending the field to that of complex numbers, try to extend the axiom-system.
室蘭工業大学の論文
1999-11-30