Hend Dawood
Senior Lecturer of Computational Mathematics
Department of Mathematics, Faculty of Science, Cairo University, Giza 12613, Egypt. (email)
On the Metamathematics of the Theory of Interval Numbers
in
- Axiomatics
- Formal logic
- Guaranteed Bounds
- Interval Analysis
- Interval arithmetic
- Interval computations
- Interval Enclosures
- Interval Functions
- Interval Mathematics
- Mathematical Analysis
- Mathematical Logic
- Metalogic
- Metamathematics
- Model theory
- Order theory
- Proof theory
- Quantification theory
- Real Analysis
- Semantics
- Citation:
- Dawood, Hend, and Yasser Dawood. On the Metamathematics of the Theory of Interval Numbers. Giza: Department of Mathematics, Faculty of Science, Cairo University, 2010.
Report Date:
2010Report Number:
CU-Math-2010-06-MTINAbstract:
The aim of this paper is to provide a metamathematical investigation of the theory of intervals with the requisite predicate calculi and axiomatic set theory.