# Kushner: Markov's Constructive Mathematical Analysis

I’ve recently gotten into the habit of condensings readings I do in the course of research down to a single page in a 9cm x 14cm notebook. I’ve decided to share these summaries and notes here, as a backup in case I loose my notebook. I’m transcribing them here exactly as in my notebook, abbreviations and all. I would be interested in hearing from you if ever you think I’ve completely missed the point of the paper.

The first paper in the series is:

Boris Kushner. “Markov’s Constructive Mathematical
Analysis: The Expectations and the Results.” *Mathematical Logic*,
1990, pp. 53–58.

Provides a brief survey of results in constructive maths in Markov’s sense. Gives the fundamental views/principles of Markov’s school of constructivism (paragraph 2). Mentions results concerning: constructive real numbers & functions, the topology of the plane, differential eqs, compleixity theo., constructive functional anal., etc. Surprising is the failure of the intermediate value theorem. The author presents a softening of the school’s view as constructivism being the only valid maths & says it has its place amongst the other branches. The author finds the purely syntactic nature of constructive maths of particular interest.

Comments: To comment on this post, send me an email following the template below. Your email address will not be posted, unless you choose to include it in the link: field. If your web browser is configured to handle mailto: links, click comment to load the template into your mail client.`To: Ryan Kavanagh <rak@rak.ac> Subject: [blog-comment] /blog/2016-02-29-kushner-markovs-constructive-mathematical-analysis/ post_id: /blog/2016-02-29-kushner-markovs-constructive-mathematical-analysis/ author: [How should you be identified? Usually your name or "Anonymous"] link: [optional link to your website] Your comments here. Markdown syntax accepted.`

## 0 Comments