/tags/readings/ Recent content in Readings on Ryan Kavanagh's /dev/brain Hugo en-CA Fri, 04 Mar 2016 23:55:00 -0500 /blog/2016-03-04-brouwer-unreliability-of-the-logical-principles/ Fri, 04 Mar 2016 23:55:00 -0500 /blog/2016-03-04-brouwer-unreliability-of-the-logical-principles/ This is the second post in my series of reading summaries. See the first one for more information on the series. Mark van Atten, Göran Sundholm. “L.E.J. Brouwer’s ‘Unreliability of the logical principles’. A new translation, with an introduction". November, 2015. arXiv:1511.01113v1 [math.HO]. The intro provides historical context for the paper, both in terms of Brouwer’s other work & that of others, notably, Kronecker, Molk, & the French. ⋆ This is the paper in which Brouwer rejects the law of the excluded middle and doubts the application of logic to the acquisition of knowl. /blog/2016-02-29-kushner-markovs-constructive-mathematical-analysis/ Mon, 29 Feb 2016 12:00:53 +0000 /blog/2016-02-29-kushner-markovs-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.