Validating Brouwer's continuity principle for numbers using named exceptions
نویسندگان
چکیده
منابع مشابه
Understanding and Using Brouwer’s Continuity Principle
Brouwer’s Continuity Principle distinguishes intuitionistic m athem atics from other varieties of constructive m athem atics, giving it its own flavour. We discuss the plausibility of th is assum ption and show how it is used. We explain how one may understand its consequences even if one hesitates to accept it as an axiom. 1 Brouwer’s Continuity Principle We let N be the set of all natural num...
متن کاملArguments for the continuity principle
§1. The continuity principle. There are two principles that lend Brouwer’s mathematics the extra power beyond arithmetic. Both are presented in Brouwer’s writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is formulated and immediately applied to show th...
متن کاملStochastic Text Structuring Using the Principle of Continuity
This paper explores the feasibility of implementing an evolutionary algorithm for text structuring using the heuristic of continuity as a fitness function, chosen over other more complicated metrics of text coherence. Using MCGONAGALL (Manurung et al., 2000) as our experimental platform, we show that by employing an elitist strategy for stochastic search it is possible to quickly reach the glob...
متن کاملAn extension principle for interactive fuzzy numbers∗
In this paper we shall formulate an extension principle for interactive fuzzy numbers.
متن کاملThe principle of point-free continuity
In the setting of constructive point-free topology, we introduce a notion of continuous operation between point-free topologies and the corresponding principle of point-free continuity. An operation between points of point-free topologies is continuous if it is induced by a relation between the bases of the topologies; this gives a rigorous condition for Brouwer’s continuity principle to hold. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mathematical Structures in Computer Science
سال: 2017
ISSN: 0960-1295,1469-8072
DOI: 10.1017/s0960129517000172