Markov's constructive analysis; a participant's view

DOI10.1016/S0304-3975(98)00291-6MaRDI QIDQ1292407zbMATHFDO

Authors B. A. Kushner

Publication date 21 June 1999

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

algorithmcomplexitycomputable analysisconstructive mathematicscomputabilityintuitionismconstructive analysis

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 218498
• Markov's constructivism in some problems of theoretical informatics
• scientific article; zbMATH DE number 826822
• scientific article; zbMATH DE number 5200722
• scientific article; zbMATH DE number 221856
• The Constructive Mathematics of A. A. Markov
• scientific article; zbMATH DE number 797400
• scientific article; zbMATH DE number 733399
• scientific article; zbMATH DE number 52336
• scientific article; zbMATH DE number 2072504

Cites work

• scientific article; zbMATH DE number 3833956 (Why is no real title available?)
• scientific article; zbMATH DE number 3146798 (Why is no real title available?)
• scientific article; zbMATH DE number 3871350 (Why is no real title available?)
• scientific article; zbMATH DE number 3817697 (Why is no real title available?)
• scientific article; zbMATH DE number 4028893 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• scientific article; zbMATH DE number 3700826 (Why is no real title available?)
• scientific article; zbMATH DE number 41324 (Why is no real title available?)
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 95254 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 3463617 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 517058 (Why is no real title available?)
• scientific article; zbMATH DE number 2013198 (Why is no real title available?)
• scientific article; zbMATH DE number 218494 (Why is no real title available?)
• scientific article; zbMATH DE number 218498 (Why is no real title available?)
• scientific article; zbMATH DE number 221856 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3266563 (Why is no real title available?)
• scientific article; zbMATH DE number 3291134 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• scientific article; zbMATH DE number 3325567 (Why is no real title available?)
• scientific article; zbMATH DE number 3355009 (Why is no real title available?)
• scientific article; zbMATH DE number 3183995 (Why is no real title available?)
• scientific article; zbMATH DE number 3054611 (Why is no real title available?)
• scientific article; zbMATH DE number 3077776 (Why is no real title available?)
• scientific article; zbMATH DE number 3090158 (Why is no real title available?)
• scientific article; zbMATH DE number 3110188 (Why is no real title available?)
• Computable functionals
• Constructivism in mathematics. An introduction. Volume II
• Grundlagen der Mathematik I
• Intuitionism. An introduction
• Nicht konstruktiv beweisbare Sätze der Analysis
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Recursive analysis
• Second thoughts about Church's thesis and mathematical proofs
• Why Gödel didn't have church's thesis

Cited in

(9)

• scientific article; zbMATH DE number 218498 (Why is no real title available?)
• Computability of Subsets of Metric Spaces
• Intersection points of planar curves can be computed
• A sequentially computable function that is not effectively continuous at any point
• scientific article; zbMATH DE number 1894486 (Why is no real title available?)
• The Constructive Mathematics of A. A. Markov
• Demuth's path to randomness
• Computable analysis with applications to dynamic systems
• A Banach-Mazur computable but not Markov computable function on the computable real numbers

This page was built for publication: Markov's constructive analysis; a participant's view

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1292407)