The logically simplest form of the infinity axiom
نویسندگان
چکیده
منابع مشابه
Hilbert’s Machine and the Axiom of Infinity
Hilbert’s machine is a supertask machine inspired by Hilbert’s Hotel whose functioning leads to a contradiction that compromises the Axiom of Infinity. 1. Hilbert’s Machine In the following conceptual discussion we will make use of a theoretical device that will be referred to as Hilbert’s machine, composed of the following elements (see Figure 1): (1) An infinite tape similar to those of Turin...
متن کاملClassifying topoi and the axiom of infinity
Let 6 e be an elementary topos. The axiom of infinity, asserting that 5 e has a natural numbers object, is shown to be necessary-sufficiency has long been k n o w n f o r the existence of an object-classifying topos over 5 e. In the known constructions [1, 4, 6] of classifying topoi for geometric theories, it is always assumed that the base topos fie satisfies the axiom of infinity. The purpose...
متن کاملRecursion and the Axiom of Infinity
This paper examines the recursive definition of an increasing sequence of nested sets by means of a testing set whose countably many successive redefinitions as the successive sets of the sequence, leads to some contradictory results involving the Axiom of Infinity. 1. Recursion and successiveness As is well known, an increasing ω-ordered sequence of nested sets is one in which each set has bot...
متن کاملromantic education:reading william wordsworths the prelude in the light of the history of ideas
عصر روشنگری زمان شکل گیری ایده های مدرن تربیتی- آموزشی بود اما تاکید بیش از اندازه ی دوشاخه مهم فلسفی زمان یعنی عقل گرایی و حس گرایی بر دقت و وضوح، انسان عصر روشنگری را نسبت به دیگر تواناییهایش نابینا کرده و موجب به وجود آمدن افرادی تک بعدی شد که افتخارعقلانیتشان، تاکید شان بر تجربه فردی، به مبارزه طلبیدن منطق نیاکانشان وافسون زدایی شان از دنیا وتمام آنچه با حواس پنجگانه قابل درک نبوده و یا در ...
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 1988
ISSN: 0002-9939
DOI: 10.1090/s0002-9939-1988-0938682-2