✦ LIBER ✦

Continuity, proof systems and the theory of transfinite computations

✍ Scribed by Dag Normann

Book ID: 105842681
Publisher: Springer
Year: 2002
Tongue: English
Weight: 155 KB
Volume: 41
Category: Article
ISSN: 0933-5846
DOI: 10.1007/s001530200138

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Systems of Transfinite Type Theory Based

Systems of Transfinite Type Theory Based on Intuitionistic and Modal Logics

✍ Kenneth A. Bowen 📂 Article 📅 1974 🏛 John Wiley and Sons 🌐 English ⚖ 953 KB

I n an earlier paper [2], using ZERMELO-FRAENXEL set theory (ZF) as metalanguage, for each ordinal 6 2 1, I introduced a system TTo of transfinite type theory formulated in GENTZEN'S sequentzen style [3]. The notion of sequent and the rules of inference were straightforward generalizations of those

A continuity theorem and some counterexa

A continuity theorem and some counterexamples for the theory of maintained systems

✍ Douglas R. Miller 📂 Article 📅 1977 🏛 Elsevier Science 🌐 English ⚖ 800 KB

Continuous matrices and the stability th

Continuous matrices and the stability theory of differential systems

✍ James C. Lillo 📂 Article 📅 1960 🏛 Springer-Verlag 🌐 French ⚖ 676 KB

Jack and the Aktuals, or, Physical Applications of Transfinite Set Theory

✍ Rucker, Rudy 📂 Fiction 📅 2008 🌐 und ⚖ 24 KB

Jack and the Aktuals, or, Physical Applications of Transfinite Set Theory

✍ Rucker, Rudy 📂 Fiction 📅 2008 🌐 English ⚖ 21 KB

Electronic Communication of Mathematics

Electronic Communication of Mathematics and the Interaction of Computer Algebra Systems and Proof Assistants

✍ Henk Barendregt; Arjeh M. Cohen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 355 KB

Present day computer algebra systems (CASs) and proof assistants (PAs) are specialized programs that help humans with mathematical computations and deductions. Although several such systems are impressive, they all have certain limitations. In most CASs side conditions that are essential for the tru