Markov's constructive analysis; a participant's view

DOI10.1016/S0304-3975(98)00291-6zbMATH Open0916.68053MaRDI QIDQ1292407FDOQ1292407

B. A. Kushner

Publication date: 21 June 1999

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

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
• scientific article; zbMATH DE number 2072504

zbMATH Keywords

algorithmcomplexitycomputable analysisconstructive mathematicscomputabilityintuitionismconstructive analysis

Mathematics Subject Classification ID

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Intuitionism. An introduction
• On Computable Numbers, with an Application to the Entscheidungsproblem
• On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Nicht konstruktiv beweisbare Sätze der Analysis
• Computable functionals
• Title not available (Why is that?)
• Grundlagen der Mathematik I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Recursive analysis
• Title not available (Why is that?)
• Title not available (Why is that?)
• Why Gödel didn't have church's thesis
• Title not available (Why is that?)
• Second thoughts about Church's thesis and mathematical proofs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

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

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)