Markov's constructive analysis; a participant's view
type: Item
instance of: scholarly article
title: Markov's constructive analysis; a participant's view
zbMATH Open document ID: 0916.68053
DOI: 10.1016/S0304-3975(98)00291-6
author: B. A. Kushner
published in: Theoretical Computer Science
publication date: 1999-06-21T00:00:00Z
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 1306135
zbMATH Keywords: constructive mathematics
zbMATH Keywords: constructive analysis
zbMATH Keywords: computability
zbMATH Keywords: computable analysis
zbMATH Keywords: intuitionism
zbMATH Keywords: algorithm
zbMATH Keywords: complexity
MaRDI profile type: Publication
cites work: Q5573965
cites work: Q5604461
cites work: Q3803111
cites work: Why Gödel didn't have church's thesis
cites work: Q5629614
cites work: Q3893923
cites work: Q4039813
cites work: Q4282586
cites work: Q3665098
cites work: Recursive analysis
cites work: Computable functionals
cites work: Q4436365
cites work: Intuitionism. An introduction
cites work: Q5551103
cites work: Grundlagen der Mathematik I
cites work: Q5343325
cites work: Q3262783
cites work: Q4049049
cites work: Q3041190
cites work: Q3338243
cites work: Q4694211
cites work: Q4021385
cites work: Q4697298
cites work: Q5848892
cites work: Q5793827
cites work: Q5816699
cites work: Q5829025
cites work: Q3994525
cites work: Q5720193
cites work: Second thoughts about Church's thesis and mathematical proofs
cites work: Q3994907
cites work: Q5573961
cites work: Nicht konstruktiv beweisbare Sätze der Analysis
cites work: Q4126323
cites work: Q4694207
cites work: Constructivism in mathematics. An introduction. Volume II
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem
cites work: On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
cites work: Q3769959
Recommended article: Q4694211
Recommended article: Markov's constructivism in some problems of theoretical informatics
Recommended article: Q4858647
Recommended article: Q5310887
Recommended article: Q4697298
Recommended article: The Constructive Mathematics of A. A. Markov
Recommended article: Q4848560
Recommended article: Q4325787
Recommended article: Q4002648
Recommended article: Q4467739
description: scientific article; zbMATH DE number 1306135